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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-01868748
Contributor : Yliès Falcone <>
Submitted on : Wednesday, September 5, 2018 - 5:44:04 PM
Last modification on : Friday, August 23, 2019 - 1:30:02 PM
Long-term archiving on : Thursday, December 6, 2018 - 5:36:00 PM

File

ifm18.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01868748, version 1

Citation

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⟩

Share

Metrics

Record views

178

Files downloads

205