On the Formal Execution of UML and DSL Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year :

On the Formal Execution of UML and DSL Models


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

Dates and versions

inria-00587100 , version 1 (19-04-2011)


  • HAL Id : inria-00587100 , version 1


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⟩
267 View
73 Download


Gmail Facebook Twitter LinkedIn More