On the Formal Execution of UML and DSL Models

Julien Deantoni 1 Frédéric Mallet 1 Charles André 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Model-Driven Engineering intensively uses models and model transformations. Transformation tools ensure that the target model conforms to the target metamodel, so that it is syntactically correct. However, there is few assistance, or none at all, to guarantee that the semantics is preserved during the transformation. This is mainly due to the absence of an explicit semantics within the models. Models bring the syntax while the related (application-specific) analysis tools bring their own semantics. We propose here a model-driven approach to describe a formal and explicit semantics as a separate model. This formal semantics can then be attached to different UML /DSL models and a UML /DSL model can be executed with different semantics.
Type de document :
Documents associés à des manifestations scientifiques -- Hal-inria+
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00587100
Contributeur : Team Aoste <>
Soumis le : mardi 19 avril 2011 - 14:18:34
Dernière modification le : jeudi 11 janvier 2018 - 16:14:51
Document(s) archivé(s) le : jeudi 8 novembre 2012 - 16:45:38

Fichier

mdd4dreswip09_deantoni.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00587100, version 1

Collections

Citation

Julien Deantoni, Frédéric Mallet, Charles André. On the Formal Execution of UML and DSL Models. WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France. 〈inria-00587100〉

Partager

Métriques

Consultations de la notice

292

Téléchargements de fichiers

52