Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions - Archive ouverte HAL Access content directly
Conference Papers Year :

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

(1) , (2) , (2) , (3, 4, 5)
1
2
3
4
5

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-01868748 , version 1

Cite

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⟩
149 View
179 Download

Share

Gmail Facebook Twitter LinkedIn More