Optimized distributed implementation of multiparty interactions with Restriction - Archive ouverte HAL
Article Dans Une Revue Science of Computer Programming Année : 2015

Optimized distributed implementation of multiparty interactions with Restriction

Saddek Bensalem
Marius Bozga

Résumé

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 Restriction. We show that this model 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.
Fichier principal
Vignette du fichier
main.pdf (532.93 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01864700 , version 1 (30-08-2018)

Identifiants

Citer

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis. Optimized distributed implementation of multiparty interactions with Restriction. Science of Computer Programming, 2015, 98, pp.293 - 316. ⟨10.1016/j.scico.2014.02.013⟩. ⟨hal-01864700⟩
159 Consultations
98 Téléchargements

Altmetric

Partager

More