| 一种基于CPN的BPEL异常处理逻辑的开发方法 |
| |
| 引用本文： | 管 华,应 时,贾向阳,蒋曹清,王一兵.一种基于CPN的BPEL异常处理逻辑的开发方法[J].计算机科学,2013,40(1):150-156. |
| |
| 作者姓名： | 管 华 应 时 贾向阳 蒋曹清 王一兵 |
| |
| 作者单位： | (武汉大学软件工程国家重点实验室 武汉430072)；(武汉工业学院网络中心 武汉430023)；(第二炮兵指挥学院三系 武汉430012) |
| |
| 基金项目： | 国家自然科学基金项目(61070012,61070022);国家自然科学基金重点项目(91118003)资助 |
| |
| 摘 要： | 针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。
|
| 关 键 词： | 着色Petri网 BPEL(Business Process Execution Language) 异常处理 |
Development Approach of Exception Handling Logic for BPEL Process Based on Coloured Petri Net |
| |
| GUAN Hua,YING Shi,JIA Xiang-yang,JIANG Cao-qing,WANG Yi-bing.Development Approach of Exception Handling Logic for BPEL Process Based on Coloured Petri Net[J].Computer Science,2013,40(1):150-156. |
| |
| Authors: | GUAN Hua YING Shi JIA Xiang-yang JIANG Cao-qing WANG Yi-bing |
| |
| Affiliation: | 3(The State Key Lab of Software Engineering,Wuhan University,Wuhan 430072,China)1(Network Center,Wuhan Polytechnic University,Wuhan 430023,China)2(No.3 Dept.,The Second Artillery Command Coll,Wuhan 430012,China)3 |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
