类型化的Web服务组合形式化模型

辜希武; 卢正鼎

首页> 中文期刊>计算机科学 >类型化的Web服务组合形式化模型

类型化的Web服务组合形式化模型

开具论文收录证明 >>

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

页面导航

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

摘要

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.

著录项

来源
《计算机科学》|2008年第1期|128-134|共7页
作者
辜希武; 卢正鼎;
展开▼
作者单位

华中科技大学计算机科学技术学院,武汉,430074;

华中科技大学计算机科学技术学院,武汉,430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
类型化模型; Web服务组合; Web服务商业流程执行语言;
入库时间 2023-07-24 19:22:43

相似文献

中文文献
外文文献
专利

1. 基于符号模型检测的Web服务组合形式化验证 [J] . 张世杰 ,徐鹏 ,刘沛瑶 . 计算机与数字工程 . 2021,第003期
2. 支持Web服务组合与验证的形式化模型 [J] . 侯金奎 ,王磊 . 计算机应用 . 2015,第006期
3. 一种Web服务组合形式化模型及验证方法 [J] . 周昆 ,金可音 . 微计算机信息 . 2010,第030期
4. 基于接口自动机的BPEL4WS Web服务组合形式化模型 [J] . 苏焕程 ,黄志球 ,刘林源 . 计算机应用研究 . 2009,第005期
5. IDEF0模型的形式化描述与展开模型 [C] . 刘俊先 ,姜志平 . 第九届全国青年管理科学与系统科学学术会议 . 2007
6. 基于BPMN的Web服务组合模型的形式化分析 [A] . 朱明英 . 2009

类型化的Web服务组合形式化模型

摘要

著录项

相似文献

相关主题

期刊订阅