[發明專利]基于微分Petri網的業務流程模型變化域適配方法

在審

• 申請號: 201410180850.4
• 申請日: 2014-04-30
• 公開（公告）號: CN103927603A
• 公開（公告）日: 2014-07-16
• 發明（設計）人: 方賢文;陶小燕;方新建;劉祥偉;殷志祥
• 申請（專利權）人: 安徽理工大學
• 主分類號: G06Q10/04
• 分類號: G06Q10/04;G06Q10/06
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.業務流程模型中針對變化域的模塊適配方法，包括滿足行為保持一致的替換模塊的選取最佳適配模塊的確立方法，其特征在于：分別從控制流和數據流角度通過檢測目標模型的活性對替換模塊進行有效性量化，并在此基礎上進行基于極小支集的最佳適配模塊尋找，用以有效地指導變化區域的替換修正。

2.根據權利要求1所述的替換模塊有效性量化方法，其特征在于：所述的量化方法是在利用微分Petri網以及流程網控制流和數據流特征將目標模型劃分為微分控制Petri網和微分數據Petri網的條件下,由微分Petri網的演化表達式，對模型的控制流網和數據流網分別進行活性演算，完成替換模塊的有效性檢測，檢測結果可信性非常高。

3.根據權利要求1所述的基于極小支集的最佳適配模塊尋找方法，其特征在于：所述的方法利用微分Petri網的結構特征將網模型進行區域劃分，對替換模塊的控制流網和數據流網，通過計算網模型及其離散部分與微分部分的相關不變量，并由極小支集確立極小支持數，將結構穩定性差的適配模塊排除在外，對適配模塊進行穩定性簡約。