Traceability and Interoperability at Different Levels of Abstraction in Model Transformations

Lossan Bondé 1, 2 Pierre Boulet 1, 2, * Jean-Luc Dekeyser 1, 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 : MDE (Model Driven Engineering) is a new approach of software design where the whole process of design and implementation is worked out around models. With MDE, a system is built by designing a set of models at different levels of abstraction. At the first level, only the main functionalities of the system are modeled. This first model is called according the MDA (Model Driven Architecture) terminology the PIM (Platform Independant Model). This PIM can be projected into one or more other models by transformations. These latter models being at lower levels of abstraction. When a model at a given level of abstraction integrates some platform (technology) information, it is called a PSM (Platform Specific Model). Model transformation is therefore a key issue of the MDE approach. However many questions arise about transformations. Among these questions is: When a model is transformed into different other models on different platforms, how to ensure the interoperability between these models? par This paper aims to provide an answer to the above question. Our approach is based on a traceability model. This model keeps links between the source and target model elements but also records the different operations that where performed in the transformation. We present a methodology for the automatic generation of the traceability model, and the exploitation of this model to ensure interoperability. An example based on OCP is provided to illustrate our proposal.
Type de document :
Communication dans un congrès
Forum on Specification and Design Languages, FDL'05, 2005, Lausanne, Switzerland. 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00565170
Contributeur : Pierre Boulet <>
Soumis le : vendredi 11 février 2011 - 10:38:11
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00565170, version 1

Collections

Citation

Lossan Bondé, Pierre Boulet, Jean-Luc Dekeyser. Traceability and Interoperability at Different Levels of Abstraction in Model Transformations. Forum on Specification and Design Languages, FDL'05, 2005, Lausanne, Switzerland. 2005. 〈inria-00565170〉

Partager

Métriques

Consultations de la notice

166