Railroad Crossing Heterogeneous Model

Matias Ezequiel Vara Larsen 1, * Arda Goknil 1
* Auteur correspondant
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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Systems are getting more and more complex and usually in- volve many stakeholders. Stakeholders are concerned by different aspects of the system, potentially supported by multiple Domain Specific Mod- eling Languages (DSMLs). The DSMLs are usually different not only in their syntax but also in their behavioral semantics. In order to pro- vide simulation and/or verification of the overall system, it is mandatory to compose the DSMLs behavioral semantics. The composition of the DSMLs behavioral semantics results in the coordination of different mod- els that conform to the DSMLs. This paper presents the coordination of the models representing a railroad crossing management system. The sys- tem is composed of two models, conforming to two different DSMLs. The paper explains the behavioral semantics of these DSMLs and presents a simple coordination of the models used in the example.
Type de document :
Communication dans un congrès
GEMOC workshop 2013 - International Workshop on The Globalization of Modeling Languages, Sep 2013, Miami, Florida, United States. 2013
Liste complète des métadonnées


https://hal.inria.fr/hal-00867316
Contributeur : Matias Vara Larsen <>
Soumis le : mercredi 27 novembre 2013 - 13:15:03
Dernière modification le : mardi 13 décembre 2016 - 15:42:14
Document(s) archivé(s) le : samedi 8 avril 2017 - 02:51:07

Fichiers

workshop-gemoc2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00867316, version 2

Collections

Citation

Matias Ezequiel Vara Larsen, Arda Goknil. Railroad Crossing Heterogeneous Model. GEMOC workshop 2013 - International Workshop on The Globalization of Modeling Languages, Sep 2013, Miami, Florida, United States. 2013. <hal-00867316v2>

Partager

Métriques

Consultations de
la notice

398

Téléchargements du document

183