TY - RPRT AU - Brucker, Achim D. AU - Wolff, Burkhart PY - 2002 DA - 2002/01/ 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 AB - 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. L1 - https://www.brucker.ch/bibliography/download/2002/brucker.ea-note-2002.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-note-2002 LA - USenglish ID - brucker.ea:note:2002 ER -