Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection
by Delphine Longuet, Frédéric Tuong, and Burkhart Wolff
We show how modern proof environments comprising code generators and reflection facilities can be used for the effective construction of a tool for OCL . For this end, we define a UML / OCL meta-model in HOL, a meta-model for Isabelle/ HOL in HOL , and a compiling function between them over the vocabulary of the libraries provided by Featherweight OCL . We use the code generator of Isabelle to generate executable code for the compiler, which is bound to a USE tool-like syntax integrated in Isabelle/Featherweight OCL . It generates for an arbitrary class model an object-oriented datatype theory and proves the relevant properties for casts, type-tests, constructors and selectors automatically.
Keywords:
Categories:
Documents:
Please cite this article as follows:
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.
(BibTeX) (Endnote) (RIS) (Word) (URL) (
| abstract | = | {We show how modern proof environments comprising code generators and reflection facilities can be used for the effective construction of a tool for OCL . For this end, we define a UML / OCL meta-model in HOL, a meta-model for Isabelle/ HOL in HOL , and a compiling function between them over the vocabulary of the libraries provided by Featherweight OCL . We use the code generator of Isabelle to generate executable code for the compiler, which is bound to a USE tool-like syntax integrated in Isabelle/Featherweight OCL . It generates for an arbitrary class model an object-oriented datatype theory and proves the relevant properties for casts, type-tests, constructors and selectors automatically.}, | |
| author | = | {Delphine Longuet and Fr{\'e}d{\'e}ric Tuong and Burkhart Wolff}, | |
| booktitle | = | {Proceedings of the MODELS 2014 OCL Workshop (OCL 2014)}, | |
| editor | = | {Achim D. Brucker and Carolina Dania and Geri Georg and Martin Gogolla}, | |
| ee | = | {http://ceur-ws.org/Vol-1285/}, | |
| location | = | {Valencia, Spain}, | |
| pages | = | {43--52}, | |
| publisher | = | {CEUR-WS.org}, | |
| series | = | {CEUR Workshop Proceedings}, | |
| title | = | {Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/longuet.ea.ea-ocl-reflection-2014}, | |
| volume | = | {1285}, | |
| year | = | {2014}, |