A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
A transition system semantics for the control-driven coordination language MANIFOLD
Theoretical Computer Science
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
The algebra of stream processing functions
Theoretical Computer Science
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Equations for Describing Dynamic Nets of Communicating Systems
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Composing architectural styles from architectural primitives
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling Behavior in Compositions of Software Architectural Primitives
Proceedings of the 19th IEEE international conference on Automated software engineering
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
MoCha-pi, an exogenous coordination calculus based on mobile channels
Proceedings of the 2005 ACM symposium on Applied computing
Coordination and composition in multi-agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Evaluating violations of expectations to find exceptional information
Data & Knowledge Engineering
Construction of negotiation protocols for e-commerce applications
ACM SIGecom Exchanges
Programming multi-agent systems
The Knowledge Engineering Review
A tutorial on coinductive stream calculus and signal flow graphs
Theoretical Computer Science - Formal methods for components and objects
Merging uncertain information with semantic heterogeneity in XML
Knowledge and Information Systems
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
An architecture of a normative system: counts-as conditionals, obligations and permissions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Coordination with multicapabilities
Science of Computer Programming
A basic algebra of stateless connectors
Theoretical Computer Science - Algebra and coalgebra in computer science
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Web services choreography and orchestration in Reo and constraint automata
Proceedings of the 2007 ACM symposium on Applied computing
Coordinating mobile agents in interaction spaces
Science of Computer Programming
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural Interoperability Checking in Visual Coordination Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination by Timers for Channel-Based Anonymous Communications
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic Model Checking for Channel-based Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Applications = Components + GLoo
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Coordination Model for Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
A tuple channel-based coordination model for parallel and distributed programming
Journal of Parallel and Distributed Computing
Compositional failure-based semantic equivalences for Reo specifications
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
On the design of abstract binding connectors for high performance computing component models
Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Rewriting with High-Level Replacement Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal architectural model for exception handling coordination
Proceedings of the 2008 ACM symposium on Applied computing
Framework composition conformance via refinement checking
Proceedings of the 2008 ACM symposium on Applied computing
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A metamodel for distributed event based systems
Proceedings of the second international conference on Distributed event-based systems
Checking Equivalence for Reo Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-checking agent refinement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
Using Reo for Service Coordination
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
ReoService: Coordination Modeling Tool
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Recasting Constraint Automata into Büchi Automata
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Synthesis of Connectors from Scenario-Based Interaction Specifications
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
State Space Reduction Techniques for Component Interfaces
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Building Mashups for the Enterprise with SABRE
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Towards composition of distributed evolving services: the Credo approach (invited paper)
Autonomics '08 Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems
Causal Semantics for the Algebra of Connectors
Formal Methods for Components and Objects
Coordination: Reo, Nets, and Logic
Formal Methods for Components and Objects
Coordinating Object Oriented Components Using Data-Flow Networks
Formal Methods for Components and Objects
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A Verification Framework for Normative Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
XSED --- XML-Based Description of Status---Event Components and Systems
Engineering Interactive Systems
A framework for modelling and implementing self-organising coordination
Proceedings of the 2009 ACM symposium on Applied Computing
Situated tuple centres in ReSpecT
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 2009 ACM symposium on Applied Computing
Applying Reo to service coordination in long-running business transactions
Proceedings of the 2009 ACM symposium on Applied Computing
A perspective on service orchestration
Science of Computer Programming
Symbolic model checking for channel-based component connectors
Science of Computer Programming
On coordination, autonomy and time
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Synthesis of Reo Circuits from Scenario-based Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata for Context-Dependent Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
A Uniform Framework for Modeling and Verifying Components and Connectors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
From Coordination to Stochastic Models of QoS
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Reo2MC: a tool chain for performance analysis of coordination models
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Compositional Failure-based Equivalence of Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming Multi-agent Systems
Computational Logic in Multi-Agent Systems
Internetware: a shift of software paradigm
Proceedings of the First Asia-Pacific Symposium on Internetware
Implementation of an Orchestration Language as a Haskell Domain Specific Language
Electronic Notes in Theoretical Computer Science (ENTCS)
SAT-based Verification for Timed Component Connectors
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Analysis of Reo Circuits using Symbolic Execution
Electronic Notes in Theoretical Computer Science (ENTCS)
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
Compositional Specification of Parallel Components Using Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Interaction in Normative Multi-Agent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Paradigm as Organization-Oriented Coordination Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Semantics and Analysis of Component Connectors in Reo
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Colouring I: Synchronisation and Context Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Mapping of Reo Circuits to Constraint Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
S-Net for multi-memory multicores
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming
Codesign of dependable systems: a component-based modeling language
MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Science of Computer Programming
Alternating-time stream logic for multi-agent systems
Science of Computer Programming
Component connectors with QoS guarantees
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
On resource-sensitive timed component connectors
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Data-aware design and verification of service compositions with Reo and mCRL2
Proceedings of the 2010 ACM Symposium on Applied Computing
Compositional semantics of system-level designs written in systemC
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
An alternative algorithm for constraint automata product
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Composite connectors for composing software components
SC'07 Proceedings of the 6th international conference on Software composition
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Modeling and analysis of Reo connectors using alloy
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Alternating-time stream logic for multi-agent systems
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Coordination and adaptation techniques: bridging the gap between design and implementation
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
Modeling web service interactions using the coordination language Reo
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Consistent integration of models based on views of visual languages
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
Causal semantics for the algebra of connectors
Formal Methods in System Design
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Sampling, splitting and merging in coinductive stream calculus
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Design verification in model-based μ-controller development using an abstract component
Software and Systems Modeling (SoSyM)
Verification of context-dependent channel-based service models
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Design and verification of systems with exogenous coordination using Vereofy
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A semantic model for service composition with coordination time delays
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Reasoning about safety and progress using contracts
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Orchestrating nomadic mashups using workflows
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Synthesis of Reo circuits from scenario-based interaction specifications
Science of Computer Programming
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Traces for coalgebraic components
Mathematical Structures in Computer Science
Property specifications for workflow modelling
Science of Computer Programming
A language for behavioural modelling of architectural patterns
Proceedings of the Third Workshop on Behavioural Modelling
Büchi automata for modeling component connectors
Software and Systems Modeling (SoSyM)
A component model that is both control-driven and data-driven
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Design pattern solutions as explicit entities in component-based software development
Proceedings of the 16th international workshop on Component-oriented programming
Encoding context-sensitivity in Reo into non-context-sensitive semantic models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Simulation-based performance analysis of channel-based coordination models
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Achieving reuse with pluggable software units
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Hierarchical modeling and formal verification: an industrial case study using Reo and Vereofy
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
A connector algebra for P/T nets interactions
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Implementation architecture and multithreaded runtime system of S-NET
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Formal modeling
Towards a system model for ensembles
Formal modeling
Interaction and coordination of tools for structured data
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Modelling coordination in biological systems
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Generating test cases for constraint automata by genetic symbiosis algorithm
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Science of Computer Programming
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automata based model checking for reo connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A first step towards security policy compliance of connectors
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Synthesis of reo circuits for implementation of component-connector automata specifications
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Component-based software engineering
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
A model of context-dependent component connectors
Science of Computer Programming
Stochastic reasoning about channel-based component connectors
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Distributed workflow upon linkable coordination artifacts
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Compositional semantics of an actor-based language using constraint automata
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
NOW: a workflow language for orchestration in nomadic networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Compositional construction of real-time dataflow networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Chunks: component verification in CSP ∥ b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Causality in structured occurrence nets
Dependable and Historic Computing
Decomposition of constraint automata
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
SAT-based verification for timed component connectors
Science of Computer Programming
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Dreams: a framework for distributed synchronous coordination
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A Büchi automata based model checking framework for reo connectors
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Intentional automata: a context-dependent model for component connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
A specification language for reo connectors
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Controller patterns for component-based reactive control software systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Reusable decision space for mashup tool design
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Distributed S-Net: Cluster and Grid Computing without the Hassle
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Connector algebras, petri nets, and BIP
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata
Fundamenta Informaticae - Application of Concurrency to System Design
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Using coordinated actors to model families of distributed systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
A Component Coordination Model Based on Mobile Channels
Fundamenta Informaticae
Regions of Petri nets with a/sync connections
Theoretical Computer Science
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Partition refinement of Component Interaction Automata
Science of Computer Programming
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
Automatic code generation for the orchestration of web services with reo
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
An overview of the mCRL2 toolset and its recent advances
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Validating reconfigurations of reo circuits in an e-Banking scenario
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems
Safe deployment for reconfigurable cyber-physical systems
Proceedings of the 18th international doctoral symposium on Components and architecture
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
On the reconfiguration of software connectors
Proceedings of the 28th Annual ACM Symposium on Applied Computing
From Timed Reo Networks to Networks of Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
An experience report on the verification of autonomic protocols in the cloud
Innovations in Systems and Software Engineering
Using REO on ETL conceptual modelling: a first approach
Proceedings of the sixteenth international workshop on Data warehousing and OLAP
Stream processing coalgebraically
Science of Computer Programming
A compositional model to reason about end-to-end QoS in Stochastic Reo connectors
Science of Computer Programming
A reliability model for Service Component Architectures
Journal of Systems and Software
The Journal of Supercomputing
Hi-index | 0.00 |
In this paper, we present Reo, which forms a paradigm for composition of software components based on the notion of mobile channels. Reo is a channel-based exogenous coordination model in which complex coordinators, called connectors, are compositionally built out of simpler ones. The simplest connectors in Reo are a set of channels with well-defined behaviour supplied by users. Reo can be used as a language for coordination of concurrent processes, or as a ‘glue language’ for compositional construction of connectors that orchestrate component instances in a component-based system. The emphasis in Reo is just on connectors and their composition, and not on the entities that connect to, communicate and cooperate through these connectors. Each connector in Reo imposes a specific coordination pattern on the entities (for example, components) that perform I/O operations through that connector, without the knowledge of those entities. Channel composition in Reo is a very powerful mechanism for construction of connectors. We demonstrate the expressive power of connector composition in Reo through a number of examples. 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.