基于Pi-演算的WS-CDL编舞的描述和验证

• 作者: 余雪丽 靖红叶
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 验证 Pi-演算 WS-CDL Web服务组合
• 年，卷（期）: 2008,（13）
• 所属期刊栏目: 理论研究
• 页码范围: 39-43
• 页数: 5页
• 分类号: TP311
• 字数: 5017字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.13.012

摘要

WS-CDL从全局的观点定义了P2P协作实体通用的外部行为,这些外部行为以消息交换序列的形式来达到一个共同的交易目的.尽管WS-CDL声称是基于Pi-演算的,但是证明Pi-演算在建模WS-CDL的效力上做的实质性工作并不多.因此,提出了一种基于Pi-演算的方法来形式化并且验证WS-CDL编舞.该方法可以保证WS-CDL编舞的正确性以降低由于Web服务执行的失败带来的开销.这一方法提高了部署的效率,降低了实现和调用不合适Web服务的风险.论文的贡献可以归纳为以下三点:首先,用Pi-演算形式化WS-CDL的语义信息;其次,形式化的有效性已确认,重要的属性都在形式化后得到验证.第三,用一个具体的交易场景验证WS-CDL模型设计的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余雪丽	太原理工大学计算机与软件学院	106	793	15.0	23.0
2	靖红叶	太原理工大学计算机与软件学院	1	8	1.0	1.0