%0 Book Section
%T HOL-OCL: Experiences, Consequences and Design Choices
%A Brucker, Achim D.
%A Wolff, Burkhart
%E Jézéquel, Jean-Marc
%E Hussmann, Heinrich
%E Cook, Stephen
%B UML 2002: Model Engineering, Concepts and Tools
%D 2002
%N 2460
%I Springer-Verlag
%C Heidelberg
%@ 3-540-44254-5
%G USenglish
%F brucker.ea:hol-ocl:2002
%X Based on experiences gained from an embedding of the Object Constraint Language (OCL) in higher-order logic \citebrucker.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.
%K OCL, Formal semantics, Constraint languages, Refinement, higher-order logic
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl-2002
%U http://www.brucker.ch/bibliography/download/2002/brucker.ea-hol-ocl-2002.pdf
%U http://dx.doi.org/10.1007/3-540-45800-X_17
%P 196-211