Website of Achim D. Brucker
[Deutsch]
[English]
Achim D. Brucker and Burkhart Wolff
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: 
, 
Please cite this article as follows:
Achim D. Brucker and Burkhart Wolff.
A Note on Design Decisions of a Formalization of the OCL. Albert-Ludwigs-Universität Freiburg, Technical Report 168, 2002.
Keywords: UML, OCL, formal semantics, HOL, Isabelle
(PDF) (BibTeX) (Endnote) (RIS) (Word 2007) (
| 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.}, | |
| author | = | {Achim D. Brucker and Burkhart Wolff}, | |
| institution | = | {Albert-Ludwigs-Universit{\"a}t Freiburg}, | |
| keywords | = | {UML, OCL, formal semantics, HOL, Isabelle}, | |
| language | = | {USenglish}, | |
| month | = | {jan}, | |
| number | = | {168}, | |
| = | {http://www.brucker.ch/bibliography/download/2002/ocl_note.pdf}, | ||
| title | = | {A Note on Design Decisions of a Formalization of the {OCL}}, | |
| url | = | {http://www.brucker.ch/bibliography/abstract/brucker.ea-note-2002}, | |
| year | = | {2002}, |