Using Reo for Service Coordination

  • Alexander Lazovik
  • Farhad Arbab
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4749)


In this paper we address coordination of services in complex business processes. As the main coordination mechanism we rely on a channel-based exogenous coordination language, called Reo, and investigate its application to service-oriented architectures. Reo supports a specific notion of composition that enables coordination of individual services, as well as complex composite business processes. Accordingly, a coordinated business process consists of a set of web services whose collective behavior is coordinated by Reo.


Business Process Model Check Service Coordination Lossy Channel Travel Package 
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.


  1. 1.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Structures in CS 14(3), 329–366 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Klueppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)Google Scholar
  4. 4.
    Koehler, C., Lazovik, A., Arbab, F.: ReoService: coordination modeling tool. In: ICSOC-2007, Demo Session (2007)Google Scholar
  5. 5.
    Lazovik, A., Arbab, F.: Using Reo for service coordination. Technical report, CWI (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Alexander Lazovik
    • 1
  • Farhad Arbab
    • 1
  1. 1.CWI, AmsterdamNetherlands

Personalised recommendations