Title: Connector colouring I: Synchronisation and context dependency
Authors: Clarke, Dave ×
Costa, David
Arbab, Farhad #
Issue Date: May-2007
Publisher: North-Holland Pub. Co.
Series Title: Science of computer programming vol:66 issue:3 pages:205-225
Conference: International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA '05) edition:4 location:San Francisco, USA date:27 August 2005
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.
ISSN: 0167-6423
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Non-KU Leuven Association publications
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
colouring.pdfMain article Published 253KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science