TY  - RPRT
AU  - Brucker, Achim D.
AU  - Wolff, Burkhart
PY  - 2002/jan/
TI  - A Note on Design Decisions of a Formalization of the OCL
IS  - 168
PB  - Albert-Ludwigs-Universität Freiburg
KW  - UML, OCL, formal semantics, HOL, Isabelle
N2  - We compare several formal and informal approaches to define the semantics of the Object Constraint Language (OCL). This comparison reveals a number of minor and major design problems to be settled in upcoming versions of the OCL standard. We review these problems in the context of our work of providing a formal semantics of OCL through an conservative embedding in HOL using the Isabelle theorem prover.
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-note-2002
L1  - http://www.brucker.ch/bibliography/download/2002/ocl_note.pdf
ID  - brucker.ea:note:2002
ER  -