Formal executable semantics for conformance in the MDE framework - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Innovations in Systems and Software Engineering Year : 2010

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.
Fichier principal
Vignette du fichier
paper-IEEE.pdf (257.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00527502 , version 1 (21-10-2010)

Identifiers

Cite

Marina Egea, Vlad Rusu. Formal executable semantics for conformance in the MDE framework. Innovations in Systems and Software Engineering, 2010, 6, pp.73-81. ⟨10.1007/s11334-009-0108-1⟩. ⟨inria-00527502⟩
123 View
239 Download

Altmetric

Share

Gmail Facebook X LinkedIn More