Formal executable semantics for conformance in the MDE framework

Abstract : In the MDE framework, a metamodel is a language referring to some kind of metadata whose elements formalize concepts and relations providing a modeling language. An instance of this modeling language which adheres to its concepts and relations is called a valid model, i.e., a model satisfying structural conformance to its metamodel. However, a metamodel frequently imposes additional constraints to its valid instances. These conditions are usually written in OCL and are called well-formedness rules. In presence of these constraints, a valid model must adhere to the concepts and relations of its metamodel and fullfill its constraints, i.e., a valid model is a model satisfying semantical conformance to its metamodel. In this work, we provide a formal semantics to the notions of structural and semantical conformance between models and metamodels building on our previous work. Our definitions can be automatically checked using the ITP/OCL tool.
Document type :
Journal articles
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
Contributor : Mister Dart <>
Submitted on : Thursday, October 21, 2010 - 5:19:29 PM
Last modification on : Tuesday, March 5, 2019 - 9:30:11 AM
Long-term archiving on : Saturday, January 22, 2011 - 2:35:10 AM


Files produced by the author(s)


  • HAL Id : inria-00527502, version 1



Marina Egea, Vlad Rusu. Formal executable semantics for conformance in the MDE framework. Innovations in Software and Systems Engineering, Springer Verlag, 2010. ⟨inria-00527502⟩



Record views


Files downloads