基于多元Pi-演算的Web服务组合描述与验证

摘要：

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.

关键词：多元Pi-演算、Web服务验证、Web服务可替换性

所属期刊栏目：46

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61003080;教育部科技发展中心网络时代科技论文快速共享专项研究课题资助项目2011117

在线出版日期：2013-10-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：520-525