81 Hits in 6.6 sec

Incremental integrity checking of UML/OCL conceptual schemas

Jordi Cabot, Ernest Teniente
2009 Journal of Systems and Software  
Integrity constraints play a key role in the specification and development of software systems since they state conditions that must always be satisfied by the system at runtime.  ...  In particular, our techniques are able to determine, at design-time, when and how each constraint must be checked at runtime to avoid irrelevant verifications.  ...  Note that the view corresponding to ValidLicense extracts its data from the event table generated in step 2 and not from the Customer type.  ... 
doi:10.1016/j.jss.2009.03.009 fatcat:bp4sjmrngfglbkx4vuk3hiquya

Verification-driven slicing of UML/OCL models

Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
2010 Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10  
without violating any constraint?").  ...  and trace.  ...  We would like to thank Jordi Cabot and Jordi Conesa for their useful comments.  ... 
doi:10.1145/1858996.1859038 dblp:conf/kbse/ShaikhCWM10 fatcat:h3zn5ks3gjemhjhtslrzerv2vy

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Asadullah Shaikh, Uffe Kock
2016 International Journal of Advanced Computer Science and Applications  
violating any constraints).  ...  We consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., whether it is possible to create objects without  ...  ACKNOWLEDGEMENTS This paper is a revised and extended version of the one presented at Automated Software Engineering (ASE 2010), Antwerp, Belgium had have received 38 citations.  ... 
doi:10.14569/ijacsa.2016.070571 fatcat:7iflosu3nnhrpdjrbqqqpnhjci

A UML/OCL framework for the analysis of graph transformation rules

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2009 Journal of Software and Systems Modeling  
The intermediate representation serves three purposes: (i) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL  ...  constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based  ...  This work is sponsored by the Spanish Ministry of Science and Innovation, under projects "MODUWEB" (TIN2006-09678), "METEORIC" (TIN2008-02081) and "Design and construction of a Conceptual Modeling Assistant  ... 
doi:10.1007/s10270-009-0129-0 fatcat:fz2my5o5rzg55mfglpjjrm5p6y

Semantics of Agent-Based Service Delegation and Alignment [chapter]

H. Balsters, G. B. Huitema, N. B. Szirbik
2005 Lecture Notes in Computer Science  
Our analysis will be performed within the modeling framework based on the UML/OCL formalism.  ...  between both related parties.  ...  Class Emp2 can be described as a derived class in UML/OCL [13, 20] in such a way that it satisfies the requirements of a (relational) view.  ... 
doi:10.1007/11575863_26 fatcat:fpjk3iii4zfoxhrslfsnbaxvtm

Modeling views in the layered view model for XML using UML

Rajugan Rajagopalapillai, Elizabeth Chang, Tharam S. Dillon, Ling Feng
2006 International Journal of Web Information Systems  
In data engineering, view formalisms are used to provide flexibility to users and user applications by allowing them to extract and elaborate data from the stored data sources.  ...  , data/knowledge management issues in the Internet era, including the integration of database and web-based information technologies, XML databases, knowledge-based digital libraries, and mobile databases  ...  Here, for our view formalism, we look into using UML/OCL as our view constraint specification language.  ... 
doi:10.1108/17440080680000105 fatcat:nholncar6nfvthmeyebi7pysl4

An MDA Framework Supporting OCL

Achim D. Brucker, Jürgen Doser, Burkhart Wolff
2007 Electronic Communications of the EASST  
This comprises modeling using UML/OCL, processing models by model transformations, code generation (including runtime-test environments) and formal analysis using the theorem proving environment HOL-OCL  ...  We show the extensibility of our approach by providing a SecureUML extension of the framework, which allows for an integrated specification of security properties, their analysis and their conversion to  ...  Moreover, hol-ocl provides several derived calculi for uml/ocl that allow for formal derivations establishing the validity of uml/ocl formulae.  ... 
doi:10.14279/tuj.eceasst.5.45 dblp:journals/eceasst/BruckerDW06 fatcat:jjx4tf7vcjfr7hqaormbyktrym

Domain Knowledge Integration and Semantical Quality Management –A Biology Case Study– [chapter]

Marie-Noelle Terrasse, Eric Leclercq, Marinette Savonnet, Arnaud Da Costa, Pierre Naubourg, Magali Roux-Rouquie
2008 Lecture Notes in Computer Science  
Integrated metamodels, models, web services and various constraints are produced by ETL (extract-transform-load) operations that are applied both at the model and concept levels.  ...  The resulting integrated models access available resources through web services whose input and output parameters are guarded by constraints.  ...  We chose the UML-OCL language for metamodeling architectures and the OWL language for ontologies.  ... 
doi:10.1007/978-3-540-87991-6_6 fatcat:nj6rztfxwnhlxhdplgiqdz672q

A Three-Layered XML View Model: A Practical Approach [chapter]

