Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with Spider Diagrams
VL '99 Proceedings of the IEEE Symposium on Visual Languages
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Mixing visual and textual constraint languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Describing Policies with Graph Constraints and Rules
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Electronic Notes in Theoretical Computer Science (ENTCS)
Cross Checking Rules to Improve Consistency between UML Static Diagram and Dynamic Diagram
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Termination of High-Level Replacement Units with Application to Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Automated security hardening for evolving UML models
Proceedings of the 33rd International Conference on Software Engineering
An OCL semantics specified with QVT
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
OCL and graph-transformations: a symbiotic alliance to alleviate the frame problem
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
MOCQL: a declarative language for ad-hoc model querying
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.01 |
Part of the success of the Unified Modeling Language (UML) as a specification language is due to its diagrammatic nature. Its meaning is expressed by its meta model, a combination of class diagrams and constraints written in the Object Constraint Language (OCL), a textual language of expressions. Recent efforts have tried to give a formal semantics to OCL in a classical way. In this paper, we propose a graph-based semantics for OCL and a systematic translation of OCL constraints into expressions over graph rules. Besides providing a semantical formalization of OCL, this translation can be employed to check the consistency of UML model instances wrt. the constraints, using a general purpose graph transformation machine like AGG or PROGRES. The translation of OCL constraints into graph rules suggests a way to express the constraints in a more intuitive visual form.