基于多元π演算的Web服务原子事务协议研究

• 作者: 袁勇福 陈明
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: Web服务 事务 多元π演算 形式化验证
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 134-136
• 页数: 3页
• 分类号: TP3
• 字数: 1988字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.01.050

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈明	湖南师范大学数学与计算机科学学院	21	110	4.0	10.0
2	袁勇福	湖南师范大学数学与计算机科学学院	3	9	1.0	3.0