A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Filters
Incremental integrity checking of UML/OCL conceptual schemas
2009
Journal of Systems and Software
Preserved Fulltext
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
2010
Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2006
International Journal of Web Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2007
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2002
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2005
The Fifth International Conference on Computer and Information Technology (CIT'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of Database Theory and Application
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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