工作流程規格資源分配限制的遞增式分析

Abstract

工作流程管理技術提供有效的方法，模組化並控制組織內部或組織與組織間複雜的企業流程。工作流程管理系統大部分都提供兩項主要元件：設計環境與執行環境。流程設計師在設計階段定義工作流程的規格後，必須經過適當的驗證，才能夠於執行階段正確的執行。驗證工作流程規格的方向主要分為結構、時間、與資源三個方面，本文提出一系列的方法，針對工作流程的每次編輯及所造成的影響作時間與資源分配限制的分析，最後以遞增式的方法改善效能，同時將資源衝突的詳細內容資訊提供給流程規格的設計師或維護者。

In general, a workflow management system (WfMS) consists of two main functional components: modeling component and enactment component. A workflow designer defines workflow specifications by modeling component in the build-time, and these specifications have to be verified before they can be executed correctly. There are three aspects of workflow verification, which are structural, temporal, and resource verifications. In this thesis, we discuss several approaches for analysis of resource constraints, and an incremental approach of resource consistency with improved performance and detailed information about each resource conflict is represented.