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

说明书

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

技术领域

本发明涉及云制造领域，特别是一种云制造环境下的资源服务序列验证方法。

背景技术

目前，云制造是一种基于网络的制造新模式，多个企业用户在云制造服务平台上相互协作，共同完成同一制造项目，并按需组织网上制造资源，为用户提供各类按需制造服务，在技术层面则以服务的形式通过被工作流的业务活动调用而组织在一起。

但是，由于在一个工作流中，制造资源之间具有各种关系，如联合关系、选择关系、时序关系、控制关系和支持关系，企业用户在定制资源时很难掌握一个工作流中所有资源之间关系的正确性，因此需要一个有效地验证方法。目前，形式化分析、模型是资源正确性验证的主要方法，所针对的资源主要是计算资源、软件资源。此外，也有基于Petri网的方法，但主要针对的是工作流结构验证。针对制造领域中的资源服务序列正确性验证的方法很少，而且，云制造环境下，资源服务的正确性验证不能由企业用户各自完成，因为企业只负责各自的制造流程，不能从全局保证资源服务不冲突，因此，对多企业协同资源的正确性验证更加困难。

发明内容

本发明的主要目的在于克服现有技术中的上述缺陷，提出一种可提高资源服务的使用率、资源选取以及推荐的准确率的云制造环境下的资源服务序列验证方法。

本发明采用如下技术方案：

一种云制造环境下的资源服务序列验证方法，其特征在于:根据工作流模型产生资源服务时序关系模型RSM＝(RS,SEQ)，其中RS＝R1∪…∪Ri∪…∪Rn为资源服务集，Ri为资源服务，SEQ表示资源服务之间顺序关系的集合；设定不同资源服务之间存在的若干种依赖关系，资源服务集的所有依赖关系构成约束条件集DEP；其次，采用遗传算法生成所有满足该资源服务时序关系模型及约束条件集DEP的可行解。

优选的，所述的依赖关系包括有联合关系、选择关系、时序关系、控制关系和支持关系中的一种或多种组合。

优选的，所述的遗传算法的步骤具体如下：

1)初始化种群，设定种群规模N、交叉概率、变异概率、最大遗传代数和适应度函数阈值；

2)随机产生一个资源服务序列作为个体，计算其适应度函数fi；

3)判断该个体是否同时满足资源服务时序关系模型及是否大于等于适应度函数阈值，若否，则进入步骤2)；若均满足，将该资源服务序列作为种群的一个合格个体，并判断是否到达种群规模，若到达，则进入步骤4)，若未到达，进入步骤2)；

4)根据种群中个体的适应度函数对种群进行选择操作,并满足所述资源服务时序关系模型及约束条件集DEP；

5)根据交叉概率对4)中选出的个体进行交叉操作,并满足所述资源服务时序关系模型及约束条件集DEP；

6)根据变异概率对5)中的个体进行变异操作，并满足所述资源服务时序关系模型及约束条件集DEP；