A framework for automated distributed implementation of component-based models

Abstract

International audienceAlthough 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

Optimized distributed implementation of multiparty interactions with Restriction

“…Note that the duplication of interactions can be avoided by using models extended with variables and guards on interactions, such as the one presented in [17]. In that case, instead of creating a new port p(q) for any pair in P × Q , each port exports a state variable q.…”

“…We provide here the principle of the method for distributed implementation of BIP as presented in [17,16]. This method relies on a systematic transformation from arbitrary BIP components into distributed BIP components.…”

“…In a more concrete implementation, the distributed component exports the set offer(q) and the current state q through the offer port [17].…”

“…In [17], we further decompose the manager in two layers, respectively an interaction layer, and a conflict resolution layer.…”

“…We developed a general method based on source-to-source transformations of BIP models with multiparty interactions leading to distributed models that can be directly implemented [16,17]. This method has been later extended to handle priorities [18] and optimized by exploiting knowledge [12].…”