一种云制造服务的资源服务序列验证方法
【技术领域】
[0001] 本发明涉及云制造领域，特别是一种云制造服务的资源资源服务序列验证方法。
【背景技术】
[0002] 目前，云制造是一种基于网络的制造新模式，多个企业用户在云制造服务平台上 相互协作，共同完成同一制造项目，并按需组织网上制造资源，为用户提供各类按需制造服 务，在技术层面则以服务的形式通过被工作流的业务活动调用而组织在一起。
[0003] 但是，由于在一个工作流中，制造资源之间具有各种关系，如联合关系、选择关系、 时序关系、控制关系和支持关系，企业用户在定制资源时很难掌握一个工作流中所有资源 之间关系的正确性，因此需要一个有效地验证方法。目前，形式化分析、模型是资源正确性 验证的主要方法，所针对的资源主要是计算资源、软件资源。此外，也有基于Petri网的方 法，但主要针对的是工作流结构验证。针对制造领域中的资源服务序列正确性验证的方法 很少，而且，云制造环境下，资源服务的正确性验证不能由企业用户各自完成，因为企业只 负责各自的制造流程，不能从全局保证资源服务不冲突，因此，对多企业协同资源的正确性 验证更加困难。
【发明内容】
[0004] 本发明的主要目的在于克服现有技术中的上述缺陷，提出一种可提高资源服务的 使用率、资源选取以及推荐的准确率的云制造服务的资源服务序列验证方法。
[0005] 本发明采用如下技术方案：
[0006] -种云制造服务的资源服务序列验证方法，其特征在于：根据工作流模型产生资 源服务时序关系模型RSM = (RS，SEQ)，其中RS = R1 U…U R i U…U R n为资源服务集，R i 为资源服务，SEQ表示资源服务之间顺序关系的集合；设定不同资源服务之间存在的若干 种依赖关系，资源服务集的所有依赖关系构成约束条件集DEP ;其次，采用遗传算法生成所 有满足该资源服务时序关系模型及约束条件集DEP的可行解。
[0007] 优选的，所述的依赖关系包括有联合关系、选择关系、时序关系、控制关系和支持 关系中的一种或多种组合。
[0008] 优选的，所述的遗传算法的步骤具体如下：
[0009] 1)初始化种群，设定种群规模N、交叉概率、变异概率、最大遗传代数和适应度函 数阈值；
[0010] 2)随机产生一个资源服务序列作为个体，计算其适应度函数f1;
[0011] 3)判断该个体是否同时满足资源服务时序关系模型及是否大于等于适应度函数 阈值，若否，则进入步骤2);若均满足，将该资源服务序列作为种群的一个合格个体，并判 断是否到达种群规模，若到达，则进入步骤4)，若未到达，进入步骤2);
[0012] 4)根据种群中个体的适应度函数对种群进行选择操作，并满足所述资源服务时 序关系模型及约束条件集DEP ;
[0013] 5)根据交叉概率对4)中选出的个体进行交叉操作，并满足所述资源服务时序关 系模型及约束条件集DEP ;
[0014] 6)根据变异概率对5)中的个体进行变异操作，并满足所述资源服务时序关系模 型及约束条件集DEP ;
[0015] 7)计算6)中产生的个体的适应度函数A，遗传代数加1，并判断是否到达最大遗 传代数，若是，步骤6)中产生的所有个体即为可行解，若否，则进入步骤4)。
[0016] 优选的，定义约束条件集DEP的任一约束条件为Cbp1，所述的适应度函数即为该资 源服务序列关于所述约束条件集DEP的满足率，为
为约 束条件集的个数，(Iepi= true表示满足该约束条件。
[0017] 优选的，所述的步骤4)，采用轮盘赌策略作为选择概率，即种群中的第i个个体选 择概率为：
[0018] 优选的，所述的步骤5)中，选取种群N*交叉概率的个体，对其中任意两个体采用 单点交叉方法，随机选取交叉位置，进行交叉。
[0019] 优选的，所述的步骤6)中，选取种群N*变异概率的个体，对任一个体随选取变异 位置进行变异。
[0020] 优选的，所述的个体为染色体，其长度L代表资源服务时序模型中的最长路径，该 染色体采用资源服务序列中的各个资源服务下标作为基因。
[0021] 优选的，所述种群规模N为40-100。
[0022] 优选的，所述最大遗传代数为100-200。
[0023] 由上述对本发明的描述可知，与现有技术相比，本发明具有如下有益效果：
[0024] 1、本发明提出的云制造服务的资源服务序列验证方法，包括资源服务序列化以及 基于遗传算法的正确性验证方法和技术实现步骤，解决了云制造服务平台上资源选取和资 源推荐存在的关键的问题；
[0025] 2、本发明的方法最终获得满足所有约束条件的资源服务序列，在运行阶段可直接 从序列库中做简单选取、比较或者推荐，相当于把工作流系统运行阶段的部分开销提前到 设计阶段，提高了系统运行效率；
[0026] 3、本发明中涉及到工作流模型，对其建模元素没有特殊要求，均被当前已知的工 作流建模方法支持，并且不依赖于具体实现，而且采用了经典的遗传算法，具有很好的通用 性，能获得尽可能多地满足约束关系的资源服务序列。
【附图说明】
[0027] 图1是本发明方法中染色体表示的原理示意图；
[0028] 图2是本发明方法中的遗传算法的流程图；
[0029] 图3是本发明方法交叉操作示意图；
[0030] 图4是本发明方法中工作流模型的举例；
[0031] 图5是本发明方法中资源服务时序关系模型举例。
【具体实施方式】
[0032] 以下通过【具体实施方式】对本发明作进一步的描述。
[0033] 参照图1、图2, 一种云制造服务的资源服务序列验证方法，对于工作流模型，其可 形式化表示为：
，其中Activity表示工作流模型的业务活动 集，表示业务活动间的时序关系集合，对于任意业务活动Activity, a Activity, 如果~在a i后执行，则表示成&<%，RS表示资源服务集，RS = R1 U…U R i U…U R "表 示为业务活动％，…，an配置的相应的资源服务集，其中，R i为任务活动a 1配置的资源服务 集。
[0034] 首先，根据工作流模型产生资源服务时序关系模型RSM = (RS，SEQ)，其中RS = R1 U…U R i U…U R n为资源服务集，R i为任一资源服务集，SEQ表示资源服务之间顺序关 系的集合，表示成SeqCri, !TjhSeqCri, rj e SEQ。工作流模型中若存在选择分支，则分解为 多个只存在并发结构的工作流模型，并转化为多个资源时序关系模型，再应用本发明所提 方法。比如审批流程，订单金额如果大于5千，处长审批后经理审批，虽然工作流模型如此 设计，但实际运行时如果订单从未超过5千，那么经理也就从未审批过，使得选择分支会造 成有些资源服务时序没有意义，本发明为确保最终得到的所有资源服务序列都有意义，将 其分解为多个只存在并发结构的工作流模型。一个工作流执行路径对应的资源服务序列可 表不成〈&，…，R n>。
[0035] 其次，设定不同资源服务之间存在的五种依赖关系，资源服务集的所有依赖关系 构成约束条件集DEP。具体的，对于任意的资源服务^和 r ]之间的五种依赖关系，如下：
[0036] a联合关系：资源服务rdP r 必须同时使用，表示成And(r ;，rj ;
[0037] b选择关系：资源服务巧和r ,可任选其一，表示成Xor (r D r]);
[0038] c时序关系：资源服务rjP r」被使用的顺序关系，表不成Seq(r i, rj);
[0039] d控制关系：资源服务Γι使用时，资源服务^必须使用，表示成CtrUr1, r]);
[0040] e支持关系：资源服务Γι使用时，需要资源服务r ,的支持，表示成Sup (r D r]);
[0041] 而后，采用遗传算法生成所有满足该资源服务时序关系模型及约束条件集DEP的 可行解。将染色体作为种群的个体，该染色体采用资源服务序列RSSeq =〈Ri，…，Rn>中的 各个资源服务下标作为基因，其长度L代表资源服务时序模型中的最长路径，原理参照图 1，％为业务活动，R 任务活动配置的资源服务集，实线箭头为业务活动之间的时序关系 及资源服务之间的时序关系，虚线箭头为业务活动对资源服务的引用。最长路径是指工作 流模型中从起始活动到终止活动的所有路径中，活动数最多的那条路径；图1中最长路径 是 5,包括：al，a2, a3, a4, a5,则染色体为 12345 ;或者 al，a2, a4, a3, a5,染色体为 12435 ; 因为a3和a4之间是并发结构，执行时顺序不确定，因此会有两种可能。并发结构是工作流 执行时的一种控制结构，工作流的控制结构分为以下几种：顺序、循环、并发、选择。这些控 制结构是工作流管理联盟WfMC制定的标准。如图l，a2执行完后，a3和a4同时执行，即所 谓的并发。
[0042] 具体的遗传算法是指：预先参照图2,算法的步骤具体如下：
[0043] 1)初始化种群为空集，设定种群规模N(其范围为40-100)、交叉概率、变异概率、 最大遗传代数MGEN(其范围为100-200,代数越高，可以得到最优解的可能就大）和适应度 函数阈值，遗传代数gen = 0 ;
[0044] 2)随机产生一个资源服务序列RSSeq