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

摘要

针对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 BPE1 process with exception handling. Finally we represented a case study to illustrate the using process and prove the affec-tivity of our method.