[发明专利]用于面向服务架构(SOA)应用采用的验证框架

权利要求书

1.一种用于验证面向面向服务架构(SOA)的应用的方法，该方法包括：

将用于面向SOA的应用的业务过程模型变换成有向连通无环图；

进一步将用于所述业务过程模型的多个服务分组变换成对应有向连通无环图；

计算在所述业务过程模型的图中从根节点到叶节点的所有路径；并且

通过保证在所述业务过程模型的图中无回路或者循环来验证所述业务过程模型并且通过保证在所述服务分组的图之间无共享顶点来进一步验证所述业务过程模型。

2.根据权利要求1所述的方法，其中验证所述业务过程模型还包括：

确定所述路径中的单个路径包含针对所述服务分组中的单个服务分组的所有顶点；并且

如果未连通单个路径中包含的所有所述顶点则认为所述服务分组中的所述单个服务分组无效。

3.根据权利要求1所述的方法，其中验证所述业务过程模型还包括验证仅包含对应图中的单个顶点的各所述服务分组。

4.根据权利要求1所述的方法，其中验证所述业务过程模型还包括：

计算在各路径与服务分组之间的交集；

确定各交集是否包括多个顶点；并且

当任何交集包括未连通的多个顶点时认为所述服务分组无效。

5.一种面向面向服务架构(SOA)的应用验证数据处理系统，包括：

模型变换模块，配置成将用于面向SOA的应用的业务过程模型变换成有向连通无环图；

服务组变换模块，配置成进一步将用于所述业务过程模型的多个服务分组变换成对应有向连通无环图；

路径发现模块，配置成计算在所述业务过程模型的图中从根节点到叶节点的所有路径；以及

包括程序代码的模型验证逻辑，所述程序代码能够通过保证在所述业务过程模型的图中无回路或者循环来验证所述业务过程模型并且通过保证在所述服务分组的图之间无共享顶点来进一步验证所述业务过程模型。

6.根据权利要求5所述的系统，其中所述程序代码还能够确定所述路径中的单个路径包含针对所述服务分组中的单个服务分组的所有顶点并且如果未连通单个路径中包含的所有所述顶点则认为所述服务分组中的所述单个服务分组无效。

7.根据权利要求5所述的系统，其中所述程序代码还能够验证仅包含对应图中的单个顶点的各所述服务分组。

8.根据权利要求5所述的系统，其中所述程序代码还能够计算在各路径与服务分组之间的交集、确定各交集是否包括多个顶点并且当任何交集包括未连通的多个顶点时认为所述服务分组无效。

9.一种包括计算机可用介质的计算机程序产品，所述计算机可用介质包含用于验证面向面向服务架构(SOA)的应用的计算机可用程序代码，所述计算机程序产品包括：

用于将用于面向SOA的应用的业务过程模型变换成有向连通无环图的计算机可用程序代码；

用于进一步将用于所述业务过程模型的多个服务分组变换成对应有向连通无环图的计算机可用程序代码；

用于计算在所述业务过程模型的图中从根节点到叶节点的所有路径的计算机可用程序代码；以及

用于通过保证在所述业务过程模型的图中无回路或者循环来验证所述业务过程模型并且通过保证在所述服务分组的图之间无共享顶点来进一步验证所述业务过程模型的计算机可用程序代码。

10.根据权利要求9所述的计算机程序产品，其中用于验证所述业务过程模型的所述计算机可用程序代码进一步包括：

用于确定所述路径中的单个路径包含针对所述服务分组中的单个服务分组的所有顶点的计算机可用程序代码；以及

用于如果未连通单个路径中包含的所有所述顶点则认为所述服务分组中的所述单个服务分组无效的计算机可用程序代码。

11.根据权利要求9所述的计算机程序产品，其中用于验证所述业务过程模型的所述计算机可用程序代码还包括用于验证仅包含对应图中的单个顶点的各所述服务分组的计算机可用程序代码。

12.根据权利要求9所述的计算机程序产品，其中用于验证所述业务过程模型的所述计算机可用程序代码还包括：

用于计算在各路径与服务分组之间的交集的计算机可用程序代码；

用于确定各交集是否包括多个顶点的计算机可用程序代码；以及

用于当任何交集包括未连通的多个顶点时认为所述服务分组无效的计算机可用程序代码。