Web服务组合的层次化建模  

Hierarchical models of Web service composition

作　　者：王玉英[1,2] 陈平[2] 

机构地区：[1]西安建筑科技大学理学院,陕西西安710055 [2]西安电子科技大学软件工程研究所,陕西西安710071

出　　处：《西北大学学报（自然科学版）》2013年第1期39-44,共6页Journal of Northwest University（Natural Science Edition）

基　　金：国家十一五国防预研基金资助项目(513060601);陕西省教育厅基金资助项目(11JK1068)

摘　　要：目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中<scope>、<compensation>、<faultHandlers>和<terminationHandlers>几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。Aim To describe Web service composition folmal]y for mode] checking and testing of Web service com- position by available tools and methods. Methods Modeling each activity of BPEL process by using colored Petri nets, analyzing the interaction of BPEL＇s 〈 scope 〉, 〈 compensation 〉, 〈 fauhHandlers 〉, and 〈 termination- Handlers 〉 , and BPEL＇s fault and compensation mechanism as well. The definition of hierarchical colored Petri net is developed in respect to the net resource flow, and the hierarchies of BPEL process are projected into the hierar- chies of hierarchical colored Petri nets. Results The hierarchical colored Petri net definition is improved and an approach on modeling Web service composition is proposed. Conclusion These models are applicable to large BPEL processes. It is benefit for the analysis Web service composition on both abstract and detail level.

关 键 词：WEB服务组合 BPEL 层次化有色Petri网 建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]