Paper Info
Title
Formal Model of Workflow Integration and its Application in STISAG
Abstract
Refinement operation of workflow nets is provided in this paper for modeling and analyzing integrated workflow. Structure, dynamic properties and behavior expression of refined workflow net are also discussed. These works proves that refinement operation with step-by-step refinement of transitions could realize hierarchical modeling of workflow as well as composite modeling of workflow integration Furthermore, the refinement operation can reduce complexity of model analysis. In fact the reliable refined nets satisfy soundness, and dynamic behavior of refined Petri nets was consistent with of original nets and subnets. Therefore the properties analysis and verification of refined workflow nets can be realized by properties of subnets using refinement operation. Moreover, the research results are successfully applied to designing, modeling and verification of layered workflows and their integration in Shanghai Traffic Information Service Application Grid (STISAG)
Year
DOI
Venue
2006
10.1109/CSCWD.2006.253116
CSCWD
Keywords
Field
DocType
dynamic properties,wf-net,wf-net refinement,petri nets,grid computing,workflow integration,shanghai traffic information service application grid,grid,composite model,refinement operation,refinement,behavior expression,workflow management software,traffic information systems,stisag,formal verification,formal model,hierarchical model,manufacturing,structural dynamics,computer science,system analysis and design,petri net,satisfiability,refining,application software
Workflow technology,Petri net,Grid computing,Computer science,Application software,Workflow,Workflow management system,Grid,Distributed computing,Formal verification
Conference
ISBN
Citations 
PageRank 
1-4244-0165-8
1
0.36
References 
Authors
0
4
Name
Order
Citations
PageRank
Zhijun Ding134630.28
Zhaohui Zhang281.84
Changjun Jiang31350117.57
Meiqin Pan410.36