BIP-Plus for deriving efficient distributed implementations of component-based design -

Abstract

Developing correct and reliable distributed systems is challenging mainly because of the complex structures of the interactions between distributed processes. Interactions can be modeled using either low-level primitives (e.g., MPI - Message Passing Interface) or high-level synchronization-primitives (e.g., BIP - Behavior Interaction Priority). Using the latter simplifies the development since it helps abstracting away the implementation details and validating the model w.r.t. a particular set of requirements. Nonetheless, abstraction reduces expressiveness of the interaction model. Consequently, generating efficient distributed implementations becomes very challenging due to the gap between the interaction model and the underlying platform or libraries. In this thesis, we propose BIP-plus which is an extension of the BIP framework to combine abstraction and expressiveness in a rigorous way. BIP is a component based framework with a rigorous operational semantics and high-level interaction model. We extend the interaction model by allowing both multi-party interactions and direct send-receive interactions that could be directly mapped to the underlying platform. Then, we define a correct (w.r.t. original model) and efficient code generation. We present two non-trivial case studies that show the effectiveness of our method: Two Phase Commit and distributed Support Vector Machines. The experimental results show that, in both problems, the distributed implementation, obtained by our proposed model, outperforms its equivalent implementation generated by the original BIP model.