A petri net-based failure handling model for composition transactions

Due to the existing failure and cancellation of business logic of Web services composition, service compensation is one of the most important issues in the research of Service- Oriented Computing (SOC). To ensure the weaker notion of atomicity through performing compensation, the execution semantics of this mechanism's compensation pattern are analyzed based on Petri net, a Petri-net-based formalization to construct Web composition process is proposed, interface dependency, compensation dependency and sequence that handlers were triggered in nesting scopes are discussed, the semantics of interface and excution of composition service is discussed based on Petri net.