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

计算机科学 ›› 2013, Vol. 40 ›› Issue (1): 150-156.

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

管华，应时，贾向阳，蒋曹清，王一兵

(武汉大学软件工程国家重点实验室武汉430072)；(武汉工业学院网络中心武汉430023)；(第二炮兵指挥学院三系武汉430012)

出版日期:2018-11-16 发布日期:2018-11-16

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

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 着色Petri网，BPEL(Business Process Execution Language)，异常处理

Abstract: 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 BPL,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 13PEI，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.

Key words: Color Petri net,BPEL(Business Process Execution Language)，Exception handling

管华，应时，贾向阳，蒋曹清，王一兵. 一种基于CPN的BPEL异常处理逻辑的开发方法[J]. 计算机科学, 2013, 40(1): 150-156. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed