# Reo: a channel-based coordination model for component composition

@article{Arbab2004ReoAC,
title={Reo: a channel-based coordination model for component composition},
author={F. Arbab},
journal={Mathematical Structures in Computer Science},
year={2004},
volume={14},
pages={329 - 366}
}
• F. Arbab
• Published 2004
• Computer Science
• Mathematical Structures in Computer Science
In this paper, we present Reo, which forms a paradigm for composition of software components based on the notion of mobile channels. [...] Key Result We show that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in Reo out of a small set of only five primitive channel types.Expand
768 Citations
Coordination through Channel Composition
• Computer Science
• COORDINATION
• 2002
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in P?? out of a small set of only five primitive channel types. Expand
Modeling and verification of component connectors in Coq
• Computer Science
• Sci. Comput. Program.
• 2015
This paper presents a new approach to modeling and verification of Reo connectors via Coq, a proof assistant based on higher-order logic and λ-calculus, and proposes a simulation-based approach to verify connectors' properties specified in LTL. Expand
Reconfiguration of Reo Connectors Triggered by Dataflow
• Computer Science
• Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
• 2008
This paper investigates how the connector colouring semantics can be used to perform dynamic reconfigurations of connectors and extends Reo's visual notation and the Reo animation language to describe and animate dynamically reconfiguring connectors. Expand
Modeling and Analysis of Component Connectors in Coq
• Computer Science
• FACS
• 2013
This paper presents a new approach to modeling and analysis of Reo connectors via Coq, a proof assistant based on high-order logic and $$\lambda$$-calculus that can automatically prove connectors’ properties using the Coq proof assistant. Expand
Modeling and Analysis of Reo Connectors Using Alloy
• Computer Science
• COORDINATION
• 2008
This paper provides a reusable library of Reo channels in Alloy that can be used to create a model of a Reo connector in Alloy, a lightweight modeling language based on first-order relational logic that reflects the original structure of the connector. Expand
A Channel-based Coordination Model for Components
• Computer Science
• Electron. Notes Theor. Comput. Sci.
• 2003
This model supports dynamic distributed systems where components can be mobile and provides an efficient way of interaction among components, and can be used as a basis to extend other models that focus on other aspects of components that are less concerned with composition and coordination issues. Expand
A Constraint-based Method to Compute Semantics of Channel-based Coordination Models
• Computer Science
• ICSEA 2012
• 2012
This paper expresses the behavior of a Reo network as a mixed system of Boolean and numerical constraints constructed compositionally by conjuncting the assertions for its constituent parts to construct the constraint automaton with state memory that gives the sound and complete semantics of Reo with respect to existing models. Expand
A Component Coordination Model Based on Mobile Channels
• Computer Science
• Fundam. Informaticae
• 2006
This model supports dynamic distributed systems where components can be mobile and provides an efficient way of interaction among components, and can be used as a basis to extend other models that focus on other aspects of components that are less concerned with composition and coordination issues. Expand
Compositional and behavior-preserving reconfiguration of component connectors in Reo
• Computer Science
• J. Vis. Lang. Comput.
• 2013
This paper targets the visual channel-based coordination language Reo and introduces a combined structural and behavioral model for graph-based component connectors in Reo, and shows that the connector model has a compositional semantics and lift structural reconfigurations to the semantical level. Expand
A Reo Model of Software Defined Networks
• Computer Science
• ICFEM
• 2019
A formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs is proposed. Expand

#### References

SHOWING 1-10 OF 26 REFERENCES
Coordination through Channel Composition
• Computer Science
• COORDINATION
• 2002
It is shown that exogenous coordination patterns that can be expressed as (meta-level) regular expressions over I/O operations can be composed in P?? out of a small set of only five primitive channel types. Expand
A Coinductive Calculus of Component Connectors
• Computer Science
• 2002
A simple and transparent semantical model for Reo, in which connectors are relations on timed data streams, and coinduction is the main reasoning principle and it is used to prove properties such as connector equivalence. Expand
A coordination language for mobile components
• Computer Science
• SAC '00
• 2000
The sigmapi language differs from other models of object-oriented systems mainly in its treatment of communication and mobility: communication is anonymous via synchronous or asynchronous channels, while mobility is obtained by moving channels in the virtual space of linked objects. Expand
Compositional Construction of Web Services Using Reo
• Computer Science
• WSMAI
• 2004
This paper presents a work-in-progress on compositional construction of Web Services using the Reo coordination language, which has a strong formal basis and promotes loose coupling, distribution, mobility, exoge-nous coordination, and dynamic reconfigurability. Expand
Abstract Behavior Types: A Foundation Model for Components and Their Composition
This work introduces the notion of Abstract Behavior Type (ABT) as a higher-level alternative to ADT and proposes it as a proper foundation model for both components and their composition and describes Reo: an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. Expand
A transition system semantics for the control-driven coordination language MANIFOLD
• Computer Science
• Theor. Comput. Sci.
• 2000
This work presents the formal semantics of a kernel of MANIFOLD, based on a two-level transition system model: the first level is used to specify the ideal behavior of each single component in a MANifOLD system, whereas the second level captures their interactions. Expand
A Logical Interface Description Language for Components
• Computer Science
• COORDINATION
• 2000
The main results in this paper are the theorems that formulate the notion of compositionality and the completeness of the derivation system that supports this property in a component-based system. Expand
Equations for Describing Dynamic Nets of Communicating Systems
• M. Broy
• Computer Science
• 1994
The modelling of interactive systems that correspond to dynamically changing net structures as obtained in systems with dynamic process creation within a framework of classical equational logic is demonstrated. Expand
MoCha, a model for distributed mobile channels
This thesis presents MoCha, a model for distributed Mobile Channels, and describes an efficient and non-trivial implementation of an asynchronous mobile channel in a distributed environment. Expand
A really abstract concurrent model and its temporal logic
• Computer Science
• POPL '86
• 1986
It is shown that, by imposing the crucial condition of finite variability, the radical notion that a computational model based on the reals provides a more abstract description of concurrent and reactive systems, than the conventional conventional behavioral model of execution sequencing is advanced. Expand