Research on compensation semantic of composition Web services transaction
Aijun Jiang · Computer Engineering and Applications Journal · 2010
Web services composition requires reliable transaction processing mechanism,and the traditional ACID mechanism is not reliable enough to satisfy with composition transaction processing.So,a structured compensation method based on paired Petri-net is presented,which is based on paired Petri-net describe basic aggregate structure of Web services composition and its compensation behavior.With the help of dynamic execution deductive technique of paired Petri-net,analyzing the executive semantic of aggregate structural compensation show that it can be used to reliable business process compensation,aggregate compensation and composition process optimization etc.