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 |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)