From high-level component-based models to distributed implementations

Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-atomic structure. Thus, it is highly desirable if designers can automatically transform high-level models (where atomicity is assumed through global state semantics and distribution details are omitted via employing high-level synchronization primitives) into distributed and parallel implementaile preserving the correctness of the abstract model. In this paper, we propose a novel transformation in the context of the BIP modeling formalism. Our transformation preserves observational equivalence and allows parallelism between components even though these components interact through multi-party synchronization primitives in the corresponding high-level model. In particular, our method, (1) transforms a high-level BIP model into another BIP model that operates using asynchronous message passing, (2) constructs a se...

• Type: Journal
• Year: 2010
• Where: EMSOFT
• Authors: Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
• Keywords: Bip Models, Code, EMSOFT 2010, Software Engineering, Synchronization Primitives