近年來,為了適應企業(yè)對業(yè)務過程自動化管理日益提高的要求,工作流管理技術逐漸演變成了企業(yè)過程管理自動化技術的核心。在整個工作流管理組織中,業(yè)務過程定義起著決定性的作用。因此在業(yè)務組織前,提供一個良好的參考框架對工作流模型進行定義和對模型的正確性驗證顯得尤為必要。 本文首先介紹了工作流的概念并對工作流技術的起源、現(xiàn)狀、發(fā)展和研究趨勢進行了闡述和分析,重點強調(diào)了合理的工作流業(yè)務過程模型定義在整個工作流管理系統(tǒng)設計中的重要性。接下來分析并比較了兩種工作流過程模型設計方法—工作流網(wǎng)與工作流邏輯網(wǎng)的特點,通過結合兩種方法的優(yōu)勢,設計了一種可恰當描述工作流業(yè)務過程邏輯的模型參考框架。該框架使過程的定義更容易被非專業(yè)人員理解,從而方便了設計者和用戶間的溝通。基于這個框架,本文利用Java面向?qū)ο缶幊趟枷雽⒖伎蚣苤械母鱾�工作流模型元素進行構造,同時實現(xiàn)了基于層次擴展Petri網(wǎng)技術的模型構造方法和對模型柔性操作的若干方法。在工作流業(yè)務過程邏輯模型定義完畢后,本文提出了一種嚴格遵守Petri網(wǎng)合理性標準的驗證方法。該方法將對模型進行可達性、良構性及合理性方面的檢驗,以保證工作流業(yè)務過程模型在語義定義前不...

【文章頁數(shù)】：84 頁

【學位級別】：碩士

【文章目錄】：
摘要
Abstract
第1章 緒論
    1.1 工作流的起源與概念
    1.2 工作流技術的研究現(xiàn)狀
    1.3 工作流技術的研究發(fā)展趨勢
    1.4 本文研究內(nèi)容及文章結構
        1.4.1 本文研究內(nèi)容
        1.4.2 文章結構
第2章 工作流業(yè)務過程模型
    2.1 工作流模型的相關概念
        2.1.1 案例
        2.1.2 任務
        2.1.3 過程
        2.1.4 路由
    2.2 工作流過程模型
    2.3 Petri網(wǎng)的相關概念
        2.3.1 傳統(tǒng)Petri網(wǎng)
        2.3.2 Petri網(wǎng)的層次擴展
    2.4 本章小結
第3章 工作流過程模型設計方法
    3.1 工作流網(wǎng)(WorkFlow net)
        3.1.1 過程
        3.1.2 路由
        3.1.3 WF net存在的問題
    3.2 工作流邏輯網(wǎng)(WorkFlow Logic net)
        3.2.1 工作流邏輯與工作流語義的分離
        3.2.2 工作流邏輯網(wǎng)
        3.2.3 WL_net的不足
    3.3 一種約束擴展的WF_net
        3.3.1 WF_net與WL_net的比較
        3.3.2 WF_net的路由屬性重定義
        3.3.3 對有向弧的約束
        3.3.4 約束擴展的WF_net描述工作流模型
    3.4 本章小結
第4章 模型構造的實現(xiàn)
    4.1 模型元素的程序定義
    4.2 層次化構造模型的實現(xiàn)
        4.2.1 順序結構的子過程
        4.2.2 分支結構的子過程
    4.3 對模型柔性操作的實現(xiàn)
        4.3.1 添加操作
        4.3.2 刪除操作
    4.4 本章小結
第5章 模型結構正確性分析和驗證
    5.1 結構正確的WF_net定義
    5.2 安全性和有界性
    5.3 可達性
    5.4 良構性
    5.5 可達性的檢驗方法
    5.6 良構性的檢驗方法
    5.7 算法有效性分析
    5.8 本章小結
第6章 基于JGraph的模型可視化實現(xiàn)
    6.1 JGraph介紹
        6.1.1 圖的邏輯結構
        6.1.2 JGraph設計
        6.1.3 JGaph描述WF_net
    6.2 對JGraph的擴展
    6.3 模型與視圖的聯(lián)系
        6.3.1 Cell與數(shù)據(jù)元素的連結
        6.3.2 有向弧的設置
    6.4 本章小結
第7章 系統(tǒng)實例應用
    7.1 系統(tǒng)綜述
        7.1.1 系統(tǒng)功能介紹
        7.1.2 系統(tǒng)模型設計流程
        7.1.3 模型的保存與打開
    7.2 實例分析
    7.3 實例建模
    7.4 模型驗證
        7.4.1 可達性驗證
        7.4.2 良構性驗證
        7.4.3 token流轉(zhuǎn)狀態(tài)矩陣
    7.5 文件結構
    7.6 本章小結
結論
致謝
參考文獻
攻讀學位期間發(fā)表的學術論文



本文編號：3830938