Optimized Distributed Implementation of Multiparty Interactions with Observation

Saddek Bensalem (1) , Marius Bozga (1) , Jean Quilbeuf (1) , Joseph Sifakis (1)

1 VERIMAG - IMAG - VERIMAG

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both the correctness and the runtime performance of the final implementation. We propose a novel approach for distributed implementation of multiparty interactions subject to scheduling constraints expressed by priorities. We rely on new composition operators and semantics that combine multiparty interactions with observation. We show that this model provides a natural encoding for priorities and moreover, can be used as an intermediate step towards provably correct and optimized distributed implementations.

Domaines: Systèmes embarqués

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis. Optimized Distributed Implementation of Multiparty Interactions with Observation. AGERE! @ SPLASH 2012: 2nd International Workshop on Programming based on Actors, Agents, and Decentralized Control, Oct 2012, Tucson, Arizona, United States. pp.89-98. ⟨hal-00878242⟩