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.

Tracing Distributed Component-Based Systems, a Brief Overview

“…-(i) define specification formalisms tailored to our model of CBSs and study their monitorability [16]; -(ii) decentralize observers/monitors according to the system architecture by using decentralized runtime verification frameworks [6,15,13]; -(iii) adapt techniques for runtime enforcement [20] of sequential CBSs [18] to the distributed setting; -(iv) use heteregoneous communication primitives (synchronous and asynchronous) [25] for facilitating the implementation of optimized monitors; -(v) leverage aspect-oriented programming on CBSs [14] to define source-to-source transformations to inject runtime verification monitors.…”

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning

“…The Vercors framework [14,2] uses parameterized networks of asynchronous automata (pNets) as an intermediate formalism representing behaviors of distributed software components, statically analyzed by the CADP model checker. BIP [3] (Behavior, Interaction, Priority) was initially a component-based model for heterogeneous real-time and reactive systems, and has been extended for distributed systems with heterogeneous interactions through HDBIP [19]. In BIP, finite state automata are used to represent the behavior of components and their composition.…”