[發明專利]一種基于概率服務流程的工作流選取方法

有效

• 申請號: 201610060360.X
• 申請日: 2016-01-28
• 公開（公告）號: CN105739979B
• 公開（公告）日: 2018-11-02
• 發明（設計）人: 楊曉賢;俞濤;許華虎
• 申請（專利權）人: 上海大學;上海上大海潤信息系統有限公司
• 主分類號: G06F8/30
• 分類號: G06F8/30
• 代理公司: 上海科盛知識產權代理有限公司 31225
• 代理人: 趙繼明

本發明涉及一種基于概率服務流程的工作流選取方法，包括步驟：1)抽取每個工作流中的業務節點、節點信息以及節點間的活動關系信息；2)針對每一個工作流，將該工作流中抽取到的業務節點和節點間的活動關系轉化為一個可視化圖形，并對每一個可視化圖形，在其上添加用于標識節點遷移成功概率的概率值，以及用于標識節點租用成本的費用；3)對每一個工作流進行描述性質與執行檢驗，將檢驗結果為滿足具體業務邏輯要求的工作流組成待選集合，并根據各工作流的總費用以及總成功概率，構造Skyline的篩選對象集，通過數據對象“支配”關系，挑選出最優工作流返回。與現有技術相比，本發明具有兼顧功能性和非功能形特性等優點。

技術領域

本發明涉及一種軟件工程技術，尤其是涉及一種基于概率服務流程的工作流選取方法。

背景技術

工作流模型是軟件工程領域研究的重點和難點，適用于軟件概要設計和詳細設計等過程，作為流程圖輔助工具能有效地指導軟件開發。工作流模型也是基于服務的軟件的重要展現形式，能清晰地描述軟件實體內部流程、功能和信息，是軟件重用的實現方式之一。

基于服務的工作流模型被廣泛地應用于服務軟件系統，其流程的業務節點表現形式主要依靠Web服務實現功能。一個工作流模型上的業務節點可以由原子服務組成，也可由多個工作流組合構成。有別于傳統的工作流模式，采用服務實現的工作流模型的成員可以臨時組合并在動態執行之后自行解散，適用于云計算環境下以服務計算為主導的電子商務，能滿足商品交易和企業業務功能重組等多種需求。

然而，現代企業管理非常重視時效性概念，力圖抓住商業機遇做出快速有效地反應，實現企業利益最大化。選擇合適的工作流至關重要，其涉及如下兩方面問題：

1)如何校驗服務流程的功能性性質，其涉及定性檢驗問題，即明確回答服務流程是否滿足用戶的功能需求。

2)如何評估服務流程的非功能性性質，其涉及定量檢驗問題，即通過計算給出服務流程的可靠性，費用等數值的度量。

因此，有必要對工作流進行驗證，保障用戶功能性和非功能性需求，選取合適的候選工作流返回給用戶。

針對上述工作流選取問題，首先，需要研究工作流建模問題。一方面，對業務流程模型的活動，結構或行為進行形式化建模；另一方面，在該模型的基礎上擴展能描述非功能性特征的時間和費用等特征。其次，需要研究工作流驗證問題。定量模型檢驗是一種自動化的、基于有限狀態機的性質驗證方法，它不僅能給出檢驗性質真/假的斷言，而且能給出定量計算結果值以滿足非功能性計算的要求。當目標性質不滿足時，定量模型檢驗還能根據反例解析業務節點，能進一步給出工作流不能滿足用戶需求或非功能需求的原因。

基于此，本發明基于概率服務流程的工作流選取方法是將定量模型檢驗技術應用于工作流選取，即在概率服務流程模型上，采用概率模型檢驗工具對服務流程進行定量驗證，可以有效地驗證服務流程的正確性和可靠性，從而為工作流模型的識別、去重等管理任務提供理論基礎。

發明內容

本發明的目的就是為了克服上述現有技術存在的缺陷而提供一種基于概率服務流程的工作流選取方法。

本發明的目的可以通過以下技術方案來實現：

一種基于概率服務流程的工作流選取方法，包括步驟：

1)抽取每個工作流中的業務節點、節點信息以及節點間的活動關系信息；

2)針對每一個工作流，將該工作流中抽取到的業務節點和節點間的活動關系轉化為一個可視化圖形，并對每一個可視化圖形，在其上添加用于標識節點遷移成功概率的概率值，以及用于標識節點租用成本的費用；

3)對每一個工作流進行描述性質與執行檢驗，將檢驗結果為滿足具體業務邏輯要求的工作流組成待選集合，并根據各工作流的總費用以及總成功概率，構造Skyline的篩選對象集，通過數據對象支配關系，挑選出最優工作流返回。