一個在編輯流程軟體規格時的遞增性資源分配分析之研究

Abstract

工作流程管理系統用以自動地協調、控制及溝通企業營運中所需要的工作項目，它滿足作業流程的需求，改進工作時間的協調和增加工作的自動化程度，使工作流程更具效率。現今的工作流程管理系統，主要皆提供兩項重要元件，分別是設計與執行的環境。工作流程設計或維護者在編輯階段進行工作流程的規劃、設計，經過驗證、測試後。流程規格再交由執行環境產生相對之工作流程實例，然後由參與的使用者去完成各別的任務。一般而言，流程管理者可以在兩個環境內進行分析、評估、控管與監看。 編輯完一個工作流程後最好做過規格定義的驗證工作。驗證一個工作流程規格的正確性，主要朝向結構(structure)、時間(time)、與資源(resource)三個方面著手，其中結構檢驗較優於其他兩項。從另一個角度來看，在設計或維護一個工作流程的過程時，可能會新增插入、刪除 process，或是改變process。這些編輯活動有可能會造成工作流程規格在資源、時間方面的錯誤或缺乏一致性。因此，在編輯時若能根據當時之process得知相關的processes的情況，或獲得即時的檢驗分析，也就是說，能透過遞增式分析技術來迅速獲得這些相關資訊或異動所造成的影響，工程師應可提升工作流程設計、維護的效率。 本專題重心首先在探討process structure與resource reference的遞增性分析，然後根據時間因素再進一步建立有效的資源驗證演算法。其次配合process related information, and resource conflicts提供設計師相關的資料，以進一步加強其在編輯或維護時的幫助。實作方面將這種遞增式資源驗證分析方法，implement在本實驗室研究設計並被業界開發的 Agentflow系統，以驗證其實用性。