Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection

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.
Type de document :
Communication dans un congrès
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01214466
Contributeur : Frédéric Tuong <>
Soumis le : lundi 12 octobre 2015 - 13:53:38
Dernière modification le : jeudi 11 janvier 2018 - 06:27:34

Identifiants

  • HAL Id : hal-01214466, version 1

Citation

Delphine Longuet, Frédéric Tuong, Burkhart Wolff. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain. 2014. 〈hal-01214466〉

Partager

Métriques

Consultations de la notice

160