R. Rajugan, Elizabeth Chang, Tharam S. Dillon, Ling Feng
2005 Lecture Notes in Computer Science  
We focus on conceptual and schema view definitions, view constraints, and the conceptual query operators.  ...  Conversely, XML is becoming the dominant standard for storing, describing and interchanging data among various Enterprises Information Systems and databases.  ...  Here, for our view formalism, we look into using UML/OCL as our view constraint specification language.  ... 
doi:10.1007/11568322_6 fatcat:qhz6hu4ftzh3jmdx3lvrn5vflq

Efficient analysis of pattern-based constraint specifications

Michael Wahler, David Basin, Achim D. Brucker, Jana Koehler
2009 Journal of Software and Systems Modeling  
In this paper, we present a heuristic approach for efficiently analyzing constraint specifications built from constraint patterns.  ...  Precision can be achieved by augmenting models with design constraints and consistency can be achieved by avoiding contradictory constraints.  ...  Before we begin, we review consistency in first-order logic (FOL) to highlight the basic concepts behind consistency and derive a first notion of consistency for UML/OCL.  ... 
doi:10.1007/s10270-009-0123-6 fatcat:gqxqglmkabavvbounolhssdmiu

Modeling Views for Semantic Web Using eXtensible Semantic (XSemantic) Nets [chapter]

R. Rajugan, Elizabeth Chang, Ling Feng, Tharam S. Dillon
2005 Lecture Notes in Computer Science  
The emergence of Semantic Web (SW) and the related technologies promise to make the web a meaningful experience.  ...  traditional database techniques.  ...  For example, utilization, integration and extraction of ontology bases in the context of EIS, where, enterprise vocabularies can be automatically extracted from various distributed sources and be used  ... 
doi:10.1007/11575863_115 fatcat:ch7xmfub2jcs7ii33bopwpq3gm

Modular architecture for a toolset supporting OCL

Heinrich Hussmann, Birgit Demuth, Frank Finger
2002 Science of Computer Programming  
Therefore, a exible modular architecture for a UML=OCL toolset is proposed.  ...  The practical application of the object constraint language (OCL), which is part of the UML speciÿcation since version 1.1, depends crucially on the existence of adequate tool support.  ...  Acknowledgements The authors would like to thank Sten Loecher, Ralf Wiebicke and Ste en Zschaler for their contributions to the implementation of the Dresden OCL Toolset.  ... 
doi:10.1016/s0167-6423(02)00032-1 fatcat:qgriq6bri5dahgkvkfborwviwu

Engineering XML Solutions Using Views

R. Rajugan, E. Chang, T.S. Dillon, Ling Feng
2005 The Fifth International Conference on Computer and Information Technology (CIT'05)  
Further, the introduction of semi-structured data (namely XML) and its rapid adaptation by the commercial and industrial systems increased the complexity for data engineering.  ...  In industrial informatics, engineering data intensive Enterprise Information Systems (EIS) is a challenging task without abstraction and partitioning.  ...  Document Level Objects, Relationships, Constraints Simple/Complex element types, Schema constraints 1 Layer Primitives UML/OCL XSemantic Net Abstraction Layers XQuery XML Schema  ... 
doi:10.1109/cit.2005.112 dblp:conf/IEEEcit/RajuganCDF05 fatcat:ca2juqekkbgc3i2tpdvcw2sq6i

Advance Articulated Entity Relationship (AAER) Diagram for Relational Database

Nosaiba Hamdan Abu-Samhadanh
2015 International Journal of Database Theory and Application  
In addition, to the weak entity type and relationship between the two entity types special attributes for each one in his relation, and determined composed attribute.  ...  That added when convert the AAER-diagram to relation (table) in database or other form.  ...  Applied in a manner where the reverse engineering model to extract UML / OCL model of the database application. Thus, the derivation rules are a very important part of the database.  ... 
doi:10.14257/ijdta.2015.8.1.23 fatcat:heqe6yyzgfdohdymdemzzff23q

UMLtoGraphDB: Mapping Conceptual Schemas to Graph Databases [chapter]

Gwendal Daniel, Gerson Sunyé, Jordi Cabot
2016 Lecture Notes in Computer Science  
In this article we describe a mapping from UML/OCL conceptual schemas to Blueprints, an abstraction layer on top of a variety of graph databases, and Gremlin, a graph traversal language, via an intermediate  ...  While the mapping of conceptual schemas to relational databases is a well-studied field of research, there are only few solutions that target conceptual modeling for NoSQL databases and even less focusing  ...  We also plan to extend our approach to cover reverse engineering scenarios, by adapting existing work on schema extraction from relational databases [7] to graph databases.  ... 
doi:10.1007/978-3-319-46397-1_33 fatcat:6sobmg3n5vcmfj5nmxgob4tkgu
« Previous Showing results 1 — 15 out of 81 results