组合Web服务事务的补偿语义研究  

Research on compensation semantic of composition Web services transaction

作　　者：汪永琳[1] 蒋爱军[2] 

机构地区：[1]湖南文理学院计算机科学与技术学院,湖南常德415000 [2]中山大学信息科学与技术学院,广州510275

出　　处：《计算机工程与应用》2010年第14期39-41,44,共4页Computer Engineering and Applications

基　　金：湖南省科技计划项目资助No.2009GK3058~~

摘　　要：Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。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.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]