@STRING{lncs	= "Lecture Notes in Computer Science" }

@InCollection{	  brucker.ea:proposal:2002,
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-proposal-2002}
		  ,
  abstract	= {We present a formal semantics as a conservative shallow
		  embedding of the Object Constraint Language (OCL). OCL is
		  currently under development within an open standardization
		  process within the OMG; our work is an attempt to accompany
		  this process by a proposal solving open questions in a
		  consistent way and exploring alternatives of the language
		  design. Moreover, our encoding gives the foundation for
		  tool supported reasoning over OCL specifications, for
		  example as basis for test case generation.},
  keywords	= {Isabelle, OCL, UML, shallow embedding, testing},
  paddress	= {Heidelberg},
  address	= {Hampton, VA, USA},
  author	= {Achim D. Brucker and Burkhart Wolff},
  classification= {proceedings},
  booktitle	= {Theorem Proving in Higher Order Logics},
  copyright	= {\copyright Springer-Verlag},
  copyrighturl	= {http://link.springer.de/link/service/series/0558/tocs/t2410.htm}
		  ,
  editor	= {C{\'e}sar Mu{\~n}oz and Sophi{\`e}ne Tahar and V{\'\i}ctor
		  Carre{\~n}o},
  language	= {USenglish},
  pdf		= {http://www.brucker.ch/bibliography/download/2002/ocl_semantic.pdf}
		  ,
  filelabel	= {extended},
  file		= {http://www.brucker.ch/bibliography/download/2002/ocl_semantic_extended.pdf}
		  ,
  publisher	= {Springer-Verlag},
  series	= lncs,
  number	= 2410,
  pages		= {99--114},
  project	= {CSFMDOS},
  title		= {A Proposal for a Formal {OCL} Semantics in
		  {Isabelle/HOL}},
  year		= 2002
}