ReoService: Coordination Modeling Tool

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4749)


Coordination in SOA addresses dynamic topologies of interactions among services. Most efforts up to now have been focused on statically defined composition of services, e.g., using BPEL. To the best of our knowledge, there are no serious means to address the issues of dynamic coordination to accommodate continuously changing requirements. While BPEL is a powerful standard for service composition, it lacks support for typical coordination constraints, like synchronisation, mutual exclusion, and context-dependency.


Business Process Model Check Service Composition Mutual Exclusion Service Description 
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.
    Eclipse coordination tools,
  2. 2.
    Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Structures in CS 14(3), 329–366 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors (2004)Google Scholar
  4. 4.
    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
  5. 5.
    Chothia, T., Kleijn, J.: Q-automata: Modelling the resource usage of concurrent components. In: FOCLASA 2006 (2006)Google Scholar
  6. 6.
    Klueppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  1. 1.CWI, AmsterdamNetherlands

Personalised recommendations