A Place/Transition Model Based Execution Semantics for Web Service Transactions

Transaction processing is one of the key technologies that decide whether Web services and its composition services can be widely used. To deal with reliability and consistency of Web services in distributed environment, this paper presents a web services transaction compensation Paired Place/Transition model, and discusses the execution semantics of the sequence and parallel composition compensation patterns based on this mechanism in the situations of successful execution, failure compensation and failure recovery.