[发明专利]基于网论的网络服务组合的分析方法

摘要

本发明提出了一种基于网论的网络服务组合的分析方法，该分析方法从Web服务组合的Petri网建模入手，对建模后的Web服务组合进行有界性、可达性及活性分析，构建基于Petri网技术的Web服务组合质量的分析方法，该方法中运用Petri网分析技术，从可达标识图和覆盖图两个分析方法入手，分析Web服务组合的有界性、可达性及活性，从而确定Web服务组合是否正确，能为用户更好地服务。

主权项

一种基于网论的网络服务组合的分析方法，其特征在于该分析方法从Web服务组合的Petri网建模入手，对建模后的Web服务组合进行有界性、可达性及活性分析，构建基于Petri网技术的Web服务组合质量的分析方法，该方法中运用Petri网分析技术，从可达标识图和覆盖图两个分析方法入手，分析Web服务组合的有界性、可达性及活性，从而确定Web服务组合是否正确，能为用户更好地服务，该方法具体包含以下步骤：步骤1)：选取一个Web服务组合；步骤2)：将原子服务标记为Petri网的库所place用圆圈表示；步骤3)：将原子服务之间的交互标记为Petri网的变迁transition，用矩形表示；步骤4)：将服务组合流程需要输入的资料标记为托肯token，用小黑点在库所中标记；步骤5)：将库所和变迁用有向弧连接；步骤6)：完成Petri网建模；步骤7)：判断建模后的Petri网是否符合化简规则，如果不符合转步骤9)；步骤8)：如果建模后的Petri网符合化简规则，则采用化简方法对其化简；步骤9)：将转化后的模型用一个六元组N＝(P，T；F，K，W，M₀)表示，P，T，F分别表示库所，变迁和有向弧，K,W,M₀依次为N上的容量函数，权函数和初始标识；步骤10)：构建Petri网的可达标识图，根据有界性及可达性的定义，如果可达标识图是有界的，则Petri网是有界的；如果任何状态M_t都能从M₀经过一系列的变迁触发到达，则Petri网满足可达性；M_t是第t个状态，M₀是初始状态；步骤11):构建Petri网的覆盖图，根据覆盖图来判断每个变迁是否是活的，从而判断Petri网的活性；步骤12)：合并步骤10)和步骤11)的结果，得出Web服务组合的分析结果。