CBR: A component-based reduction method for semantics verification of workflow processes

Residential College	false
Status	已發表Published
	CBR: A component-based reduction method for semantics verification of workflow processes
	Zhou J.-T.2; Shi M.-L.2; Ye X.-M.1
	2005-06-01
Source Publication	Tien Tzu Hsueh Pao/Acta Electronica Sinica
ISSN	03722112
Volume	33 Issue:6 Pages:1060-1065
Abstract	Verification methods of workflow processes always focus on the control flow, while only a few developments have been done on the verification combining control flow with data and resource information. However achievements of business goals rely on cooperation of three basic dimensions of workflow, called control flow, data flow and resource. Semantics verification is to ensure cooperation correctness of the three dimensions. This paper endeavors semantics verification of large-scale and flexible workflow processes. It firstly presents a formal process model, not only integrating the basic three dimensions for semantics expression, but also using concept of component to facilitate scalability and flexibility of processes. By focusing collaborative logic between components, it then discusses component-based reduction technique and rules, strongly supporting semantics verification of processes.
Keyword	Petri net Reduction Verification Workflow
URL	View the original
Language	英語English
Fulltext Access	View Full-Text via Scopus
Document Type	Journal article
Collection	University of Macau
Affiliation	1.Inner Mongolia University China 2.Tsinghua University
Recommended Citation GB/T 7714	Zhou J.-T.,Shi M.-L.,Ye X.-M.. CBR: A component-based reduction method for semantics verification of workflow processes[J]. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005, 33(6), 1060-1065.
APA	Zhou J.-T.., Shi M.-L.., & Ye X.-M. (2005). CBR: A component-based reduction method for semantics verification of workflow processes. Tien Tzu Hsueh Pao/Acta Electronica Sinica, 33(6), 1060-1065.
MLA	Zhou J.-T.,et al."CBR: A component-based reduction method for semantics verification of workflow processes".Tien Tzu Hsueh Pao/Acta Electronica Sinica 33.6(2005):1060-1065.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh