Using Reo for Service Coordination
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.
KeywordsBusiness Process Model Check Service Coordination Lossy Channel Travel Package
- 3.Klueppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)Google Scholar
- 4.Koehler, C., Lazovik, A., Arbab, F.: ReoService: coordination modeling tool. In: ICSOC-2007, Demo Session (2007)Google Scholar
- 5.Lazovik, A., Arbab, F.: Using Reo for service coordination. Technical report, CWI (2007)Google Scholar