| Summary: | 碩士 === 國立中山大學 === 資訊管理學系研究所 === 88 === The advances of information technologies have forced many enterprises to reconsider the way their business processes are conducted. Among the various information technologies, workflow management systems (WFMSs) are widely recognized as an effective tool to greatly improve the efficiency of business processes and customers’ satisfaction. Today, a great number of commercial WFMSs have been available on the market; however, none of them are very successful due to the lack of some important features. One of the features that are needed by many business processes is the specification and enforcement of time constraints. In this thesis, we propose a time constraint model that helps workflow designer to define and verify time constraints. Different constraints may be verified at different times, e.g., definition time, invocation time, execution time. A workflow instance, once detected as a violation of some time constraint, could be terminated immediately to avoid the waste of precious resources as well as to provide prompt response to users. A variety of algorithms for verifying time constraints are proposed and analyzed.
|
|---|
