[发明专利]一种云制造环境下的资源服务序列验证方法

摘要

一种云制造环境下的资源服务序列验证方法，根据工作流模型产生资源服务时序关系模型RSM＝(RS,SEQ)，其中RS＝R₁∪…∪R_i∪…∪R_n为资源服务集，R_i为资源服务，SEQ表示资源服务之间顺序关系的集合；设定不同资源服务之间存在的若干种依赖关系，资源服务集的所有依赖关系构成约束条件集DEP；其次，采用遗传算法生成所有满足该资源服务时序关系模型及约束条件集DEP的可行解。本发明的方法可在工作流运行时，直接根据可行解验证资源直接的约束性，进而可提高资源服务的使用率、资源选取以及推荐的准确率。

主权项

1.一种云制造环境下的资源服务序列验证方法，其特征在于:根据工作流模型产生资源服务时序关系模型RSM＝(RS,SEQ)，其中RS＝R1∪…∪Ri∪…∪Rn为资源服务集，Ri为资源服务，SEQ表示资源服务之间顺序关系的集合；设定不同资源服务之间存在的若干种依赖关系，资源服务集的所有依赖关系构成约束条件集DEP；其次，采用遗传算法生成所有满足该资源服务时序关系模型及约束条件集DEP的可行解；定义约束条件集DEP的任一约束条件为depi，适应度函数即为该资源服务序列关于所述约束条件集DEP的满足率，为n＝|DEP|为约束条件集的个数，depi＝true表示满足该约束条件，遗传算法的步骤具体如下：1)初始化种群，设定种群规模N、交叉概率、变异概率、最大遗传代数和适应度函数阈值；2)随机产生一个资源服务序列作为个体，计算其适应度函数fi；3)判断该个体是否同时满足资源服务时序关系模型及是否大于等于适应度函数阈值，若否，则进入步骤2)；若均满足，将该资源服务序列作为种群的一个合格个体，并判断是否到达种群规模，若到达，则进入步骤4)，若未到达，进入步骤2)；4)根据种群中个体的适应度函数对种群进行选择操作,并满足所述资源服务时序关系模型及约束条件集DEP；5)根据交叉概率对4)中选出的个体进行交叉操作,并满足所述资源服务时序关系模型及约束条件集DEP；6)根据变异概率对5)中的个体进行变异操作，并满足所述资源服务时序关系模型及约束条件集DEP；7)计算6)中产生的个体的适应度函数fi，遗传代数加1，并判断是否到达最大遗传代数，若是，步骤6)中产生的所有个体即为可行解，若否，则进入步骤4)。