基于补偿事务的业务流程异常处理建模研究  

Research on Compensating Transaction Based Business Processes Exception Handling Model

作　　者：雷义伟[1] 贲可荣 

机构地区：[1]海军工程大学计算机工程系,武汉430033

出　　处：《计算机科学》2015年第7期91-94,113,共5页Computer Science

基　　金：国家自然科学基金项目(61272108)资助

摘　　要：对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。The decision of compensation trigger conditions affects the correctness of compensation.Due to the compensation relations among business process activities,especially the compensation relations in concurrent structures,process developers are prone to make mistakes when designing the compensation processes.This paper analyzed the compensation dependences in the structure of several basic processes such as sequence,selection,concurrency,and their composite structures.Computation methods of compensation trigger conditions,as well as the construction process of Petri-net models were given,and the feasibility of the method was also illustrated by an example.

关 键 词：业务流程 异常处理 补偿 PETRI网 

分 类 号：TP302.8[自动化与计算机技术—计算机系统结构]