Skip to Main content Skip to Navigation
Journal articles

A framework for automated distributed implementation of component-based models

Abstract : Although distributed systems are widely used nowadays, their implementation and deployment are still time-consuming, error-prone, and hardly predictable tasks. In this paper, we propose a method for producing automatically efficient and correct-by-construction distributed implementations from a model of the application software in BIP. BIP (Behavior, Interaction, Priority) is a well-founded component-based framework encompassing high-level multi-party interactions for synchronizing components (e.g., rendezvous and broadcast) and dynamic priorities for scheduling between interactions. Our method transforms an arbitrary BIP model into a Send/Receive BIP model that is directly implementable on distributed execution platforms. The transformation consists in (1) breaking the atomicity of actions in components by replacing synchronous multiparty interactions with asynchronous Send/Receive interactions; (2) inserting distributed controllers that coordinate the execution of interactions according to a user-defined partition of interactions, and (3) adding a distributed algorithm for handling conflicts between controllers. The obtained Send/Receive BIP model is proven observationally equivalent to its corresponding initial model. Hence, all functional properties of the initial BIP model are preserved by construction in the implementation. Moreover, the obtained Send/Receive BIP model can be used to automatically derive distributed executable code. The proposed method is fully implemented. Currently, it is possible to generate C++ implementations for (1) TCP sockets for conventional distributed communication, (2) MPI for multi-processor platforms, and (3) POSIX threads for deployment on multi-core platforms. We present four case studies and report experimental results for different design choices including partition of interactions and choice of algorithm for distributed conflict resolution.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00877995
Contributor : Marius Bozga <>
Submitted on : Tuesday, October 29, 2013 - 3:10:20 PM
Last modification on : Thursday, November 19, 2020 - 3:58:03 PM

Links full text

Identifiers

Collections

IMAG | LIG | CNRS | VERIMAG | UGA

Citation

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis. A framework for automated distributed implementation of component-based models. Distributed Computing, Springer Verlag, 2012, 25 (5), pp.383-409. ⟨10.1007/s00446-012-0168-6⟩. ⟨hal-00877995⟩

Share

Metrics

Record views

607