《工作流時間管理中若干關鍵問題研究》是由王遠著論文。
基本介紹
- 中文名：工作流時間管理中若干關鍵問題研究
- 論文作者：王遠
- 導師：范玉順
- 學科專業：控制科學與工程
基本信息,中文摘要,
基本信息
副題名
外文題名
學位級別
博士論文
學位授予單位
清華大學
學位授予時間
2006
關鍵字
企業管理 生產管理 系統工程 工作流管理
館藏號
F270.7
館藏目錄
2009\F270.7\15
中文摘要
時間是企業業務過程運作管理中的重要因素之一，工作流管理系統必須處理大量與時間有關的問題，目前工作流時間管理方面的研究還很不成熟，現存的工作流產品也缺乏對時間管理的支持。基於此，本文對工作流時間管理中的一些關鍵問題進行了深入的研究。 本文在綜述了工作流管理領域研究現狀的基礎上，分析了工作流系統對時間管理的需求，指出了在工作流系統運行生命周期的各個階段時間管理應該解決的關鍵問題，並對這些問題進行了研究。 首先為了解決工作流時間建模與時序一致性驗證問題，基於時序邏輯和模型檢測理論提出了一個工作流建模與時序一致性驗證的框架，並給出了用一階邏輯對工作流建模的方法以及用時序邏輯對時序約束建模的方法，在此基礎上採用模型檢測進行時序一致性靜態驗證和動態驗證，還給出了上述模型向模型檢測工具SMV中語言規範的一種轉換方法。 研究了不同工作流過程之間時序約束的一致性驗證問題，把工作流多過程分為獨立多過程和組合多過程，給出了獨立多過程時序一致性驗證方法，並分析了組合多過程的邏輯正確性問題，給出了其邏輯正確性驗證方法，在此基礎上給出了組合多過程時序一致性驗證方法。 針對工作流模型中時間信息的設計問題，給出了工作流模型時間信息綜合以及時序約束相關活動的定義，對於四種常見的時序約束給出了其時間信息綜合方法，並提出了多時序約束情況下時間信息綜合的指導原則。 針對工作流運行過程中出現的業務時間規則的違反問題，定義了工作流時間異常的概念，給出了時間異常的分類方法和工作流時間異常傳播的算法，在此基礎上提出了一套行之有效的時間異常處理方法。 為了在工作流系統中實現時間管理功能，提出了一種符合MOF規範的可擴展工作流時間元模型，並給出了一個支持時間管理功能的工作流系統框架，基於此框架和元模型設計開發了支持時間管理功能的工作流原型系統，並在實際的工程項目中進行了套用，取得了良好的效果。
