[发明专利]一种基于BPEL的控制信息流图的建模方法

权利要求书

1.一种基于BPEL的控制信息流图的建模方法，其特征在于包括如下步骤：

步骤1)对BPEL文档进行解析，生成DOM树；

步骤2)遍历DOM树结点，当遇到可以映射为BCMFG的DOM树节点时，创建BCMFG元素，并给BCMFG元素的域赋值；

步骤3)利用BCMFG元素间的控制关系构建BCMFG模型；

步骤4)根据BCMFG模型计算所有BCMFG路径。

2.根据权利要求1所述的一种基于BPEL的控制信息流图的建模方法，其特征在于步骤2)所述的给BCMFG元素的域赋值方法如下：对DOM树中的每个节点进行遍历，

a)若节点代表对伙伴链接partnerLink，则创建BCMFG元素m，m的Category域的值设定为服务节点集SN，使用节点中相关属性为m的Name域赋值；

b)若节点代表基本活动invoke或receive或reply，则首先创建BCMFG元素m，m的Category域的值设定为交互节点集IN，使用节点中相关属性为m的Name域、partnerLink域、PortType域和Operation域赋值，并通过partnerLink域值搜索到与节点对应得服务节点s；

c)若节点代表基本活动assign，则创建BCMFG元素m，m的Category域值设定为普通节点集NN，使用节点中相关属性为m的Name域赋值，并通过e中的partnerLink属性值搜索到对应得服务节点s，利用e中的子元素endpoint为s的Endpoint域赋值；

d)若节点代表结构化活动If，则创建BCMFG元素m₁，m₁的Category域值设定为单选分支节点EDN，使用节点中相关属性为m₁的Name域和Condition域赋值，并处理If内部的基本活动或结构化活动；当节点中含有子元素else if，则继续处理子元素else if的内部活动，在完成对所有子元素else if的处理后，创建BCMFG元素m₂，m₂的Category域值设定为单选归并节点EMN，使用节点中相关属性为m₂的Name域赋值，最后处理else的内部活动，同时更新在之前处理if或else if所生成的所有BCMFG元素的Target域值；

e)若节点代表结构化活动While或foreach，则分别创建BCMFG元素m₁和m₂，m₁的Category域值设定为单选分支节点EDN，m₂的Category域值设定为单选归并节点EMN，使用节点中相关属性为m₁的Name域和Condition域及m₂的Name域赋值；然后创建m₂到m₁的控制边ce，同样利用e中相关属性为m₁、m₂及ce的Target域和Source域赋值；

f)若节点代表结构化活动Repeat-Until，则创建BCMFG元素m₁，m₁的Category域值设定为单选分支节点EDN，使用节点中相关属性为m₁的Name域和Condition域赋值，然后处理Repeat-Until内的所有子活动m_i，i为大于1的自然数，记录下其中首个活动m₂，并创建m₁到m₂的控制边ce，再次利用e中相关属性更新m₁、m₂及ce的Target域和Source域；

a)若节点代表结构化活动Pick，则创建BCMFG元素m₁，m₁的Category域值设定为单选分支节点EDN，使用节点中相关属性为m₁的Name域赋值，对于<onMessage>中的每个活动，创建BCMFG元素m_i，i为大于1的自然数，m_i的Category域值设定为交互节点IN，同样使用节点中相关属性为m_i的PartnerLink域、PortType域和Operation域赋值，并通过partnerLink域值搜索到对应得服务节点s_i，创建从s_i到m_i的控制边ce_i，并根据控制流关系更新m_i、s_i和ce_i的Target域值及Source域值，对于<onAlarm>中的每个活动，创建BCMFG元素m_j(j＞max(i)，max()表示取最大值，即j从i+1开始依次取值，m_j的Category域值设定为普通节点NN，同样使用e中相关属性为m_j的Name域赋值，最后创建BCMFG元素m_k，k＞max(j)，即k从j+1开始依次取值，m_k的Category的域值设定为单选归并节点EMN，j和k都为自然数；

g)若节点代表结构化活动Flow，则创建BCMFG元素m₁和m₂，m₁的Category域值设定为并发分支节点CBN，m₂的Category域值设定为并发归并节点CMN，使用节点中相关属性为m₁的Name域和m₂的Name域赋值。