Paper Info
Title
Connector colouring I: Synchronisation and context dependency
Abstract
Reo is a coordination model based on circuit-like connectors which coordinate 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 context dependent synchronisation and mutual 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 in terms of their envisaged semantics than existing formal models.
Year
DOI
Venue
2006
10.1016/j.scico.2007.01.009
Electronic Notes in Theoretical Computer Science
Keywords
DocType
Volume
coordination,exclusion constraint,circuit-like connector,models reo connector,context dependency,data flow,reo,connector colouring,specific state,coordination languages,reo connector,reo connectors,connector colouring semantics,mutual exclusion constraint,composition,distributed computing,o request,context dependent synchronisation,context-dependent behaviour,mutual exclusion,boundary condition,context dependent
Journal
66
Issue
ISSN
Citations 
3
Electronic Notes in Theoretical Computer Science
47
PageRank 
References 
Authors
1.58
17
3
Name
Order
Citations
PageRank
Dave Clarke141626.19
David Costa2592.27
Farhad Arbab32667177.77