死路径消除语义下的BPEL过程建模与分析  

Modeling and analyzing BPEL processes under dead path elimination semantics

作　　者：陈莹[1] 邢建春[1] 王洪达[1] 杨启亮[1,2] 

机构地区：[1]解放军理工大学国防工程学院,江苏南京210007 [2]南京大学计算机软件新技术国家重点实验室,江苏南京210093

出　　处：《微型机与应用》2017年第6期22-25,共4页Microcomputer & Its Applications

基　　金：江苏省自然科学基金项目(BK20151451)

摘　　要：针对BPEL过程在死路径消除语义下建模与分析不够完善的问题,提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则,进而可以利用着色Petri网(CPN)形式化地对BPEL过程进行建模,并通过CPN-Tools对BPEL过程的建模进行自动分析及验证。案例分析表明,该方法具有一定的实用性和可行性,能够帮助软件工程人员更好地测试、调试和维护BPEL程序。Aiming at the incompleteness of BPEL processes modeling and analysis under dead path elimination semantic,this paper proposes a new BPEL process modeling and analysis method. Firstly,this method puts forward a set of rules,realizing the transformation from BPEL under death path elimination semantic to ordinary if-then-else form. Then,this method establishes the formal model of BPEL process using Colored Petri Net（CPN）. Finally,the automatic analysis and verification of BPEL process model is accomplished with CPN-Tools. Case study shows that the method has practicability and feasibility,and it may help software engineers to test,debug,and maintain the BPEL process better.

关 键 词：WEB服务组合 BPEL程序依赖图 死路径语义消除 着色PETRI网 

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