基于Pi演算的Web服务建模与WSDL转换
为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证.运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型.通过形式化的方法验证,基于Pi演算的web服务建模经过PlC2WSDL模型转换可自动生成正确的.wsdl文件.
Pi演算、Web服务定义语言、Web服务、Web服务组合、XML语言
34
TP311(计算技术、计算机技术)
国家自然科学基金项目60573128
2015-07-29(万方平台首次上网日期,不代表论文的发表时间)
共5页
1202-1206