论文部分内容阅读
Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化。采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质。最后,采用MWB工具证明了它的正确性。