Formal executable semantics for conformance in the MDE framework

Marina Egea 1 Vlad Rusu 2, *
* Auteur correspondant
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
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.
Type de document :
Article dans une revue
Innovations in Software and Systems Engineering, Springer Verlag, 2010
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00527502
Contributeur : Mister Dart <>
Soumis le : jeudi 21 octobre 2010 - 17:19:29
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13
Document(s) archivé(s) le : samedi 22 janvier 2011 - 02:35:10

Fichier

paper-IEEE.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00527502, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

305

Téléchargements de fichiers

149