Railroad Crossing Heterogeneous Model - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Railroad Crossing Heterogeneous Model

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00867316 , version 2

Citer

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⟩
415 Consultations
240 Téléchargements

Partager

Gmail Facebook X LinkedIn More