Summary: | 碩士 === 國立交通大學 === 資訊工程系所 === 93 === 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.
|