A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio

Benoit Combemale 1 Julien Deantoni 2, 3 Olivier Barais 1 Arnaud Blouin 1 Erwan Bousse 1 Cédric Brun 4 Thomas Degueule 1 Didier Vojtisek 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : We present in this paper a complete solution to the Model Execution case of the Transformation Tool Contest 2015 using the GEMOC Studio. The solution proposes an implementation of the most complete version (variant 3) of the UML Activity Diagram language. The implementation uses different technologies integrated into the GEMOC Studio for implementing the various concerns of the language: Kermeta is used to modularly implement the operational semantics and to weave it into the provided metamodel, Melange is used to build the overall language runtime seamlessly integrated to EMF, Sirius Animator is used to develop a graphical animator, the GEMOC execution engine is used to execute the conforming models according to the operational semantics and to build a rich and efficient execution trace that can be manipulated through a powerful timeline, which provides common facilities like, for instance trace visualization, and step-by-step execution (incl., breakpoint, step forward and step backward). Finally, MoCCML is used to provide an alternative to the implementation with an explicit and formal concurrency model for activity diagrams supported by a solver and analysis tools. We evaluate our implementation with regard to the evaluation criteria provided into the case description and provide evidence of the correctness, understandability, conciseness and performance of our solution.
Type de document :
Communication dans un congrès
8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, <http://www.transformation-tool-contest.eu/>
Liste complète des métadonnées


https://hal.inria.fr/hal-01152342
Contributeur : Benoit Combemale <>
Soumis le : lundi 2 novembre 2015 - 15:37:16
Dernière modification le : mercredi 2 août 2017 - 10:10:14
Document(s) archivé(s) le : vendredi 28 avril 2017 - 08:36:38

Fichier

ttc15-combemale-cameraready.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : hal-01152342, version 2

Citation

Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, et al.. A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio. 8th Transformation Tool Contest, 2015, l'Aquila, Italy. CEUR, <http://www.transformation-tool-contest.eu/>. <hal-01152342v2>

Partager

Métriques

Consultations de
la notice

760

Téléchargements du document

152