By Topic

Formal Model of Workflow Integration and its Application in STISAG

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Zhijun Ding ; Dept. of Comput. Sci. & Eng., Tongji Univ., Shanghai ; Zhaohui Zhang ; Changjun Jiang ; Meiqin Pan

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)

Published in:

Computer Supported Cooperative Work in Design, 2006. CSCWD '06. 10th International Conference on

Date of Conference:

3-5 May 2006