Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation

Papa Issa Diallo 1 Joël Champeau 1 Loïc Lagadec 1
1 Lab-STICC_ENSTAB_CACS_MOCS ; IDM
STIC - Pôle STIC [Brest], Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : In the context of embedded systems design, the growing het erogeneity of systems leads to increasingly complex and unreliable tool chains. The Model Driven Engineering (MDE) community has been mak-ing considerable eff orts to abstract tool languages in meta-models, and to o ffer model transformation mechanisms for models exchanges. However, the interoperability problems are recurring and still not consistently addressed. For instance, when it comes to executable models exchanges, it is very di fficult to ensure the preservation of the models behavior from one tool to another. This is mainly due to a lack of understanding of the Models of Computation (MoC) and execution semantics behind the models within di erent environments. In this paper, we introduce a methodology and a framework to: make explicit the execution semantics of models (based on the theory of MoC); provide semantics enrichment mechanisms to ensure the preservation of the execution semantics of models between tools. Our case study is an integration between a UML speci cation tool and an industrial Intensive Data Flow processing tool. This contribution helps to highlight execution semantics concerns within tool integration context.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00912574
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 2 décembre 2013 - 12:52:49
Dernière modification le : mercredi 24 juin 2020 - 16:19:22

Identifiants

  • HAL Id : hal-00912574, version 1

Citation

Papa Issa Diallo, Joël Champeau, Loïc Lagadec. A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation. SLE 2013 - 6th International Conference on Software Language Engineering, Oct 2013, United States. ⟨hal-00912574⟩

Partager

Métriques

Consultations de la notice

408