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

基于多元Pi-演算的Web服务组合描述与验证
胡静;饶国政;冯志勇
【期刊名称】《天津大学学报》
【年(卷),期】2013(046)006
【摘要】验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web 服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
【总页数】6页(P520-525)
【作者】胡静;饶国政;冯志勇
【作者单位】天津大学计算机科学与技术学院,天津300072;天津大学计算机科学与技术学院,天津300072;天津大学计算机科学与技术学院,天津300072
【正文语种】中文
【中图分类】TP301
【相关文献】
1.Web服务组合的Pi-演算描述 [J], 常斌
2.基于Pi-演算的WS-CDL编舞的描述和验证 [J], 靖红叶;余雪丽
3.基于Pi-演算的信任Web服务组合建模 [J], 云本胜
4.基于Pi-演算的Web服务组合的描述和验证 [J], 廖军;谭浩;刘锦德
5.基于多元Pi-演算的Web服务形式化描述模型及其验证 [J], 胡静;冯志勇
因版权原因，仅展示原文概要，查看原文内容请购买。