%0 Journal Article 
%F Rusu10b
%A Egea, M.
%A Rusu, V.
%T Formal Executable Semantics for Conformance in the MDE Framework
%J Innovations in Systems and Software Engineering
%V 	 6
%P 73-81
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/rusu2010.pdf
%U http://dx.doi.org/10.1007/s11334-009-0108-1
%D 2010