The Object Constraint Language: Getting Your Models Ready for MDA

By J. Warmer, Anneke Kleppe. 2003

916 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

UML-B: Formal modeling and design aided by UML (2006, background): “The UML includes a formal constraint notation, OCL [Warmer and Kleppe 2003], which aims to be approachable to practitioners by avoiding mathematical symbols.”
Software Abstractions - Logic, Language, and Analysis (2006, unknown): “Their book [73] provides an accessible overview.”
Contracts for System Design (2018, background): “OCL can, for instance, be used to specify an invariant in terms of the conditions that must be satisfied before and after the execution of a method or the step of a state machine, providing ways to express assumptions and guarantees.”
GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines (2004, methodology): “GELLO query statements [38] map patient data (that are subsequently used in expressions) to entries in the medical record.”