14,095 Hits in 3.4 sec

Expressing model constraints visually with VMQL

H. Storrle
2011 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
OCL is the de facto standard language for expressing constraints and queries on UML models.  ...  In this paper, we propose to use the Visual Model Query Language (VMQL) for specifying constraints on UML models.  ...  expressing constraints on UML-like models today.  ... 
doi:10.1109/vlhcc.2011.6070399 dblp:conf/vl/Storrle11a fatcat:qegrnyq5gbbdbav5aq6bja3sr4

UML-Based Service Discovery Framework [chapter]

Andrea Zisman, George Spanoudakis
2006 Lecture Notes in Computer Science  
A prototype tool has been developed and includes (a) a UML integration module, which derives queries from behavioural and structural UML design models and integrates the results of the queries; and (b)  ...  a query execution engine, which performs queries against service registries based on similarity analysis.  ...  The work reported in this paper has been funded by the European Commission under the Information Society Technologies Programme as part of the project SeCSE (contract IST-511680).  ... 
doi:10.1007/11948148_33 fatcat:gjqzf2p2oncnhaxagrezvpkjjq

Ontology Based Verification of UML Class/OCL Model

Abdul Hafeez, Aqeel -ur- Rehman, Hyder Abbas Musavi Syed
2018 Mehran University Research Journal of Engineering and Technology  
In the proposed method, a class diagram is transformed into ontology specified in OWL (Web Ontology Language) and constraints into SPARQL NAF (Negation as Failure) queries.  ...  This work considers particularly UML Class/OCL (Unified Modeling Language Class/Object Constraint Language) model and presents an ontology-based verification method.  ...  The tool interacts with Pellet reasoner to perform verification on generated ontology, and ARQ queries executed one by one to check the consistency of constraints.  ... 
doi:10.22581/muet1982.1804.07 fatcat:4fxoi2pkezdcfdim65nxy57ha4


2013 International Journal of Semantic Computing (IJSC)  
XML is ubiquitously used as an information exchange platform for web-based applications in healthcare, life sciences, and many other domains.  ...  We also present our work on supporting semantic validated XML data through semantic annotations for XML Schema, semantic validation and semantic authoring of XML data.  ...  N01-CO-12400 and 94995NBS23 and HHSN 261200800001E, by NSF CNS 0615155, 79077CBS10, and CNS-0403342, and P20 EB000591 by the BISTI program.  ... 
doi:10.1142/s1793351x13500037 pmid:25298789 pmcid:PMC4185431 fatcat:7iezdrnvu5gmhondzbcnqc2pty

Ontology-Based Transformation and Verification of UML/OCL Constraints

Abdul Hafeez, Asif Ali Wagan, Aamir Iqbal Umrani, Samreen Javed
2021 Sukkur IBA Journal of Computing and Mathematical Sciences  
on UML and ontology integration.  ...  This paper presents the transformation and verification of class diagram and Object Constraint Language (OCL) and transformation algorithm from Class model to ontology in the continuity of our research  ...  It is specially used to apply integrity constraints on the class model and also be used in other UML models such as the state chart model.  ... 
doi:10.30537/sjcms.v5i2.840 fatcat:pb7h6m7llrcwpf4y5jpt7aikki

A framework for architecture-driven service discovery

A. Kozlenkov, V. Fasoulas, F. Sanchez, G. Spanoudakis, A. Zisman
2006 Proceedings of the 2006 international workshop on Service-oriented software engineering - SOSE '06  
A prototype tool has been developed and includes two main components: a UML 2.0 integration module, which derives queries from behavioural and structural UML design models and integrates the results of  ...  In this paper we present a framework to support architecture-driven service discovery -that is the discovery of services that can provide the functionalities and satisfy properties and constraints of systems  ...  The use of OCL to specify constraints is motivated by the fact that OCL is the standard formal language for specifying constraints for UML models and therefore ASD queries which are based on them.  ... 
doi:10.1145/1138486.1138501 fatcat:ej7m6fhzfjcqda2sfgdzydxxkm

VMQL: A generic visual model query language

Harald Storrle
2009 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)  
Existing textual query languages like OCL are often not acceptable for domain modelers. Also, most query languages suffer from a mismatch between models, queries, and results.  ...  The Visual Model Query Language (VMQL) tries to overcome this by using a modeling language also as the query language and result presentation language.  ...  Also, instead of attaching several constraints in their own boxes to one element, constraints may use one comment-box together to form a complex constraint.  ... 
doi:10.1109/vlhcc.2009.5295261 dblp:conf/vl/Storrle09 fatcat:fxasohawzfd3jf47esjre7a2sq

A Framework for Generating Query Language Code from OCL Invariants

Florian Heidenreich, Christian Wende, Birgit Demuth
2007 Electronic Communications of the EASST  
This framework allows for mapping UML models to arbitrary data schemas and for mapping OCL invariants to sentences in corresponding declarative query languages, enforcing semantical data integrity on implementation  ...  This supersedes the manual translation of integrity constraints and, thus, decreases development costs while increasing software quality.  ...  Database enforced constraints such as CHECK constraints do not suit this issue, because they only refer on tuples of one table.  ... 
doi:10.14279/tuj.eceasst.9.108 dblp:journals/eceasst/HeidenreichWD08 fatcat:p3dxa5kwkncdxk3lpc2y7pt6oq

