会议专题

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

补偿机制是业务流程中常用的一种异常处理手段,当业务流程的活动出现异常时,它通过撤销已完成活动结果,使发生失效的流程恢复到失效之前的某个状态,从而使流程能继续运行下去.对补偿触发条件的判断影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使流程开发人员在设计补偿流程时容易出错分析了顺序选择并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程。

计算机技术 业务流程 异常处理 补偿事务 Petri网模型

雷义伟 贲可荣

海军工程大学计算机工程系 武汉 430033

国内会议

2014全国理论计算机科学学术年会

济南

中文

1-8

2014-10-16(万方平台首次上网日期,不代表论文的发表时间)