基于服务协调模型的业务事务验证方法

• 论文 •

基于服务协调模型的业务事务验证方法

袁敏，黄志球，李祥，闫艳　

1.南京航空航天大学计算机科学与技术学院，江苏南京210016；2.湘南学院计算机科学系，湖南郴州423043

出版日期:2012-03-15 发布日期:2012-03-25

Business transaction verification approach based on service coordination model

YUAN Min, HUANG Zhi-qiu, LI Xiang, YAN Yan

1.College of Information Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China;　2.Deptartment of Computer Science, Xiangnan University, Chenzhou 423043, China

Online:2012-03-15 Published:2012-03-25

摘要/Abstract

摘要： 为有效地保证Web服务业务活动中事务可靠地执行，提出了一种检查伙伴服务之间协调行为一致性的方法。针对长事务给出用Pi-演算建模业务活动中服务协调行为的方法；定义了标号迁移系统和Kripke结构这两种状态自动机之间的语法映射关系，提出了Pi-演算进程模型到符号模型检测工具输入语言的转换方法；在模型检测结果的基础上，用反例引导用户进一步精化模型，以解决业务流程集成中参与者协调一致性问题。通过实例验证了该方法的有效性。

关键词: 业务流程集成, 长事务, 服务协调, Pi-演算, 形式化验证, Web服务

Abstract: To ensure the reliability of transaction execution in Web service business transaction, an approach to check the consistency of coordination actions among partner services was proposed. Aiming at the long-running transactions, a rigorous method by using Pi-calculus to calculate the service activities coordination in modeling business was put forward. The syntax mapping of automaton between Labeled Transition System(LTS)and Kripke structure was defined, and transformation from Pi-calculus process model to imput language of symbolic model checking was proposed. On the basis of test result, a counter-example was used to refine the model. Therefore the coordination problem of participants in business process integration was solved.The example was used to verity the effectiveness of proposed method.

Key words: business process integration, long-running transactions, service coordination, Pi-calculus, formal verification, Web services

中图分类号:

TP311

袁敏,，黄志球，李祥，闫艳　. 基于服务协调模型的业务事务验证方法[J]. .

YUAN Min,, HUANG Zhi-qiu, LI Xiang, YAN Yan. Business transaction verification approach based on service coordination model[J]. .

[1]	谭文安,赵尧. 基于混沌遗传算法的Web服务组合[J]. 计算机集成制造系统, 2018, 24(第7): 1822-1829.
[2]	赵文玉,周栋,曹步清,刘建勋. 结合文档处理与查询处理技术的Web服务搜索方法[J]. 计算机集成制造系统, 2018, 24(第7): 1830-1837.
[3]	陈曙辉,范玉顺. 主题和时间特征融合下的服务消亡预测[J]. 计算机集成制造系统, 2018, 24(第11): 2676-2685.
[4]	徐文庭,殷昱煜,王菊仙,王兴菲,余方正. 基于CART与SlopeOne的服务质量预测算法[J]. 计算机集成制造系统, 2017, 23(第5期): 1080-1090.
[5]	申利民,陈真,李峰. 考虑数据变化范围的Web服务服务质量协同预测方法[J]. 计算机集成制造系统, 2017, 23(第1期): 215-224.
[6]	付晓东,岳昆,刘骊,刘利军. 不确定服务质量感知的Web服务可行组合方案计算[J]. 计算机集成制造系统, 2016, 22(第1期): 122-132.
[7]	刘轶,范玉顺,黄科满. 全局视角下的Web服务系统模型及推荐策略[J]. 计算机集成制造系统, 2016, 22(第1期): 133-143.
[8]	申利民,杨益良,陈真. 考虑相似比率的Web服务QoS协同预测[J]. 计算机集成制造系统, 2016, 22(第1期): 144-154.
[9]	尹超,段红运,李孝斌. 基于移动终端的网络化外协加工物流信息实时管控方法及系统[J]. 计算机集成制造系统, 2015, 21(第3期): 740-748.
[10]	李永湘,姚锡凡,徐川,张洁,李彬. 基于扩展进程代数的云制造服务组合建模与QoS评价[J]. 计算机集成制造系统, 2014, 20(3): 689-.
[11]	尤殿龙,申利民,杨永涛. 大粒度Web服务组合业务流程演化类型判定方法[J]. 计算机集成制造系统, 2014, 20(3): 710-.
[12]	王忠杰,吴倩,徐晓飞. 组合Web服务的价值分析方法[J]. 计算机集成制造系统, 2014, 20(08): 2038-2049.
[13]	夏博飞,范玉顺,黄科满. Web服务生态系统中消亡服务的预测方法[J]. 计算机集成制造系统, 2014, 20(08): 2060-2070.
[14]	申利民,陈真,李峰. 一种考虑QoS数据不确定性的服务选取方法[J]. 计算机集成制造系统, 2013, 19(10): 2652-2663.
[15]	徐刚,胡昊,余萍,葛季栋,吕建. 基于分层过程模型的过程演化技术[J]. 计算机集成制造系统, 2013, 19(08 ): 1913-1920.