@TechReport{	  brucker.ea:note:2002,
  author	= {Achim D. Brucker and Burkhart Wolff},
  institution	= {Albert-Ludwigs-Universit{\"a}t Freiburg},
  language	= {USenglish},
  month		= jan,
  public	= {yes},
  title		= {A Note on Design Decisions of a Formalization of the
		  {OCL}},
  abstract	= {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.},
  keywords	= {UML, OCL, formal semantics, HOL, Isabelle},
  categories	= {holocl},
  classification= {unrefereed},
  areas		= {formal methods, software},
  year		= {2002},
  number	= {168},
  pdf		= {http://www.brucker.ch/bibliography/download/2002/ocl_note.pdf},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-note-2002}
		  
}