基于Pi演算的Web服务建模与WSDL转换

康辉; 苑森淼; 浦洁; 刘勇

首页> 中文期刊>北京工业大学学报 >基于Pi演算的Web服务建模与WSDL转换

基于Pi演算的Web服务建模与WSDL转换

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证.运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型.通过形式化的方法验证,基于Pi演算的web服务建模经过PlC2WSDL模型转换可自动生成正确的.wsdl文件.

著录项

来源
《北京工业大学学报》|2008年第11期|1202-1206|共5页
作者
康辉; 苑森淼; 浦洁; 刘勇;
展开▼
作者单位

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

吉林大学,计算机科学与技术学院,长春,130012;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Pi演算; Web服务定义语言; Web服务; Web服务组合; XML语言;
入库时间 2022-09-01 02:54:19

相似文献

中文文献
外文文献
专利

1. 基于Pi-演算的信任Web服务组合建模 [J] . 云本胜 . 计算机科学 . 2012,第0z3期
2. 基于多元Pi-演算的Web服务组合描述与验证 [J] . 胡静 ,饶国政 ,冯志勇 . 天津大学学报 . 2013,第006期
3. 基于Pi演算的Web服务组合过程框架 [J] . 毛瑞雪 . 计算机与数字工程 . 2011,第007期
4. 基于Pi-演算的Web服务形式化描述模型 [J] . 胡静 ,冯志勇 . 计算机应用研究 . 2011,第006期
5. 基于多元Pi-演算的Web服务形式化描述模型及其验证 [J] . 胡静 ,冯志勇 . 计算机应用研究 . 2011,第008期
6. 基于Pi-演算的THP协议形式化建模与验证 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 基于Pi-演算的Web服务组合的描述和验证 [A] . 常斌 . 2011

基于Pi演算的Web服务建模与WSDL转换

摘要

著录项

相似文献

相关主题

期刊订阅