Automated Query Generation for Design Pattern Mining in Source Code [article]

Jeffy Jahfar Poozhithara, Hazeline U. Asuncion, Brent Lagesse
2020 arXiv   pre-print
To address this challenge, we introduce Model2Mine, a technique for automatically generating SPARQL queries by parsing UML diagrams, ensuring that all constraints are appropriately addressed.  ...  Identifying which design patterns already exist in source code can help maintenance engineers gain a better understanding of the source code and determine if new requirements can be satisfied.  ...  ACKNOWLEDGMENT The authors wish to thank Namita Dave for her assistance with third party tools and setting up the development environment.  ... 
arXiv:2007.13025v1 fatcat:p5naac2zbffppe7u6ut4qzttba

Logical Intervention in the Form of Work Breakdown Strategy using Object Constraint Language for e-Commerce Application

Shikha Singh, Manuj Darbari
2020 International Journal of Advanced Computer Science and Applications  
Authors have used Eclipse plug-ins to embed it logic constraint mapping to check for any ontological errors and double selection and payment errors.  ...  Authors have analyzed computational models in terms of Customer segmentation replicating their buying characteristics and Dialogue level constraint establishment through OCL.  ...  ACKNOWLEDGMENTS My Sincere Thanks to my Guide and mentor Dr. Manuj Darbari Sir without whom this work would not have been possible.  ... 
doi:10.14569/ijacsa.2020.0110332 fatcat:x57o6bfa2fcp7aqly2z764dxty

UML-based Service Discovery Tool

G. Spanoudakis, A. Zisman
2006 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)  
In this paper we present a UML-based tool to identify services that can provide the functionality and satisfy properties and constraints of service centric systems specified during the design phase of  ...  the development of these systems and allows for the (re-)formulation of the design models based on the discovered services.  ...  body as an OCL expression referring to concepts in the object models of service specification or UML metamodels, and (c) an optional weight for soft constraints (real value between 0.0 and 1.0).  ... 
doi:10.1109/ase.2006.70 dblp:conf/kbse/SpanoudakisZ06 fatcat:nspqrbnd4rctpctdrsnrpu6fdu

Data Modeling in UML and ORM

Terry Halpin, Anthony Bloesch
1999 Journal of Database Management  
This paper examines the relative strengths and weaknesses of ORM and UML for data modeling, and indicates how models in one notation can be translated into the other.  ...  For data modeling purposes, UML includes class diagrams, that may be annotated with expressions in a textual constraint language.  ...  If attributes are replaced, queries and constraints based on them also need replacing.  ... 
doi:10.4018/jdm.1999100101 fatcat:fmi3pr2ywjd3jktfkldcqh6og4

On Querying UML Data Models with OCL [chapter]

D. H. Akehurst, B. Bordbar
2001 Lecture Notes in Computer Science  
Persistent storage and extraction of data in such systems is supported by databases and query languages.  ...  The adoption of the ideas presented in this paper will enable query expressions to be written using OCL, that are elegant and ideally suited for use in conjunction with UML data models.  ...  Acknowledgement We would like to thank Stuart Kent and Nigel Dalgliesh for their valuable comments. The second author wishes to acknowledge the generous support of the EPSRC project (GR/M69500).  ... 
doi:10.1007/3-540-45441-1_8 fatcat:ncinnytpnzbd7enceiuq6t7uf4

Effectively processing medical term queries on the UMLS Metathesaurus by layered dynamic programming

Kaiyu Ren, Albert M Lai, Aveek Mukhopadhyay, Raghu Machiraju, Kun Huang, Yang Xiang
2014 BMC Medical Genomics  
In comparison to the UMLS Metathesaurus Browser and MetaMap, LDPMap is much more effective in querying the UMLS Metathesaurus for inaccurately spelled medical terms, long medical terms, and medical terms  ...  However, available methods and tools have major limitations in handling queries over the UMLS Metathesaurus that contain inaccurate query terms, which frequently appear in real world applications.  ...  KH was supported in part by the Department of Defense CDMRP Grant (CA100865).  ... 
doi:10.1186/1755-8794-7-s1-s11 pmid:25079259 pmcid:PMC4101532 fatcat:7mk7tqevvfbdjlxneukyd7btem

A framework for privacy aware data management in relational databases

Pietro Colombo, Elena Ferrari
2014 International Journal of Information Privacy Security and Integrity  
This paper is about MAPaS -modelling and analysis of privacy-aware systems -framework, which targets the development of privacy aware SQL queries operating on a given database.  ...  The current version of MAPaS allows the definition of the scheme of the database whose data must be protected and the SQL queries that should be executed on such a database.  ...  The Validation toolkit validates PaML models against the OCL constraints included in the UML meta-model and those in the PaML profile.  ... 
doi:10.1504/ijipsi.2014.062886 fatcat:rzcmt5out5fh7jx2oyihvpcqyq
« Previous Showing results 1 — 15 out of 14,095 results