The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
An axiomatic basis for computer programming
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
On Formalizing the UML Object Constraint Language OCL
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Correct realizations of interface constraints with OCL
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
When OCL is applied in concrete examples, many questions arise about the precise meaning of OCL constraints. The same kind of difficulties appears when automatic support tools for OCL are designed. These questions are due to the lack of a precise semantics of OCL constraints in the context of a UML model. The aim of this paper is to contribute to a clarification of several issues, like interpretation of invariants and pre- and postconditions, treatment of undefined values, inheritance of constraints, transformation rules for OCL constraints and computation of proof obligations. Our study is based on a formal, abstract semantics of OCL.