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

计算机科学 ›› 2015, Vol. 42 ›› Issue (7): 91-94.doi: 10.11896/j.issn.1002-137X.2015.07.019

• 2014’全国理论计算机科学年会 • 上一篇下一篇

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

雷义伟贲可荣

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

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金项目(61272108)资助

Research on Compensating Transaction Based Business Processes Exception Handling Model

LEI Yi-wei BEN Ke-rong

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。

关键词: 业务流程,异常处理,补偿,Petri网

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

Key words: Business process,Exception handling,Compensation,Petri nets

雷义伟贲可荣. 基于补偿事务的业务流程异常处理建模研究[J]. 计算机科学, 2015, 42(7): 91-94. https://doi.org/10.11896/j.issn.1002-137X.2015.07.019

LEI Yi-wei BEN Ke-rong. Research on Compensating Transaction Based Business Processes Exception Handling Model[J]. Computer Science, 2015, 42(7): 91-94. https://doi.org/10.11896/j.issn.1002-137X.2015.07.019

参考文献

[1] Colombo C,Pace G J.Recovery within Long-Running Transactions [J].ACM Computing Surveys,2013,45(3):1-28
[2] Haddad J E,Manouvrier M,Rukoz M.TQoS:Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition [J].IEEE Transactions on Services Computing,2010,3(1):73-85
[3] Liu Hai,Zhang Wei-min,Ren Kai-jun,et al.A Novel Selection Approach for Transactional Web Services Composition [C]∥2010 Ninth International Conference on Grid and Cloud Computing.Nanjing,China,2010:450-456
[4] Kokash N,Arbab F.Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools [J].IEEE Transactions on Services Computing,2013,6(2):186-200
[5] Gaaloul W,Gaaloul K,Sami Bhiri,et al.Log-based transactional workflow mining [J].Distributed and Parallel Databases,2009,25(3):193-240
[6] Zhang Hua,Wang Qian.Implementing mechanism of service orien-ted workflow compensation [J].Journal of Southeast University (Nature Science Edition),2009,39(1):40-46
[7] Zhao Zong-tao,Jun Wei,Li Lin,et al.A concurrency controlmechanism for composite service supporting user-defined rela-xed atomicity [C]∥The 32nd Annual IEEE International Computer Software and Applications Conference.Turku,Finland,2008:275-278
[8] Bhiri S,Godart C,Perrin O.Transactional Patterns for Reliable Web Services Compositions [C]∥Proceedings of the 6th international conference on Web engineering.California,USA,2006:137-144

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed