TY - CONF AU - Longuet, Delphine AU - Tuong, Frédéric AU - Wolff, Burkhart ED - Brucker, Achim D. ED - Dania, Carolina ED - Georg, Geri ED - Gogolla, Martin PY - 2014 DA - 2014// TI - Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection BT - Proceedings of the MODELS 2014 OCL Workshop (OCL 2014) T3 - CEUR Workshop Proceedings SP - 43 EP - 52 VL - 1285 PB - CEUR-WS.org AB - 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. UR - https://www.brucker.ch/bibliography/abstract/longuet.ea.ea-ocl-reflection-2014 ID - longuet.ea.ea:ocl-reflection:2014 ER -