一種云制造環境下的資源服務序列驗證方法技術

一種云制造環境下的資源服務序列驗證方法，根據工作流模型產生資源服務時序關系模型RSM＝(RS,SEQ)，其中RS＝R1∪…∪Ri∪…∪Rn為資源服務集，Ri為資源服務，SEQ表示資源服務之間順序關系的集合；設定不同資源服務之間存在的若干種依賴關系，資源服務集的所有依賴關系構成約束條件集DEP；其次，采用遺傳算法生成所有滿足該資源服務時序關系模型及約束條件集DEP的可行解。本發明專利技術的方法可在工作流運行時，直接根據可行解驗證資源直接的約束性，進而可提高資源服務的使用率、資源選取以及推薦的準確率。

【技術實現步驟摘要】

本專利技術涉及云制造領域，特別是一種云制造服務的資源資源服務序列驗證方法。
技術介紹
目前，云制造是一種基于網絡的制造新模式，多個企業用戶在云制造服務平臺上 相互協作，共同完成同一制造項目，并按需組織網上制造資源，為用戶提供各類按需制造服 務，在技術層面則以服務的形式通過被工作流的業務活動調用而組織在一起。 但是，由于在一個工作流中，制造資源之間具有各種關系，如聯合關系、選擇關系、 時序關系、控制關系和支持關系，企業用戶在定制資源時很難掌握一個工作流中所有資源 之間關系的正確性，因此需要一個有效地驗證方法。目前，形式化分析、模型是資源正確性 驗證的主要方法，所針對的資源主要是計算資源、軟件資源。此外，也有基于Petri網的方 法，但主要針對的是工作流結構驗證。針對制造領域中的資源服務序列正確性驗證的方法 很少，而且，云制造環境下，資源服務的正確性驗證不能由企業用戶各自完成，因為企業只 負責各自的制造流程，不能從全局保證資源服務不沖突，因此，對多企業協同資源的正確性 驗證更加困難。
技術實現思路
本專利技術的主要目的在于克服現有技術中的上述缺陷，提出一種可提高資源服務的 使用率、資源選取以及推薦的準確率的云制造服務的資源服務序列驗證方法。 本專利技術采用如下技術方案： -種云制造服務的資源服務序列驗證方法，其特征在于：根據工作流模型產生資 源服務時序關系模型RSM = (RS，SEQ)，其中RS = R1 U…U R i U…U R n為資源服務集，R i 為資源服務，SEQ表示資源服務之間順序關系的集合；設定不同資源服務之間存在的若干 種依賴關系，資源服務集的所有依賴關系構成約束條件集DEP ;其次，采用遺傳算法生成所 有滿足該資源服務時序關系模型及約束條件集DEP的可行解。 優選的，所述的依賴關系包括有聯合關系、選擇關系、時序關系、控制關系和支持 關系中的一種或多種組合。 優選的，所述的遺傳算法的步驟具體如下： 1)初始化種群，設定種群規模N、交叉概率、變異概率、最大遺傳代數和適應度函 數閾值； 2)隨機產生一個資源服務序列作為個體，計算其適應度函數f1; 3)判斷該個體是否同時滿足資源服務時序關系模型及是否大于等于適應度函數 閾值，若否，則進入步驟2);若均滿足，將該資源服務序列作為種群的一個合格個體，并判 斷是否到達種群規模，若到達，則進入步驟4)，若未到達，進入步驟2); 4)根據種群中個體的適應度函數對種群進行選擇操作，并滿足所述資源服務時 序關系模型及約束條件集DEP ; 5)根據交叉概率對4)中選出的個體進行交叉操作，并滿足所述資源服務時序關 系模型及約束條件集DEP ; 6)根據變異概率對5)中的個體進行變異操作，并滿足所述資源服務時序關系模 型及約束條件集DEP ; 7)計算6)中產生的個體的適應度函數A，遺傳代數加1，并判斷是否到達最大遺 傳代數，若是，步驟6)中產生的所有個體即為可行解，若否，則進入步驟4)。 優選的，定義約束條件集DEP的任一約束條件為Cbp1，所述的適應度函數即為該資 源服務序列關于所述約束條件集DEP的滿足率，為為約 束條件集的個數，(Iepi= true表示滿足該約束條件。 優選的，所述的步驟4)，采用輪盤賭策略作為選擇概率，即種群中的第i個個體選 擇概率為： 優選的，所述的步驟5)中，選取種群N*交叉概率的個體，對其中任意兩個體采用 單點交叉方法，隨機選取交叉位置，進行交叉。 優選的，所述的步驟6)中，選取種群N*變異概率的個體，對任一個體隨選取變異 位置進行變異。 優選的，所述的個體為染色體，其長度L代表資源服務時序模型中的最長路徑，該 染色體采用資源服務序列中的各個資源服務下標作為基因。 優選的，所述種群規模N為40-100。 優選的，所述最大遺傳代數為100-200。 由上述對本專利技術的描述可知，與現有技術相比，本專利技術具有如下有益效果： 1、本專利技術提出的云制造服務的資源服務序列驗證方法，包括資源服務序列化以及 基于遺傳算法的正確性驗證方法和技術實現步驟，解決了云制造服務平臺上資源選取和資 源推薦存在的關鍵的問題； 2、本專利技術的方法最終獲得滿足所有約束條件的資源服務序列，在運行階段可直接 從序列庫中做簡單選取、比較或者推薦，相當于把工作流系統運行階段的部分開銷提前到 設計階段，提高了系統運行效率； 3、本專利技術中涉及到工作流模型，對其建模元素沒有特殊要求，均被當前已知的工 作流建模方法支持，并且不依賴于具體實現，而且采用了經典的遺傳算法，具有很好的通用 性，能獲得盡可能多地滿足約束關系的資源服務序列?！靖綀D說明】 圖1是本專利技術方法中染色體表示的原理示意圖； 圖2是本專利技術方法中的遺傳算法的流程圖； 圖3是本專利技術方法交叉操作示意圖； 圖4是本專利技術方法中工作流模型的舉例； 圖5是本專利技術方法中資源服務時序關系模型舉例?！揪唧w實施方式】 以下通過【具體實施方式】對本專利技術作進一步的描述。 參照圖1、圖2, ，對于工作流模型，其可 形式化表示為：，其中Activity表示工作流模型的業務活動 集，表示業務活動間的時序關系集合，對于任意業務活動Activity, a Activity, 如果~在a i后執行，則表示成&<%，RS表示資源服務集，RS = R1 U…U R i U…U R "表 示為業務活動％，…，an配置的相應的資源服務集，其中，R i為任務活動a 1配置的資源服務 集。 首先，根據工作流模型產生資源服務時序關系模型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>。 其次，設定不同資源服務之間存在的五種依賴關系，資源服務集的所有依賴關系 構成約束條件集DEP。具體的，對于任意的資源服務^和 r ]之間的五種依賴關系，如下： a聯合關系：資源服務rdP r 必須同時使用，表示成And(r ;，rj ; b選擇關系：資源服務巧和r ,可任選其一，表示成Xor (r D r]); c時序關系：資源服務rjP r」被使用的順序關系，表不成Seq(r i, rj); d控制關系：資源服務Γι使用時，資源服務^必須使用，表示成CtrUr1, r]); e支持關系：資源服務Γι使用時，需要資源服務r ,的支持，表示成Sup (r D r]); 而后，采用遺傳算法生成所有滿足該資源服務時序關系模型及約束條件集DEP的 可行解。將染色體作為種群的個體，該染色體采用資源服務序列RSSeq =〈Ri，…本文檔來自技高網...

【技術保護點】
一種云制造服務的資源服務序列驗證方法，其特征在于:根據工作流模型產生資源服務時序關系模型RSM＝(RS,SEQ)，其中RS＝R1∪…∪Ri∪…∪Rn為資源服務集，Ri為資源服務，SEQ表示資源服務之間順序關系的集合；設定不同資源服務之間存在的若干種依賴關系，資源服務集的所有依賴關系構成約束條件集DEP；其次，采用遺傳算法生成所有滿足該資源服務時序關系模型及約束條件集DEP的可行解。

【技術特征摘要】

【專利技術屬性】
技術研發人員：李海波，梁夢夏，
申請(專利權)人：華僑大學，
類型：發明
國別省市：福建;35