專利名稱：一種通用工作流圖形化設計和驗證工具的制作方法
技術領域：
本發(fā)明涉及一種可以進行不受軟件平臺限制的通用工作流圖形化設計和 驗證工具。
背景技術：
在實際的企業(yè)信息化工作中，信息系統(tǒng)的工作流可能經(jīng)常會隨著業(yè)務流程 的變化而改變。如果通過修改每個系統(tǒng)中的程序代碼來滿足這種不斷出現(xiàn)的需 求變化，m難做到及時有效，那么提供一種通用的圖形化工作流設計工具將會 為用戶提供很大的方便。但是一般的圖形化流程普遍都缺少精確的語義定義，
例如UML (Unified Modeling Language)圖、普通的流程圖等，所以#^根據(jù) 流程本身進行正確性驗證；而傳統(tǒng)的形式化模型又非常的晦澀難懂，例如Petri 網(wǎng)、自動機等，讓普通的用戶很難有效地繪制業(yè)務流程圖。因此，在圖形化工 作流設計工具中提供相應的流程驗證功能也是一件有意義的工作。

發(fā)明內(nèi)容
本發(fā)明的目的在于提供一種通用性好、簡易實用的對工作流進行圖形化設 計和駘3正的通用工作流工具。 本發(fā)明的目的是這樣實現(xiàn)的
一種通用工作流圖形化設計和驗證工具，特征是包括通用工作流體系結 構、流程設計和驗證方法的體系結構兩部份
1、 通用工作流體系結構通過工作站的通用可視化流程設計器提供的展 現(xiàn)層為用戶提供方便的流程設計手段，即流程操作、節(jié)點操作、傳輸線操作、 放大縮小操作、業(yè)務信息操作，然后將設計出的通用工作流保存為簡單流程網(wǎng) 才莫式存儲的流程設計結果(XML (Extensible Markup Language)格式)的通 用文檔；進而為每種工作流運行平臺開發(fā)一個流程適配器，并由流程適配器將 設計好的通用工作流導入Domino平臺進行運行，得到Domino平臺的流程轉換結 果；最后實際的工作流運行實例產(chǎn)生的信息均保存在工作流運行平臺中；
2、 流程設計和驗i正方法的體系結構流程i殳計和驗i正方法的體系結構將 可視化流程分為展現(xiàn)層、XML層和數(shù)據(jù)庫層展現(xiàn)層使用AJAX (Asynchronous JavaScript and XML) +VML(Vector Markup Language)技術，在流程、節(jié)點、 連接線的操作中提供增刪流程、增刪節(jié)點、增刪傳輸線、拖拽節(jié)點、拖拽傳輸 線、復雜結構的展開與折疊、復制與粘貼、對齊和放大縮小這一系列功能，并 在環(huán)節(jié)業(yè)務信息搡作中為圖形化流程的流程環(huán)節(jié)擴展業(yè)務描述信息；XML層為展現(xiàn)層提供了流程環(huán)節(jié)建立與組合的調(diào)用接口 ，負責將環(huán)節(jié)控制信息到邊控制
信息的映射結果轉換為以XML文件格式描述的半形式化流程模型，然后對組合 的流程進行正確性校驗，并進行流程保存；數(shù)據(jù)庫層負責設計流程的持久化， 通過XMLtoNotes函數(shù)保存流程定義到Lotus數(shù)據(jù)庫中供工作流引擎調(diào)用，為XML 層提供了持久化服務。
本發(fā)明的通用工作流圖形化設計和驗證工具，讓用戶通過Web圖形界面來 方便地設計通用的工作流；進而為可視化流程的流程環(huán)節(jié)擴展描述信息，并通 過環(huán)節(jié)控制信息到邊控制信息的映射對組合的流程進行正確性驗證，實現(xiàn)了一 種流程正確性驗證功能，并且與 一般獨立的可視化流程設計工具和形式化模型 方法相比具有以下優(yōu)點
1、 本發(fā)明的通用性該工具設計出的工作流不僅僅局限于某一個軟件平 臺，只要開發(fā)了一種軟件平臺的適配器，就可以應用于這種軟件平臺；
2、 本發(fā)明的驗證方法具有易用性支持普通用戶以簡單的方法進行可視 化流程的設計；
3、 本發(fā)明的驗證方法具有形式化基礎，能夠進行流程環(huán)節(jié)組合的正確性 驗證。
本發(fā)明設計出的工作流不僅僅局限于一種軟件平臺，只要開發(fā)了適配器， 就可以應用于多個軟件平臺；并且該方法具有形式化J^出，能夠進行流程環(huán)節(jié) 組合的正確性驗證。目前這種通用工作流圖形化設計和驗證工具已經(jīng)成功應用 于Domino平臺的協(xié)同工作系統(tǒng)。


