Workflow process model verification using reduction method based on P/T system

CORC > 北京大学 > 信息科学技术学院

	Workflow process model verification using reduction method based on P/T system
	Zhao, Wen ; Yuan, Chong-Yi ; Liu, Gang ; Zhang, Shi-Kun ; Wang, Li-Fu
刊名	ruan jian xue baojournal of software
	2004
英文摘要	Nowadays, workflow technology has been intensively applied in the domains of administration, production, and scientific research. For the complexity and variability of process logic, how to build a well-structured business process is a practical problem. Thus, process model analysis and improvement become one of research directions in workflow technology. Firstly, according to the modified workflow process meta-model, a P/T system based workflow model procedure net is proposed. And then, a set of simplification rules are given to verify two structural conflicts of the process model, i.e. deadlock and lack of synchronization. Finally, following these rules, a procedure net example transformed from a business process is simplified, and the result is obtained.; EI; 0; 10; 1423-1430; 15
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/407319]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Zhao, Wen,Yuan, Chong-Yi,Liu, Gang,et al. Workflow process model verification using reduction method based on P/T system[J]. ruan jian xue baojournal of software,2004.
APA	Zhao, Wen,Yuan, Chong-Yi,Liu, Gang,Zhang, Shi-Kun,&Wang, Li-Fu.(2004).Workflow process model verification using reduction method based on P/T system.ruan jian xue baojournal of software.
MLA	Zhao, Wen,et al."Workflow process model verification using reduction method based on P/T system".ruan jian xue baojournal of software (2004).