On Semantic Conflict Prevention in Service Choreography

Young Yoon, Chunyang Ye, and Hans-Arno Jacobsen.

University of Toronto, June 2010.
Pages 1-15.


The choreography of business processes deployed across different organizations on large-scale enterprise networks is prone to producing semantically conflicting behavior. For example, increasing production is inconsistent with a sales promotion given the business goal of clearing out the inventory. This kind of conflicting behavior among collaborating partners is usually caused by a nonrealizable global specification that is unable to control the partners’ interaction in a complete and consistent way. To address this issue, we propose a framework to discover and fix a problematic global specification by introducing extra coordination mechanisms. We prove that the resulting global specification can be realized by a set of local specifications that guarantee consistent behavior among partners. Experimental results show that our approach is promising in preventing semantic conflicts in the choreography of business processes with a reasonable overhead.


Tags: service, choreography, semantic conflict

Readers who enjoyed the above work, may also like the following: