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 metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/inria-00587100
Contributor : Team Kairos <>
Submitted on : Tuesday, April 19, 2011 - 2:18:34 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Thursday, November 8, 2012 - 4:45:38 PM

File

mdd4dreswip09_deantoni.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

401

Files downloads

89