Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Logic-Based System for Application Integration
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Formalizing UML Models with Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Extension of Dynamic Logic for Modelling OCL's @pre Operator
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Formal Semantics for OCL 1.4
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
OCL Based on New Presentation of the OCL-Syntax
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object models as heap invariants
Programming methodology
Towards Efficient Support for Executing the Object Constraint Language
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Constraint validation support in visual model transformation systems
Acta Cybernetica
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Toward Translating Design Constraints to Run-Time Assertions
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring quality of geographic data with UML and OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A comparison of the business object notation and the unified modeling language
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
| Hi-index | 0.00 |
The Object Constraint Language (OCL), which forms part of the UML 1.1. set of modelling notations is a precise, textual language for expressing constraints that cannot be shown in the standard diagrammatic notation used in UML. A semantics for OCL lays the foundation for building CASE tools that support integrity checking of whole UML models, not just the component expressed using OCL. This paper provides a semantics for OCL, at the same time providing a semantics for classes, associations, attributes and states.