Connector Colouring I: Synchronisation and Context Dependency

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.

[1]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[2]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[3]  Cristian S. Calude,et al.  Discrete Mathematics and Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[4]  Edward A. Lee,et al.  Causality Interfaces and Compositional Causality Analysis 1 , 2005 .

[5]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[6]  W. Richard Stevens,et al.  TCP/IP Illustrated, Volume 2: The Implementation , 1995 .

[7]  Stéphane Ducasse,et al.  A Group Based Approach for Coordinating Active Objects , 1999, COORDINATION.

[8]  Farhad Arbab,et al.  A Coinductive Calculus of Component Connectors , 2002, WADT.

[9]  Nancy A. Lynch,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[10]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[11]  Fabio Gadducci,et al.  The tile model , 2000, Proof, Language, and Interaction.

[12]  Roberto Bruni,et al.  Complete Axioms for Stateless Connectors , 2005, CALCO.

[13]  Christel Baier,et al.  Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract) , 2004, Electron. Notes Theor. Comput. Sci..

[14]  Farhad Arbab.  Abstract Behavior Types: a foundation model for components and their composition , 2005, Sci. Comput. Program..

[15]  Farhad Arbab,et al.  A transition system semantics for the control-driven coordination language MANIFOLD , 2000, Theor. Comput. Sci..

[16]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[17]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[18]  Farhad Arbab,et al.  MoCha: a middleware based on mobile channels , 2002, Proceedings 26th Annual International Computer Software and Applications.

[19]  Jack Dongarra,et al.  MPI: The Complete Reference , 1996 .

[20]  K. Appel,et al.  Every Planar Map Is Four Colorable , 2019, Mathematical Solitaires & Games.

[21]  Ivan Lanese,et al.  Synchronized Hyperedge Replacement for Heterogeneous Systems , 2005, COORDINATION.

[22]  Farhad Arbab,et al.  A distributed computational model for Reo. , 2006 .

[23]  Christel Baier,et al.  Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..

[24]  Farhad Arbab,et al.  Software Adaptation in Integrated Tool Frameworks for Composite services , 2006 .

[25]  G. Plotkin,et al.  Proof, language, and interaction: essays in honour of Robin Milner , 2000 .