Optimized distributed implementation of multiparty interactions with Restriction

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
2015 Science of Computer Programming  
Using high level coordination primitives allows enhanced expressiveness of componentbased 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 a new
more » ... n operator named Restriction, whose semantics dynamically restricts the set of interactions allowed for execution, depending on the current state. We show that this operator provides a natural encoding for priorities. We provide a knowledge-based optimization that modifies the Restriction operator to avoid superfluous communication in the final implementation. We complete our framework through an enhanced conflict resolution protocol that natively implements Restriction. A prototype implementation allows us to compare performances of different optimizations. (S. Bensalem), bozga@imag.fr (M. Bozga), quilbeuf@fortiss.org (J. Quilbeuf), sifakis@imag.fr (J. Sifakis). 1 Although our focus is on BIP, all results in this paper can be applied to any model that is specified in terms of a set of components synchronized by interactions with priorities. http://dx.
doi:10.1016/j.scico.2014.02.013 fatcat:v3kzfprplrbw5msm4jq7zk6gba