用于面向服务架构(SOA)应用采用的验证框架

摘要

本发明的实施例解决本领域在业务过程模型验证方面的缺陷并且提供一种用于验证面向服务架构(SOA)的应用的方法、系统和计算机程序产品。在本发明的一个实施例中，可以提供一种用于验证面向SOA的应用的方法。该方法可以包括：将用于面向SOA的应用的业务过程模型变换成有向连通无环图；进一步将用于业务过程模型的服务分组变换成对应有向连通无环图；计算在业务过程模型的图中从根节点到叶节点的所有路径；并且通过保证在业务过程模型的图中无回路或者循环来验证业务过程模型并且通过保证在服务分组的图之间无共享顶点来进一步验证业务过程模型。

主权项

一种用于验证面向面向服务架构(SOA)的应用的方法，该方法包括：将用于面向SOA的应用的业务过程模型变换成有向连通无环图；进一步将用于所述业务过程模型的多个服务分组变换成对应有向连通无环图；计算在所述业务过程模型的图中从根节点到叶节点的所有路径；并且通过保证在所述业务过程模型的图中无回路或者循环来验证所述业务过程模型并且通过保证在所述服务分组的图之间无共享顶点来进一步验证所述业务过程模型。