一种基于cpn的bpel异常处理逻辑的开发方法

针对ws-bpel在面向服务软件异常处理方面不够完善的问题，提出了一种基于着色pctri网描述的bpel异常处理逻辑开发方法。该方法利用着色petri网(cpn)形式化地描述bpel的异常处理机制，建立bpel的异常处理cpn模型，指导对bpel的异常处理逻辑开发，并依据此建模思想，提出了一个bpei的异常处理cpn模型的转换工具，用以实现将异常处理的bpel着色petri网模型转换成对应的带异常处理的bpei代码。该工具可在输入的原始的没有异常处理功能的bpel代码基础上，通过动态地添加bpel的异常处理语言成份，形成带有异常处理功能的bpel流程。最后通过引入供应商流程案例，阐述了该方法的具体使用过程。