一种基于Petri网的网络服务兼容性分析方法  

A compatibility analysis approach for Petri net based Web service

作　　者：熊鹏程[1] 范玉顺[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《高技术通讯》2008年第9期943-947,共5页Chinese High Technology Letters

基　　金：863计划(2006AA04Z151);国家自然科学基金(60674080);973计划(2006CB705407)资助项目

摘　　要：针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于 Petri 网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法。最后,提出了基于该算法的原型系统架构。In view of the problem that recent Web service composition methods based on the business process execution language 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 service composition. Finally, a prototype system architecture based on the algorithm is proposed.

关 键 词：网络服务 PETRI网 兼容性分析 

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术]