Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download
Contributor : Matias Vara Larsen Connect in order to contact the contributor
Submitted on : Wednesday, November 27, 2013 - 1:15:03 PM
Last modification on : Friday, January 21, 2022 - 3:15:50 AM
Long-term archiving on: : Saturday, April 8, 2017 - 2:51:07 AM


Files produced by the author(s)


  • HAL Id : hal-00867316, version 2



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⟩



Les métriques sont temporairement indisponibles