Distributed Semantics and Implementation for Systems with Interaction and Priority - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Distributed Semantics and Implementation for Systems with Interaction and Priority

Ananda Basu
  • Fonction : Auteur
  • PersonId : 857857
Philippe Bidinger
  • Fonction : Auteur
  • PersonId : 857858
Marius Bozga
Joseph Sifakis
  • Fonction : Auteur
  • PersonId : 857859

Résumé

The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful mechanisms for describing composition of components by combining interactions and priorities. A system model is layered. The lowest layer contains atomic components; the second layer, describes possible interactions between atomic components; the third layer includes priorities between the interactions. The current implementation of BIP is based on global state operational semantics. An Engine directly interprets the operational semantics rules and computes the possible interactions between atomic components from global states. The implementation method is a translation from BIP models into distributed models involving two steps. The first translates BIP models into partial state models where are known only the states of the components which are ready to communicate. The second implements interactions in the partial state model by using message passing primitives.
Fichier principal
Vignette du fichier
distbip.pdf (283.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00359261 , version 1 (06-02-2009)

Identifiants

Citer

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis. Distributed Semantics and Implementation for Systems with Interaction and Priority. Formal Techniques for Networked and Distributed Systems – FORTE 2008, Jun 2008, Tokyo, Japan. pp.116--133, ⟨10.1007/978-3-540-68855-6⟩. ⟨hal-00359261⟩
169 Consultations
108 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More