A Formal Framework for Global Inconsistency Resolution in Service Choreography
Thesis detail
:
BPM (Business Process Management) in SOA (Service Oriented Architecture) environment makes use of loosely coupled services to achieve high level business goals. Transactions in BPM are required for many business types and compensation is a effective way to resolve inconsistency problems, however, in some cases inconsistency is inevitable due to relaxation of isolation, hence, this project is to provide an intelligent solution based on cost evaluation for compensation in the architecture of paralleling.