Railroad Crossing Heterogeneous Model - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Railroad Crossing Heterogeneous Model


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.
Fichier principal
Vignette du fichier
workshop-gemoc2013.pdf (354.76 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00867316 , version 1 (28-09-2013)
hal-00867316 , version 2 (27-11-2013)


  • 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⟩
406 View
220 Download


Gmail Facebook Twitter LinkedIn More