基于有向图的WS-BPEL控制环路检测方法

摘要

一种基于有向图的WS-BPEL控制环路检测方法，其步骤为：首先将WS-BPEL转换为扩展有向图BPEL-Graph，然后对BPEL-Graph中的非控制环路循环，即while和repeatUntil活动进行解环，迭代去掉BPEL-Graph中入度或者出度为零的顶点，因为这些顶点肯定不在任何有向回路上面，接下来采用深度优先算法查找BPEL-Graph中所有有向回路，最后将BPEL-Graph中的有向回路定位到原有WS-BPEL中相应位置。本发明将WS-BPEL的控制环路检测问题转换为有向图的有向回路检测问题，能够快速检测出复杂WS-BPEL中的控制环路，并且可以将控制环路定位到原WS-BPEL中的相应位置。

主权项

一种基于有向图的WS‑BPEL控制环路检测方法，其特征在于步骤如下：第一步，将WS‑BPEL转换为扩展有向图BPEL‑Graph；第二步，对BPEL‑Graph中的非控制环路循环进行解环；第三步，去掉BPEL‑Graph中入度或者出度为零的顶点；第四步，重复执行第三步，直到BPEL‑Graph中所有顶点入度和出度都不为零；第五步，采用深度优先算法查找BPEL‑Graph中所有有向回路；第六步，将BPEL‑Graph中的有向回路定位到原有WS‑BPEL中相应位置。