Electronic Notes in Theoretical Computer Science vol:154 issue:1 pages:83-99
FOCLASA edition:4 location:San Francisco, USA date:27 August, 2005
Reo is a coordination model based on circuit-like connectors which coordination components through the interplay of data flow, synchronisation and mutual exclusion, state and context-dependent behaviour. This paper proposes a scheme based on connector colouring for determining the behaviour of a Reo connector by resolving its synchronisation and exclusion constraints. Colouring a Reo connector in a specific state with given boundary conditions (I/O requests) provides a means to determine the routing alternatives for data flow. Our scheme has the advantage over previous models in that it is simpler to implement and that it models Reo connectors more closely to their envisaged semantics than existing formal models.