@InCollection{	  brucker.ea:hol-ocl:2002,
  abstract	= {Based on experiences gained from an embedding of the
		  Object Constraint Language (OCL) in higher-order
		  logic~\cite{brucker.ea:proposal:2002}, we explore several
		  key issues of the design of a formal semantics of the OCL.
		  These issues comprise the question of the interpretation of
		  invariants, pre- and postconditions, their transformation,
		  an executable sub-language and the possibilities of
		  refinement notions. A particular emphasize is put on the
		  issue of mechanized deduction in UML/OCL specification.},
  keywords	= {OCL, Formal semantics, Constraint languages, Refinement,
		  higher-order logic},
  location	= {Dresden},
  author	= {Achim D. Brucker and Burkhart Wolff},
  booktitle	= {UML 2002: Model Engineering, Concepts and Tools},
  language	= {USenglish},
  talk		= {talk:brucker.ea:hol-ocl:2002},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
  number	= {2460},
  pages		= {196--211},
  editor	= {Jean-Marc J{\'e}z{\'e}quel and Heinrich Hussmann and
		  Stephen Cook},
  pdf		= {http://www.brucker.ch/bibliography/download/2002/brucker.ea-hol-ocl-2002.pdf},
  project	= {CSFMDOS},
  title		= {{HOL-OCL}: Experiences, Consequences and Design Choices},
  categories	= {holocl},
  doi		= {10.1007/3-540-45800-X_17},
  classification= {conference},
  areas		= {formal methods, software},
  isbn		= {3-540-44254-5},
  issn		= {0302-9743},
  year		= {2002},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl-2002}
		  
}