%0 Report
%T A Note on Design Decisions of a Formalization of the OCL
%A Brucker, Achim D.
%A Wolff, Burkhart
%D 2002
%8 jan
%N 168
%I Albert-Ludwigs-Universität Freiburg
%G USenglish
%F brucker.ea:note:2002
%X 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.
%K UML, OCL, formal semantics, HOL, Isabelle
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-note-2002
%U http://www.brucker.ch/bibliography/download/2002/ocl_note.pdf