Learn More
In November 1998 the authors participated in a two-day workshop on the Object Constraint Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the use of OCL, and to discuss useful and necessary extensions of OCL. Various topics have been raised and clarified. This manifesto contains the results of that workshop and the(More)
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The constraints which can be expressed in this language, all state requirements on the static aspects of the system. The Object Constraint Language currently lacks a way to express that(More)
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with(More)
Lessons learned from developing a dynamic OCL constraint enforcement tool for Java p. 10 OCL and graph-transformations-a symbiotic alliance to alleviate the frame problem p. 20 Report on the 2nd workshop on model development and validation-MoDeVa p. 32 Using process algebra to validate behavioral aspects of object-oriented models p. 39 Automated analysis of(More)