Railroad Crossing Heterogeneous Model

Matias Ezequiel Vara Larsen 1, * Arda Goknil 1
* Corresponding author
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 : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-00867316
Contributor : Matias Vara Larsen <>
Submitted on : Wednesday, November 27, 2013 - 1:15:03 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Document(s) archivé(s) le : Saturday, April 8, 2017 - 2:51:07 AM

Files

workshop-gemoc2013.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00867316, version 2

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. ⟨hal-00867316v2⟩

Share

Metrics

Record views

531

Files downloads

250