|
|||||
|
|
| 基于多元π演算的Web服务原子事务协议研究 | |
| 作者姓名： | 陈明 袁勇福 |
| 作者单位： | 湖南师范大学数学与计算机科学学院,湖南,长沙,410081;湖南师范大学数学与计算机科学学院,湖南,长沙,410081 |
| 摘 要： | Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化.采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质.最后,采用MWB工具证明了它的正确性. |
| 关 键 词： | Web服务 事务 多元π演算 形式化验证 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |