A.: Railroad Crossing Heterogeneous Model
Matias Ezequiel Vara Larsen, Arda Göknil, Matias Vara Larsen, Arda Goknil, Railroad Crossing, Heterogeneous Model Gemoc, Hal Id Hal, Matias Vara Larsen, Arda Goknil, Inria Sophia Antipolis · Open Repository and Bibliography (University of Luxembourg) · 2013
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. 1