Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

Résumé

We introduce HDBIP an extension of the Behavior Interaction Priority (BIP) framework. BIP is a component-based framework with a rigorous operational semantics and high-level and expressive interaction model. HDBIP extends BIP interaction model by allowing heterogeneous interactions targeting distributed systems. HDBIP allows both multiparty and direct send/receive interactions that can be directly mapped to an underlying communication library. Then, we present a correct and efficient code generation from HDBIP to C++ implementation using Message Passing Interface (MPI). We present a non-trivial case study showing the effectiveness of HDBIP.
Fichier principal
Vignette du fichier
ifm18.pdf (1.02 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01868748 , version 1 (05-09-2018)

Identifiants

  • HAL Id : hal-01868748 , version 1

Citer

Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19. ⟨hal-01868748⟩
160 Consultations
204 Téléchargements

Partager

Gmail Facebook X LinkedIn More