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

2.如权利要求1所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的依赖关系包括有联合关系、选择关系、时序关系、控制关系和支持关系中的一种或多种组合。

3.如权利要求1所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的遗传算法的步骤具体如下：

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

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

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

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

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

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

7)计算6)中产生的个体的适应度函数fi，遗传代数加1，并判断是否到达最大遗传代数，若是，步骤6)中产生的所有个体即为可行解，若否，则进入步骤4)。

4.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：定义约束条件集DEP的任一约束条件为depi，所述的适应度函数即为该资源服务序列关于所述约束条件集DEP的满足率，为 n＝|DEP|为约束条件集的个数，depi＝true表示满足该约束条件。

5.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的步骤4)，采用轮盘赌策略作为选择概率，即种群中的第i个个体选择概率为：

6.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的步骤5)中，选取种群N*交叉概率的个体，对其中任意两个体采用单点交叉方法，随机选取交叉位置，进行交叉。

7.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的步骤6)中，选取种群N*变异概率的个体，对任一个体随选取变异位置进行变异。

8.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述的个体为染色体，其长度L代表资源服务时序模型中的最长路径，该染色体采用资源服务序列中的各个资源服务下标作为基因。

9.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述种群规模N为40-100。

10.如权利要求3所述的一种云制造服务的资源服务序列验证方法，其特征在于：所述最大遗传代数为100-200。