… how OCL constraints are evaluated. The evaluation function eval is defined with mathematical
rigor in the OCL language specification [… While the MDA initiative of the OMG has triggered …

… Task Force also finalized the OCL 2.0 specification, but had … the Architecture Board
and ultimately adopted by the OMG. … providing unique strings such as org.omg.ocl.lib.Boolean.xor. …

… The OCL has been developed to be a usable language … The OMG RFP requests submissions
enabling “the specification … be modelled and validated with the OMG’s UML Testing Profile, …

… It is an OMG Final Adopted Specification and is currently in the finalization phase. … of this
document are welcomed, and should be directed to issues@omg.org by November 15, 2003. …

… the OCL but suffice to translate most usual OCL expressions appearing in postconditions.
Additional OCL … (ie simplified) into equivalent OCL expressions (using the transformation rules …

… for OCL on the official metamodels for UML and OCL. We support the last finalized version of
OCL 2.0 [4] … This is an important step forward to the OMG’s vision to treat OCL as a family of …

… OCL constraints incorrect, we formally describe how the OCL … Merge Group for the
specification of model transformations. … The Object Management Group (OMG) is currently in the …

… adoption of OMG specifications may require use of an invention covered by patent rights. OMG
… a license may be required by any OMG specification, or for conducting legal inquiries into …

… in an early submission for the OMG standard Query/View/Transformation (QVT) [25].
Unfortunately, the graphical notation for QVT has changed in the final adopted specification [26], but …

… of OCL to relevant parts of UML. In October 2003, this proposal has been adopted by the
OMG as the official OCL 2.0 Specification [28]. Based on the metamodel provided in these …