@STRING{lncs = "Lecture Notes in Computer Science" } @InCollection{ brucker.ea:hol-ocl:2002, url = {http://www.brucker.ch/bibliography/abstract/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}, paddress = {Heidelberg}, address = {Dresden}, author = {Achim D. Brucker and Burkhart Wolff}, classification= {proceedings}, booktitle = {UML 2002: Model Engineering, Concepts and Tools}, copyright = {\copyright Springer-Verlag}, copyrighturl = {http://link.springer-ny.com/link/service/series/0558/tocs/t2460.htm} , language = {USenglish}, publisher = {Springer-Verlag}, series = lncs, number = 2460, editor = {Jean-Marc J{\'e}z{\'e}quel and Heinrich Hussmann and Stephen Cook}, pdf = {http://www.brucker.ch/bibliography/download/2002/holocl_experiences.pdf} , project = {CSFMDOS}, title = {{HOL-OCL}: Experiences, Consequences and Design Choices}, year = 2002 }