Coordination through Channel Composition
Ρεω is a channel-based exogenous coordination model wherein complex coordinators, called connectors are compositionally built out of simpler ones. The simplest connectors in Ρεω are a set of channels with well-defined behavior supplied by users. Ρεω 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 Ρεω is on connectors and their composition only, not on the entities that connect to, communicate, and cooperate through these connectors. Each connector in Ρεω imposes a specific coordination pattern on the entities (e.g., components) that perform I/O operations through that connector, without the knowledge of those entities.
Channel composition in Ρ εω is a very powerful mechanism for construction of connectors. In this paper, we demonstrate the expressive power of connector composition in Ρ εω through a number of examples. We show that exogenous coordination patterns that can be expressed as (metalevel) regular expressions over I/O operations can be composed in Ρ εω out of a small set of only five primitive channel types.
KeywordsData Item Regular Expression Channel Type Coordination Pattern Active Entity
Unable to display preview. Download preview PDF.
- 1.F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 34–56. Springer-Verlag, April 1996.Google Scholar
- 3.F. Arbab. A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 2001.Google Scholar
- 4.F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. ACM SAC’00, 2000.Google Scholar
- 5.Farhad Arbab. Coordination of mobile components. In Ugo Montanari and Vladimiro Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 54. Elsevier Science Publishers, 2001.Google Scholar
- 6.Farhad Arbab, F. S. de Boer, and M. M. Bonsangue. A logical interface description language for components. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination Languages and Models:Proc. Coordination 2000, volume 1906 of Lecture Notes in Computer Science, pages 249–266. Springer-Verlag, September 2000.CrossRefGoogle Scholar
- 8.M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 906 of Lecture Notes in Computer Science, pages 170–187. Springer-Verlag, 1995.Google Scholar
- 9.F. S. de Boer and M. M. Bonsangue. A compositional model for confluent dynamic data-flow networks. In M. Nielsen and B. Rovan, editors, Proc. International Symposium of the Mathematical Foundations of Computer Science (MFCS), volume 1893 of Lecture Notes in Computer Science, pages 212–221. Springer-Verlag, August-September 2000.Google Scholar
- 10.R. Grosu and K. Stoelen. A model for mobile point-to-point data-flow networks without channel sharing. Lecture Notes in Computer Science, 1101:504-??, 1996.Google Scholar
- 11.G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing’ 74:P roceedings of the IFIP Congress, pages 471–475. North-Holland, New York, NY, 1974.Google Scholar
- 12.Juan Guillen Scholten. Mocha: A model for distributed Mobile Channels. Master’s thesis, Leiden University, May 2001.Google Scholar