Coordination through Channel Composition

  • Farhad Arbab
  • Farhad Mavaddat
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2315)


Ρεω 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.


Data Item Regular Expression Channel Type Coordination Pattern Active Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    F. Arbab. Manifold version 2: Language reference manual. Technical report, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1996. Available online Scholar
  3. 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. 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. 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. 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
  7. 7.
    M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutellá, and G. Zavattaro. A transition system semantics for the control-driven coordination language manifold. Theoretical Computer Science, 240:3–47, 2000.zbMATHCrossRefMathSciNetGoogle Scholar
  8. 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. 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. 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. 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. 12.
    Juan Guillen Scholten. Mocha: A model for distributed Mobile Channels. Master’s thesis, Leiden University, May 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Farhad Arbab
    • 1
  • Farhad Mavaddat
    • 2
  1. 1.CWIAmsterdamThe Netherlands
  2. 2.University of WaterlooOntarioCanada

Personalised recommendations