TY  - CHAP
AU  - Brucker, Achim D.
AU  - Wolff, Burkhart
ED  - Carreño, Víctor A.
ED  - Muñoz, César A.
ED  - Tahar, Sophiène
PY  - 2002//
TI  - A Proposal for a Formal OCL Semantics in Isabelle/HOL
BT  - Theorem Proving in Higher Order Logics (TPHOLs)
T3  - Lecture Notes in Computer Science
SP  - 99
EP  - 114
IS  - 2410
PB  - Springer-Verlag
CY  - Heidelberg
KW  - Isabelle, OCL, UML, shallow embedding, testing
N2  - We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardization process within the OMG; our work is an attempt to accompany this process by a proposal solving open questions in a consistent way and exploring alternatives of the language design. Moreover, our encoding gives the foundation for tool supported reasoning over OCL specifications, for example as basis for test case generation.
SN  - 3-540-44039-9
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-proposal-2002
L1  - http://www.brucker.ch/bibliography/download/2002/brucker.ea-proposal-2002.pdf
L1  - //www.brucker.ch/bibliography/download/2002/ocl_semantic_extended.pdf
UR  - http://dx.doi.org/10.1007/3-540-45685-6_8
ID  - brucker.ea:proposal:2002
ER  -