Timing constraint workflow nets for workflow analysis

CASIA OpenIR > 09年以前成果

	Timing constraint workflow nets for workflow analysis
	Li, JQ; Fan, YS ; Zhou, MC
发表期刊	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS
	2003-03-01
卷号	33 期号:2 页码:179-193
文章类型	Article
摘要	The analysis of the correctness and rationality of a workflow model plays an important role in the research of workflow techniques and successful implementation of workflow management. This paper points out the relevant problems in the verification and analysis of a workflow model. It discusses two important properties: schedulability and boundedness of a workflow, model considering timing constraints. To specify the timing constraints, WorkFIow net is extended with time information, leading to timing constraint workflow net (TCWF-net). This paper presents a model mapping method to convert a directed network graph (DNG) based workflow model, which is built by a graphic process modeling language extended with time information, into a TCWF-net. It then discusses its schedulability verification and synthesis. An algorithm to decompose an acyclic and free-choice TCWF-net into a set of T-components is presented, followed by a boundedness verification method. The usefulness of the research results is illustrated by an example.
关键词	Business Process Automation Petri Nets Schedulability Workflow Analysis Workflow Model
WOS标题词	Science & Technology ; Technology
关键词[WOS]	PETRI NETS ; MANAGEMENT ; SYSTEMS
收录类别	SCI
语种	英语
WOS研究方向	Computer Science
WOS类目	Computer Science, Cybernetics ; Computer Science, Theory & Methods
WOS记录号	WOS:000184605500004
引用统计	被引频次：78[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://ir.ia.ac.cn/handle/173211/9877
专题	09年以前成果
作者单位	1.Tsinghua Univ, Dept Automat, Beijing 100084, Peoples R China 2.New Jersey Inst Technol, Dept ECE, Newark, NJ 07102 USA 3.Chinese Acad Sci, Intelligent Control & Syst Engn Ctr, Inst Automat, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Li, JQ,Fan, YS,Zhou, MC. Timing constraint workflow nets for workflow analysis[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,2003,33(2):179-193.
APA	Li, JQ,Fan, YS,&Zhou, MC.(2003).Timing constraint workflow nets for workflow analysis.IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,33(2),179-193.
MLA	Li, JQ,et al."Timing constraint workflow nets for workflow analysis".IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 33.2(2003):179-193.