Skip to Main content Skip to Navigation
Conference papers

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Yliès Falcone Connect in order to contact the contributor
Submitted on : Wednesday, September 5, 2018 - 5:44:04 PM
Last modification on : Wednesday, October 27, 2021 - 4:58:10 AM
Long-term archiving on: : Thursday, December 6, 2018 - 5:36:00 PM


Files produced by the author(s)


  • HAL Id : hal-01868748, version 1


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⟩



Record views


Files downloads