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

作     者：靖红叶 余雪丽 JING Hong-ye;YU Xue-li

作者机构：太原理工大学计算机与软件学院太原030024 

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60472093) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2008年第44卷第13期

页      码：39-43页

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

主 题 词：验证 Pi-演算 WS—CDL Web服务组合 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.2008.13.012

馆 藏 号：203818022...