Connector Colouring I: Synchronisation and Context Dependency | Zendy

Dave Clarke | Zendy; David de Oliveira Costa | Zendy; Farhad Arbab | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Connector Colouring I: Synchronisation and Context Dependency

Author(s) -

Dave Clarke,

David de Oliveira Costa,

Farhad Arbab

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.12.035

Subject(s) - context (archaeology) , computer science , mutual exclusion , dependency (uml) , cable gland , semantics (computer science) , distributed computing , scheme (mathematics) , clos network , flow (mathematics) , state (computer science) , routing (electronic design automation) , theoretical computer science , topology (electrical circuits) , computer network , algorithm , mathematics , programming language , telecommunications , artificial intelligence , paleontology , mathematical analysis , geometry , biology , combinatorics

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 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research