Brucker, A.D. and Wolff, B. (2002) A Note on Design Decisions of a Formalization of the OCL. Technical Report. Technical Report (168). Institut für Informatik University of Freiburg , Freiburg.
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.
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 12:48 |
Last Modified: | 31 Mar 2016 15:14 |
Published Version: | http://tr.informatik.uni-freiburg.de/2002/Report16... |
Status: | Published |
Publisher: | Institut für Informatik University of Freiburg |
Series Name: | Technical Report |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95546 |