|
|||||
|
|
| 一种基于Petri网的网络服务兼容性分析方法 | |
| 引用本文： | 熊鹏程,范玉顺. 一种基于Petri网的网络服务兼容性分析方法[J]. 高技术通讯, 2008, 18(9). DOI: 10.3772/j.issn.1002-0470.2008.09.011 |
| 作者姓名： | 熊鹏程 范玉顺 |
| 作者单位： | 清华大学自动化系,北京,100084;清华大学自动化系,北京,100084 |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金，国家重点基础研究发展计划(973计划) |
| 摘 要： | 针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法.最后,提出了基于该算法的原型系统架构. |
| 关 键 词： | 网络服务 Petri网 兼容性分析 |
A compatibility analysis approach for Petri net based Web service |
|
| Xiong Pengcheng,Fan Yushun. A compatibility analysis approach for Petri net based Web service[J]. High Technology Letters, 2008, 18(9). DOI: 10.3772/j.issn.1002-0470.2008.09.011 | |
| Authors: | Xiong Pengcheng Fan Yushun |
| Affiliation: | Xiong Pengcheng Fan Yushun (Department of Automation,Tsinghua University,Beijing 100084) |
| Abstract: | In view of the problem that recent Web service composition methods based on the business process execution lan- guage for Web services(BPEL)lack compatibility analysis and can not support the correct execution of Web service based business processes,the paper builds a multiple member workflow component composition net based on Petri nets to exhibit Web service interaction through interfaces formally,and presents a Web service compatibility judgment algorithm to help determine the usability of BPEL based Web... |
| Keywords: | Web service Petri nets compatibility analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |