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

说明书

技术领域

本发明是一种基于BPEL控制信息流图的建模方法，主要用于解决BPEL组合服务回归测试中的建模问题。

背景技术

以服务计算为核心的服务科学是一门融合软件信息技术和商业服务理念的综合性前沿学科，代表了软件开发领域的最新研究成果和发展方向。服务计算以面向服务的体系结构(SOA)为中心，以Web服务为主要实现形式，以服务组合为关键应用模式，服务良好的复用性、灵活性和松耦合特征使得面向服务的计算成为一种具有里程碑意义的分布式计算技术，也使组合服务的演化和维护呈现了新的规律。

Web服务的高复用性以及用户需求的不稳定性决定了组合服务必然处于频繁的变动和演化之中，因此设计一个能够适应组合服务特点的回归测试系统十分必要。目前的研究一般局限于流程的回归测试，而组合服务是内部流程、外部接口与成员服务的统一体，成员服务的替换以及接口的改变也是服务演化的重要内容。由于成员服务的实现存在差异，服务的替换很可能引起组合服务功能偏离或运行失败，所以绑定变换后的组合服务也必须进行重新测试。因此，对组合服务的流程、接口、绑定和路径条件的表示显得尤为重要，如何更完整有效地对组合服务进行建模是我们关注的问题。

发明内容

技术问题：本发明的目的是提供一种基于BPEL的控制信息流图的建模(BPELControl and Messaging Flow Graph with，BCMFG)方法，以解决BPEL组合服务的建模问题。较之其他的BPEL组合服务模型，该模型能对BPEL组合服务进行全面的回归测试变更影响分析，识别包括流程、绑定、接口、路径条件在内的各种修改。

技术方案：本发明为实现上述目的，采用如下技术方案：

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

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

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

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

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

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

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

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

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

e)若节点代表结构化活动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域值；