圖l是通用工作流體系結構圖2是流程設計和IH正方法的體系結構圖。
具體實施例方式
下面結合實施例對本發(fā)明作進一步詳細說明。
一種通用工作流圖形化設計和驗證工具，包括通用工作流體系結構、流程 設計和驗證方法的體系結構兩部份
1、 通用工作流體系結構通過工作站的通用可視化流程設計器提供的展 現(xiàn)層為用戶提供方便的流程設計手^爻，即流程操作、節(jié)點操作、傳輸線操作、 放大縮小等、業(yè)務信息操作，然后將設計出的通用工作流保存為簡單流程網(wǎng)模 式存儲的流程設計結果(XML格式)的通用文檔；進而為每種工作流運行平臺 開發(fā)一個流程適配器，并由流程適配器將設計好的通用工作流導入Domino平臺 進行運行，得到Domino平臺的流程轉換結果；最后實際的工作流運行實例產(chǎn)生 的信息均保存在工作流運行平臺中；
2、 流程設計和驗證方法的體系結構流程i殳計和驗證方法的體系結構將 可視化流程分為展現(xiàn)層、XML層和數(shù)據(jù)庫層展現(xiàn)層使用AJAX+VML技術，在流程、節(jié)點、連接線的操作中提供增刪流程、增刪節(jié)點、增刪傳輸線、拖拽節(jié)點、 拖拽傳輸線、復雜結構的展開與折疊、復制與粘貼、對齊和放大縮小這一系列
功能，并為圖形化流程的流程環(huán)節(jié)擴展業(yè)務描述信息；XML層為展現(xiàn)層提供了
流程環(huán)節(jié)建立與組合的調(diào)用接口 ，負責將環(huán)節(jié)控制信息到邊控制信息的映射結
果轉換為以XML文件格式描述的半形式化流程模型，然后對組合的流程進行正 確性校驗，并進行流程保存；數(shù)據(jù)庫層負責設計流程的持久化，通過XMLtoNotes 函數(shù)保存流程定義到Lotus數(shù)據(jù)庫中供工作流引擎調(diào)用，為XML層提供了持久化 服務。
在實施本發(fā)明的通用工作流圖形化設計和驗i正工具時，主要考慮以下三方 面通用工作流、流程設計功能、流程驗證功能，下面分別進行描述。
一、 通用工作流
1、 通用工作流的實現(xiàn)方式為以XML數(shù)據(jù)格式存儲設計后的流程結果， 以簡單工作流模型的格式保存流程信息；進而以XML文件為橋梁，通過適配器 實現(xiàn)通用工作流圖形展示層與實際工作流引擎的雙向數(shù)據(jù)交互。
2、 為了令本發(fā)明工具設計出工作流具有通用性，本發(fā)明以XML數(shù)據(jù)格式存 儲設計后的流程結果，以簡單工作流模型的格式保存流程信息〈Workflow〉… 〈/Workflow〉(流程);〈st印〉…〈/step〉(節(jié)點)；<mxCell>... 〈/mxCell〉(圖 形化)；<Edge>...</Edge> (流向邊)；進而以XML文件為橋梁，通過相應的適 配器(例如，通過XML轉Notes適配器)實現(xiàn)通用工作流圖形展示層與實際工作 流引擎(例如，Domino的工作流引擎)的雙向數(shù)據(jù)交互。那么，工作流引擎不
再與特定的工作流設計工具綁定，只要具備工作流引擎的適配器，就可以獲得 通用工作流工具的支持。
二、 流程設計功能流程設計器的架構采用MVC(Model-View-Controller) 模式。M層對應的是流程定義模型，包括Workflow (流程)、St印(節(jié)點) 和Edge (連接線)等對象；V層對應流程元素的展現(xiàn)，包括WorkRender、 StepRender和EdgeRender等對象，這些對象的職責是決定流程展現(xiàn)的樣式，也 就是在流程圖中看到流程的樣式；C層即控制層，包括添加節(jié)點、刪除節(jié)點、 更改節(jié)點名稱、移動、選擇等操作。流程設計器的前端采用AJAX +VML開發(fā)， 后臺采用Java開發(fā)的，當保存流程時，通過AJAX向Java發(fā)送HttpService請求， 把流程以XML格式字符流的形式傳遞給Java程序，由Java來完成流程的持久化， 保存流程定義到數(shù)據(jù)庫中。
三、 流程發(fā)汪功能
1、流程驗證功能的關鍵點為把可視化流程中的"環(huán)節(jié)控制信息，'轉為 "邊控制信息，，。為可視化流程圖的單個流程節(jié)點賦予處理信息后，整個工作 流的總體正確性則可以由每個節(jié)點正確性組合而成；再利用系統(tǒng)中預先定義的 業(yè)務需求語義，即可由系統(tǒng)自動驗證流程的正確性。2、本發(fā)明的流程驗3正功能以簡單的流程網(wǎng)為基礎，核心為流程環(huán)節(jié)；進 而為流程環(huán)節(jié)擴展業(yè)務信息，按照業(yè)務需求為相應的流程環(huán)節(jié)設置環(huán)節(jié)控制信 息到邊控制信息的映射規(guī)則；這里，流程驗證功能中最關鍵的一點就是把可視 化流程中的"環(huán)節(jié)控制信息，，(例如實際業(yè)務中"發(fā)文擬稿，，環(huán)節(jié)后至少要經(jīng) 過"領導審核"環(huán)節(jié)，才能進入"正文蓋章，，環(huán)節(jié))轉為"邊控制信息，，(例 如不允許存在一條從"發(fā)文擬稿"環(huán)節(jié)到"正文蓋章，，環(huán)節(jié)的邊)。為可視化 流程圖的單個流程節(jié)點賦予處理信息后，整個工作流的總體正確性則可以由每 個節(jié)點正確性組合而成；再利用系統(tǒng)中預先定義的業(yè)務需求語義，即可由系統(tǒng) 自動驗證流程的正確性。
權利要求
1、一種通用工作流圖形化設計和驗證工具，其特征在于包括通用工作流體系結構、流程設計和驗證方法的體系結構兩部份(1)、通用工作流體系結構通過工作站的通用可視化流程設計器提供的展現(xiàn)層為用戶提供方便的流程設計手段，即流程操作、節(jié)點操作、傳輸線操作、放大縮小操作、業(yè)務信息操作，然后將設計出的通用工作流保存為簡單流程網(wǎng)模式存儲的流程設計結果--XML格式的通用文檔；進而為工作流運行平臺開發(fā)一個流程適配器，并由流程適配器將設計好的通用工作流導入Domino平臺進行運行，得到Domino平臺的流程轉換結果；最后實際的工作流運行實例產(chǎn)生的信息均保存在工作流運行平臺中；(2)、流程設計和驗證方法的體系結構流程設計和驗證方法的體系結構將可視化流程分為展現(xiàn)層、XML層和數(shù)據(jù)庫層展現(xiàn)層使用AJAX+VML技術，在流程、節(jié)點、連接線的操作中提供增刪流程、增刪節(jié)點、增刪傳輸線、拖拽節(jié)點、拖拽傳輸線、復雜結構的展開與折疊、復制與粘貼、對齊和放大縮小這一系列功能，并為圖形化流程的流程環(huán)節(jié)擴展業(yè)務描述信息；XML層為展現(xiàn)層提供了流程環(huán)節(jié)建立與組合的調(diào)用接口，負責將環(huán)節(jié)控制信息到邊控制信息的映射結果轉換為以XML文件格式描述的半形式化流程模型，然后對組合的流程進行正確性校驗，并進行流程保存；數(shù)據(jù)庫層負責設計流程的持久化，通過XMLtoNotes函數(shù)保存流程定義到Lotus數(shù)據(jù)庫中供工作流引擎調(diào)用，為XML層提供了持久化服務。
2、 根據(jù)權利要求l所述的通用工作流圖形化設計和驗證工具，其特征在于通 用工作流的實現(xiàn)方式為以XML數(shù)據(jù)格式存儲設計后的流程結果，以筒單工作 流模型的格式保存流程信息；進而以XML文件為橋梁，通過適配器實現(xiàn)通用工 作流圖形展示層與實際工作流引擎的雙向數(shù)據(jù)交互。
3、 根據(jù)權利要求l所述的通用工作流圖形化設計和驗證工具，其特征在于流 程駘、汪功能的關鍵點為把可視化流程中的"環(huán)節(jié)控制信息"轉為"邊控制信 息，，；為可視化流程圖的單個流程節(jié)點賦予環(huán)節(jié)業(yè)務f言息后，整個工作流的總 體正確性則可以由每個節(jié)點正確性組合而成；再利用系統(tǒng)中預先定義的業(yè)務需 求語義，即可由系統(tǒng)自動駘3正流程的正確性。
全文摘要
本發(fā)明公開了一種通用工作流圖形化設計和驗證工具，它包括通用工作流體系結構、流程設計和驗證方法的體系結構兩部份。它讓用戶通過Web圖形界面來方便地設計通用的工作流；進而為可視化流程的流程環(huán)節(jié)擴展描述信息，并通過環(huán)節(jié)控制信息到邊控制信息的映射規(guī)則對組合的流程進行正確性驗證，實現(xiàn)了一種流程正確性驗證功能。該工具設計出的工作流不僅僅局限于某一個軟件平臺；并且該方法具有形式化基礎，能夠進行流程環(huán)節(jié)組合的正確性驗證。
文檔編號G06F9/44GK101539861SQ200910115270
公開日2009年9月23日 申請日期2009年5月4日 優(yōu)先權日2009年5月4日
發(fā)明者付萍萍, 劉顯明, 文 梁, 琛 王, 陶振文, 勇 馬 申請人:江西省電力信息通訊有限公司