2011-09-01
Decoupled execution of synchronous coordination models via behavioural automata
Publication
Publication
Presented at the
International Workshop on the Foundations of Coordination Languages and Software Architecture, Aachen
Synchronous coordination systems allow the exchange of data by logically
indivisible actions involving all coordinated entities. This paper introduces
behavioural automata, a logically synchronous coordination model based on the
Reo coordination language, which focuses on relevant aspects for the
concurrent evolution of these systems. We show how our automata model encodes
the Reo and Linda coordination models and how it introduces an explicit
predicate that captures the concurrent evolution, distinguishing local from
global actions, and lifting the need of most synchronous models to involve all
entities at each coordination step, paving the way to more scalable
implementations.
Additional Metadata | |
---|---|
, , | |
EPTCS | |
M.R. Mousavi , A. Ravara | |
International Workshop on the Foundations of Coordination Languages and Software Architecture | |
Organisation | Visualization and 3D User Interfaces |
Proença, J., Clarke, D., de Vink, E., & Arbab, F. (2011). Decoupled execution of synchronous coordination models via behavioural automata. In M. R. Mousavi & A. Ravara (Eds.), Proc. FOCLASA 2011 (pp. 65–79). EPTCS. |