基于异步PI演算的Web服务长事务协议性质分析

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (11): 80-85.

基于异步PI演算的Web服务长事务协议性质分析

谭煌,高春鸣,袁勇福

湖南师范大学数学与计算机科学学院，长沙 410081

收稿日期:2007-07-23 修回日期:2007-10-22 出版日期:2008-04-11 发布日期:2008-04-11
通讯作者: 谭煌

Properties analysis for Web services long running transaction based on asynchronous PI-calculus

TAN Huang,GAO Chun-ming,YUAN Yong-fu

College of Mathematics and Computer Science，Hunan Normal University，Changsha 410081，China

Received:2007-07-23 Revised:2007-10-22 Online:2008-04-11 Published:2008-04-11
Contact: TAN Huang

摘要/Abstract

摘要： 根据WS-BusinessActivity规范提出一个扩展的长事务协议BAPC，该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制，重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中，迫切需要对BAPC协议进行形式化分析，以保证协议的正确性。基于简洁的异步PI演算，建模和分析了BAPC协议，采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明，说明该协议可以用于处理基本Web服务组合事务，能够保证组合服务的长事务性质。

关键词: Web服务, 长时间事务, 异步PI演算

Abstract: In this paper，a long running transaction protocol BAPC based on WS-BusinessActivity specification is proposed.BAPC protocol is more detailed and closer to software implementation than others.It has some features about BAPC that relaxes the constraints of ACID attributes in traditional transaction and redefines the properties of transaction under loose couple environment.Therefore，it need to formalize BAPC protocol for guarantee of its correctness.The paper model and analyze BAPC protocol based on asynchronous PI calculus，and prove its properties correct，such as local atomicity，durability and eventuality by adopting the theory of bisimulation and transfer semantics.

Key words: Web services, long running transaction, asynchronous PI-calculus

谭煌,高春鸣,袁勇福. 基于异步PI演算的Web服务长事务协议性质分析[J]. 计算机工程与应用, 2008, 44(11): 80-85.

TAN Huang,GAO Chun-ming,YUAN Yong-fu. Properties analysis for Web services long running transaction based on asynchronous PI-calculus[J]. Computer Engineering and Applications, 2008, 44(11): 80-85.

[1]	尤国华，刘媛，高东. 异构系统中的Web服务器软件框架研究[J]. 计算机工程与应用, 2020, 56(11): 33-38.
[2]	邓丽平1，段利国2，杨丽凤2. 面向行为的可信Web服务选择方法[J]. 计算机工程与应用, 2019, 55(4): 112-118.
[3]	贾志淳，卢元，李想，邢星. 一种多参数的Web服务选择方法[J]. 计算机工程与应用, 2019, 55(21): 74-78.
[4]	张梦珂1，李兵1，3，王健2. 基于多地域的SOAP与REST服务的性能实证分析[J]. 计算机工程与应用, 2018, 54(4): 1-8.
[5]	王亮1，2，郭星1，2. 基于柯西烟花算法的大规模服务组合优化[J]. 计算机工程与应用, 2018, 54(24): 34-40.
[6]	谭朝文，宗容，席先强，武浩. 基于贝叶斯张量分解的改进QoS预测[J]. 计算机工程与应用, 2018, 54(20): 74-79.
[7]	辛园园，钮俊，谢志军，张开乐，毛昕怡. 微服务体系结构实现框架综述[J]. 计算机工程与应用, 2018, 54(19): 10-17.
[8]	汪潇洒1，付晓东1，刘骊1，岳昆2，刘利军1. 随机QoS感知的Web服务组合概率分析[J]. 计算机工程与应用, 2017, 53(14): 70-75.
[9]	刘迪1，2，朱立谷1，2，张雷1，2，冯东煜1，2. 基于强挂起弱预测机制的负载均衡模型研究[J]. 计算机工程与应用, 2017, 53(10): 90-95.
[10]	贾志淳1，邢星1，2. 多Web服务组合兼容性的自动化验证[J]. 计算机工程与应用, 2016, 52(7): 67-73.
[11]	马亮，钱雪忠. 基于可信计算的Web服务调用关键路径研究[J]. 计算机工程与应用, 2016, 52(3): 230-235.
[12]	张驰，褚楚，唐颖军，陈升. 基于行为投影的Web服务组合行为兼容性研究[J]. 计算机工程与应用, 2016, 52(20): 46-51.
[13]	唐妮1，2，熊庆宇1，2，王喜宾1，2，高旻1，2，文俊浩1，2，曾骏1，2. 基于位置聚类和张量分解的Web服务推荐算法[J]. 计算机工程与应用, 2016, 52(15): 65-72.
[14]	夏永滢1，田强1，付晓东1，2，王威1，李昌志1. 一种QoS感知的Web服务群体评价方法[J]. 计算机工程与应用, 2015, 51(15): 62-67.
[15]	连加典1，刘宏立1，谢海波2，龚霞1，胥小波1. 基于预测机制的分级负载均衡算法[J]. 计算机工程与应用, 2015, 51(11): 67-71.