ReoService: Coordination Modeling Tool
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.
KeywordsBusiness Process Model Check Service Composition Mutual Exclusion Service Description
- 1.Eclipse coordination tools, http://homepages.cwi.nl/~koehler/ect
- 3.Arbab, F., Baier, C., de Boer, F., Rutten, J.: Models and temporal logics for timed component connectors (2004)Google Scholar
- 5.Chothia, T., Kleijn, J.: Q-automata: Modelling the resource usage of concurrent components. In: FOCLASA 2006 (2006)Google Scholar
- 6.Klueppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)Google Scholar