school

UM E-Theses Collection (澳門大學電子學位論文庫)

check Full Text
Title

Hidden semantic constraints in declarative workflow models

English Abstract

A declarative model consists of semantic constraints which specifies what should be done in a workflow without specifying how it should be done. Consistency checking mechanism for semantic constraints is considered as a crucial step for the verification of workflow models. Undetected inconsistency within the declarative models can cause deadlocks or other sematic errors which cannot be detected from normal control flows of workflow models. In this thesis, we introduce a novel inference mechanism for finding hidden semantic constraints in declarative workflow models. Our experiments have revealed a collection of rules for uncovering hidden semantic constraints.

Issue date

2013

Author

Xiong, Xiao Yu

Faculty

Faculty of Science and Technology

Degree

M.Sc.

Subject

Workflow -- Management

Business -- Data processing -- Management

E-Commerce Technology -- Department of Computer and Information Science

Supervisor

Si, Yain Whar

Files In This Item

Full-text (Intranet)

Full-text (Intranet)

Location
1/F Zone C
Library URL
991004658459706306