Featherweight OCL
Featherweight OCL is a formalization of the core of OCL 2.3
aiming at formally investigation the relationship between the
different notions of "undefinedness," i.e., invalid and
null. As such, it does not attempt to define the complete
OCL library. Instead, it concentrates on the core concepts of
OCL as well as the types Boolean,
Integer, and typed sets (Set{T}). Overall,
Featherweight OCL follows the tradition of HOL-OCL.
Related Publications
-
Achim D. Brucker, Frédéric Tuong, and Burkhart Wolff.
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5.
In Archive of Formal Proofs, 2014. http://www.isa-afp.org/entries/Featherweight_OCL.shtml, Formal proof development
Categories: ,
(abstract) (full text as PDF file) (Outline) (BibTeX) (Endnote) (RIS) (Word) ( )
-
Delphine Longuet, Frédéric Tuong, and Burkhart Wolff.
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.
In Proceedings of the MODELS 2014 OCL Workshop (OCL 2014). CEUR Workshop Proceedings, 1285, pages 43-52, CEUR-WS.org, 2014.
(abstract) (BibTeX) (Endnote) (RIS) (Word) (URL) ( )