一种基于CPN的BPEL异常处理逻辑的开发方法  

Development Approach of Exception Handling Logic for BPEL Process Based on Coloured Petri Net

作　　者：管华[1,2] 应时[1] 贾向阳[1] 蒋曹清[1] 王一兵[3] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072 [2]武汉工业学院网络中心,武汉430023 [3]第二炮兵指挥学院三系,武汉430012

出　　处：《计算机科学》2013年第1期150-156,共7页Computer Science

基　　金：国家自然科学基金项目(61070012;61070022);国家自然科学基金重点项目(91118003)资助

摘　　要：针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。According to the problem of exception handling for WS-BPEL in service oriented software,this paper presented an approach for BPEL＇s exception handling based on color petri net（CPN）.Through formalizing description of exception handling mechanism of BPEL,the approach builds exception handling CPN model,instructs the development of BPEL＇s exception handling logic,and based on this modeling idea,gives a converting tool for the BPEL＇s exception handling CPN model,which converts the BPEL＇s exception handling CPN model into BPEL codes with exception handling function,and through danamically adding exception handling elements of BPEL,the tool can produces new BPEl process with exception handling.Finally we represented a case study to illustrate the using process and prove the affectivity of our method.

关 键 词：着色PETRI网 BPEL(Business Process EXECUTION Language) 异常处理 

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