Reo: A Channel-based Coordination Model for Component Composition
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Farhad Arbab
Mathematical Structures in Computer Science 14, pages 329-366
2004
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. |
Publications / Views
Clouds
• tags • authors • editors • journals
Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927
Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others
Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note
Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI
Publication
— authors
Farhad Arbab
— status
published
— sort
article in journal
— publication date
2004
— journal
Mathematical Structures in Computer Science
— volume
14
— pages
329-366
URLs
identifiers
— DOI