A graphical approach to prove the semantic preservation of UML/OCL refactoring rules
T Baar, S Marković�- Perspectives of Systems Informatics: 6th International�…, 2007 - Springer
… 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 …
rigor in the OCL language specification [… While the MDA initiative of the OMG has triggered …
Modeling the OCL standard library
E Willink�- Electronic Communications of the EASST, 2011 - eceasst.org
… 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. …
and ultimately adopted by the OMG. … providing unique strings such as org.omg.ocl.lib.Boolean.xor. …
[PDF][PDF] UML MODEL MATURITY AND COMPONENT INTEGRATION TEST-CASE GENERATION
RW Chandler - 2004 - Citeseer
… 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, …
enabling “the specification … be modelled and validated with the OMG’s UML Testing Profile, …
[PDF][PDF] UML 2.0 OCL Specification
OMGA Specification - archiv.infsec.ethz.ch
… 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. …
document are welcomed, and should be directed to issues@omg.org by November 15, 2003. …
From declarative to imperative UML/OCL operation specifications
J Cabot�- Conceptual Modeling-ER 2007: 26th International�…, 2007 - Springer
… 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 …
Additional OCL … (ie simplified) into equivalent OCL expressions (using the transformation rules …
An OCL semantics specified with QVT
S Marković, T Baar�- …�on Model Driven Engineering Languages and�…, 2006 - Springer
… 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 2.0 [4] … This is an important step forward to the OMG’s vision to treat OCL as a family of …
Refactoring OCL annotated UML class diagrams
S Marković, T Baar�- …�On Model Driven Engineering Languages And�…, 2005 - Springer
… 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 …
specification of model transformations. … The Object Management Group (OMG) is currently in the …
[PDF][PDF] Ontology Definition Metamodel
ODM Gentleware, J Deere - 2003 - Citeseer
… 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 …
… a license may be required by any OMG specification, or for conducting legal inquiries into …
Refactoring OCL annotated UML class diagrams
S Marković, T Baar�- Software & Systems Modeling, 2008 - Springer
… 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 …
Unfortunately, the graphical notation for QVT has changed in the final adopted specification [26], but …
Specification and formal verification of temporal properties of production automation systems
… 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 …
OMG as the official OCL 2.0 Specification [28]. Based on the metamodel provided in these …