Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
Automated Distributed Implementation of Component-based Models with Priorities (2011)
Automated Distributed Implementation of Component-based Models with Priorities (2011)
TR-2011-3.pdf
Keywords: Correct-by-construction, Distributed implementation, Transformation, Priorities, BIP
Abstract: In this paper, we introduce a novel model-based approach for constructing correct distributed implementation of component-based models constrained by priorities. We argue that model-based methods are especially of interest in the context of distributed system due to their inherent complexity. Our three-phase method's input is a model specified in terms of a set of behavioural components that interact through a set of high-level synchronization primitives (e.g., rendezvous and broadcasts) and priority rules for scheduling purposes. Our technique, first, transforms the input model into a model that has no priorities. Then, it transforms the deprioritized model into another model that resolves distributed conflicts by incorporating a solution to the committee coordination problem. Finally, it generates distributed code using asynchronous point-to-point send/receive primitives. All transformations preserve the properties of their input model by ensuring observational equivalence. The transformations are implemented and our experiments validate their effectiveness.
