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

摘要：

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

关键词：Web服务、长时间事务、异步PI演算

所属期刊栏目：44

分类号：TP393(计算技术、计算机技术)

资助基金：湖南省科技攻关项目05GK2002;湖南省科技攻关项目2006GK4034

在线出版日期：2008-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：80-85