Overview on decentralized establishment of consistent multi-lateral collaborations based on asynchronous communication

Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consistency, that is, fulfillment of all constraints of individual services and deadlock-freeness. This paper introduces a decentralized approach to consistency checking, which utilizes only bilateral views of the collaboration.