【摘 要】
：
Workflow management aims at the controlling, monitoring, optimizing and supporting of business processes.Well designed formal models will facilitate such manage
【机 构】
：
School of Electronics Engineering and Computer Science
【基金项目】
：
国家自然科学基金;国家重点基础研究发展计划(973计划)
论文部分内容阅读
Workflow management aims at the controlling, monitoring, optimizing and supporting of business processes.Well designed formal models will facilitate such management since they provide explicit representations of business processesas the basis for computerized analysis, verification and execution. Petri Nets have been recognized as the most suitablecandidate for workflow modeling, and as such, formal models based on Petri Nets have been proposed, among them WF-netby Aalst is the most popular one. But WF-net has turned out to be conceptually chaotic as will be illustrated in this paperwith an example from Aalsts book. This paper proposes a series of models for the description and analysis of businessprocesses at conceptually different hierarchical layers. Analytic goals and methods at these layers are also discussed. Theunderlying structure, shared by all these models, is SYNCHRONIZER, which is designed with the guidance of synchronytheory of GNT (General Net Theory) and serves as the conceptual foundation of workflow formal models. Structurally,synchronizers connect tasks to form a whole while dynamically synchronizers control tasks to achieve synchronization.
其他文献
Modified pectin cross-linked with adipic acid, was synthesized and used for heavy metal removal from wastewater. SEM and FrIR were used to investigate its struc
PVC was subjected to a chemical modification aiming at replacing the chlorine atoms by pyridine groups via a homolytic route. Pyridine groups were peculiarly af
To identify the desired hyperthermophilic variants within a mutant esterase library for the resolution of (R,S)-2-octanol acetate, a simple, reliable, and versa
Hydraulic characteristics of a river are the key factors for river water quality improvement and river restoration. A simulated river was exploited to study the
Nanosized hydroxyapatite(nsHAp) was synthesized to examine its possibility as a controlled release carrier of protein. To achieve effective protein release from
The purpose of this study is to understand the effect and mechanism of preventing membrane fouling,by coagulation pretreatment,in terms of fractional component
With the aid of soil column test models, the transport rules of fluorine contaminants in unsaturated stratified soils are discussed. Curves of F- concentrations
The characteristics of membrane fouling and cleaning, in a hybrid MBR process, was investigated. Under the condition of sub-critical flux operation, a character
PEG (Polyethylene Glycol)-grafted nano-titania has been obtained in a one-step procedure using hexamethylene diisocyanate as the coupling agent and dibutyltin d
For the past 20 years, numerous studies have been carried out on the application of equilibrium partitioning approach (EqPA) for the derivation of sediment qual