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

• 作者: 袁勇福 谭煌 高春鸣
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Web服务 长时间事务 异步PI演算
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 理论研究
• 页码范围: 80-85
• 页数: 6页
• 分类号: TP393
• 字数: 8215字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.11.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
2	袁勇福	湖南师范大学数学与计算机科学学院	3	9	1.0	3.0
3	谭煌	湖南师范大学数学与计算机科学学院	7	24	2.0	4.0