Decentralized Consistency Checking in Cross-organizationalWorkflows
Andreas Wombacher · 2006
Service oriented architectures facilitate loosely coupled composed services, which are established in a decentralized way. One challenge for such composed services is to guarantee consistency, i.e., deadlock-freeness. This paper presents a decentralized approach to consistency checking, which utilizes only bilateral views of the composed service based on a synchronous communication model