摘要
对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的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.
出处
《计算机科学》
CSCD
北大核心
2015年第7期91-94,113,共5页
Computer Science
基金
国家自然科学基金项目(61272108)资助
关键词
业务流程
异常处理
补偿
PETRI网
Business process
Exception handling
Compensation
Petri nets
