協同驗證

協同驗證是在工作流子模型不斷的合成，規模逐漸擴大的過程中，隨時支持著語義驗證，檢驗整個協同過程是否完成了協作者的目標。協同驗證具有二維性，一個維度考慮規模，基於語義約束驗證因地域、功能因素形成的子模型的合成；一個維度考慮內容，基於語義約束驗證協同目標的實現

基本介紹

• 中文名：協同驗證
• 外文名：co-verification
• 套用：工作流驗證
• 性質：二維性
• 相關概念：子模型、合成模型
• 特點：驗證效率高、節約成本等

協同驗證的提出背景

工作流驗證的目的是在過程定義時檢驗工作流的正確性，避免執行時出現異常，從而降低工作過程運行時的停產、檢查和修復的成本。傳統的工作流驗證過程是先進行工作流的建模，待所有工作流建模工作結束後再進行驗證。然而，在格線環境下，業務流程的建模較為複雜，工作流的建模過程可能是跨組織跨域的，最終的模型可能十分龐大。如果在全部流程建模結束之後再驗證，驗證過程將會十分困難。並且工作流的驗證又包括很多方面，結構、數據流、角色、互動接口等，工作流結構方面規定了哪個任務需要執行，以及任務執行的次序；數據流方面檢測控制流結構的數據語義是否一致；角色方面檢查數據的執行者是否是預先規定的執行者；互動接口檢驗任意子網合成時所採用的協作方式。由此可知，傳統的工作流驗證方法，沒有能力解決以上這些問題。因此提出了協同驗證的概念。

協同驗證的定義

語義驗證檢驗工作流過程中的控制流，數據流和資源三維元信息協作的正確性，以確定過程定義是否正確實現其業務目標為目的。將規模上的分布合成驗證和描述上的語義驗證相結合，稱為協同驗證。

由此可知，協同驗證包含兩個維度：規模上的分布合成驗證，是指子模型合併成大模型時要進行的驗證；描述上的語義驗證，是指各個子模型的正確性驗證是語義驗證，子模型合成後的驗證也是語義驗證，協同驗證在描述上是基於語義約束進行驗證，保證協同目標的實現。

子模型：協同工作的各個子模型之間是緊密聯繫的，子模型可能獨立實現某些功能，也可能要與其它子模型協作才能完成特定的功能。

合成模型：根據一定的合成規則，基於語義約束將實現不同功能的子模型合成，以滿足子模型協同目標的實現。

協同驗證需考慮問題

由上述協同驗證的概念可知，在許多情況下，獨立的子模型所完成的功能並不能夠滿足人們的要求，子模型需要進行合作，子模型之間存在著相互依賴關係。各個子模型的目標可能不同，然而最終由子模型構成的合成模型卻要完成所有子模型合作的共同目的。跨組織跨域的子模型為了達到它們共同的目標，不斷的協調和溝通，就會涉及到修改流程中的數據，資源等基本信息。這種情況下，即使子模型已經通過了語義驗證，也不能保證它們合成之後仍然是正確的。因此，協同驗證需要考慮兩個方面：

(1)模型在不斷的合成，變大；

(2)在規模不斷擴大的過程中隨時堅持語義驗證。

協同驗證的過程

協同驗證模型如圖1所示。圖中R表示原子級和子網級化簡規則的集合，sy表示合成模型，sb1，...，sbn分別表示n個子模型，實線表示子模型之間的語義約束，虛線表示套用R中的規則。

協同驗證的過程是一個交叉驗證的過程，交叉驗證與“先子模型，再合成“的方法在驗證目的上式一致的。最終都是為了保證協同目標的實現。具體驗證過程如下：

(1) 子模型建模；

(2) 子模型驗證；

(3) 子模型合成建模；

(4) 合成模型驗證。

其中，子模型驗證及合成模型驗證均採用原子級和子網級的化簡驗證方法來驗證子模型的正確性。

協同驗證的優點

(1) “先子模型，再合成”的方法將所有子模型驗證結束後，再將子模型合成，對合成模型驗證。子模型中部分流程修改時，對合成模型要重新驗證。而交叉驗證方法如果子模型中部分流程修改時，只需要重新驗證該子模型和該子模型構成的部分合成模型的正確性，對其它部分不必重新驗證，提高了驗證效率，降低了成本。

(2) “先子模型，再合成”的方法如果部分子模型中有流程修改時，要將所有的子模型及合成模型全部重新驗證，不能夠很好的支持動態性。交叉驗證的方法能夠較快的得到可靠穩定的模型，交叉驗證過程使得協同驗證是支持動態性的。

大規模複雜流程協同驗證的特點

隨著全球經濟的一體化和市場競爭的同益加劇，顧客要求逐漸呈現個性化和多樣化趨勢，為了面對瞬息萬變的環境和需求，越來越多的企業在共同的目標下，形成跨組織合作關係。參與合作的各企業協同合作，各企業內部的業務流程經過相互連線，組成協同式的跨組織工作流，彼此互動信息從而提高整個業務流程的工作效率。跨組織的複雜流程協同驗證具有如下的特點：

(1) 分布性和獨立性：地域位置各異，分散控制的各企業業務流程通過網路彼此連線，相互交叉，共同執行某項實例活動。在這種情況，子模型可能是同一企業內部不同部門的業務流程，不同企業之間的業務流程，或者只是實現了某些功能的子網，這些子模型的驗證是獨立的，可以由不同地域的驗證人員同時驗證。

(2) 動態性和靈活性：在對各企業工作流進行驗證的過程中，無論哪一部分業務流程的子模型出現錯誤，都可以及時修改該部分的業務流程。

(3) 協同性和共同性：子網要實現的最終設計目標是相同的，具有不同功能的子網需要相互通信，以便共享和傳遞信息，子網內部要保證具有語義一致性，如果互相互動的子模型一旦發生語義衝突，需要協調和溝通，使合成模型能夠保證原子模型之間互動信息的語義一致性。