HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Documents associated with scientific events

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, Laboratoire I3S - 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.
Document type :
Documents associated with scientific events
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

Contributor : Team Kairos Connect in order to contact the contributor
Submitted on : Tuesday, April 19, 2011 - 2:18:34 PM
Last modification on : Friday, January 21, 2022 - 3:15:50 AM
Long-term archiving on: : Thursday, November 8, 2012 - 4:45:38 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads