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

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

【學(xué)位級別】：碩士

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



本文編號：3830938