工作流建模與基于真值表驗證的研究.pdf

1、隨著業(yè)務需求不斷變化，對業(yè)務流程的設計和改造成為企業(yè)重要的競爭力。作為“企業(yè)的操作系統(tǒng)”，工作流技術已經成為未來企業(yè)自動化和業(yè)務重組所必須的技術，具有廣闊的應用前景。工作流管理系統(tǒng)是一個包括建模工具、引擎、工作列表、監(jiān)控工具等的系統(tǒng)軟件，其中建模工具是整個工作流管理系統(tǒng)的起點，工作流模型的正確性驗證又是工作流建模工具的一個核心功能。只有解決好工作流建模和驗證的問題才能更好的應用工作流技術。 本文首先分析了幾種主要的工作流建模方法

2、以及他們的優(yōu)勢和不足，接著分析了UML在工作流建模中的優(yōu)勢，并從不同角度介紹了工作流的UML模型。然后，結合上述理論，本文設計并實現了一個工作流建模工具XWfdt，XWfdt的特點是能夠以UML活動圖的方式顯示工作流模型，以XPDL的格式保存工作流模型，從而既方便用戶進行業(yè)務建模，也便于工作流模型在異構的工作流管理平臺上實施。此外，XWfdt還可以對工作流模型進行語法驗證和結構驗證以及部分語義驗證。 對工作流模型按某種正確性原則

3、進行檢查稱為工作流驗證。本文描述了4種典型的結構正確性方面的異常，分別是死鎖、多實例、缺少后繼或前驅節(jié)點以及死循環(huán)，采用了工作流的邏輯表示方法，提出了工作流真值表的概念，并給出4種結構異常和工作流真值表的對應關系。之后提出了基于真值表的驗證算法，該算法將工作流模型表示為邏輯表達式的集合，按照流程執(zhí)行的順序給活動賦真值，從而構造工作流真值表，并且依據一定的規(guī)則從工作流真值表中發(fā)現結構沖突以及判定流程的正確性。算法可以在多項式時間內完成，所