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 metadatas

https://hal.inria.fr/hal-00867316
Contributor : Matias Vara Larsen <>
Submitted on : Saturday, September 28, 2013 - 2:35:50 PM
Last modification on : Monday, October 12, 2020 - 10:30:12 AM
Long-term archiving on: : Friday, April 7, 2017 - 4:15:29 AM

File

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

Identifiers

  • HAL Id : hal-00867316, version 1

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-00867316v1⟩

Share

Metrics

Record views

187

Files downloads

43