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.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Pourvatan, Bahman; Sirjani, Marjan; Hojjat, Hossein; Arbab, Farhad: Symbolic execution of Reo circuits using constraint automata (2012)
- Talcott, Carolyn; Sirjani, Marjan; Ren, Shangping: Comparing three coordination models: Reo, ARC, and PBRD (2011)
- Koehler, Christian; Lazovik, Alexander; Arbab, Farhad: Connector rewriting with high-level replacement systems (2008)