关键词: 配对Petri网, 事务Web服务组合, 聚合补偿

Abstract: 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.

Key words: paired Petri-net, Web services composition, structured composition compensation