By Topic

Modeling workflow within distributed systems

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

2 Author(s)
Yuhong Yan ; Flydragon Comput. Consulting, NY, USA ; Bejan, A.

Workflow management techniques are aimed at supporting business processes across organizational boundaries. Current techniques lack the formal tools to model and analyze workflows on a large scale, and current WFMSs do not have the ability to react to the response of another WFMS dynamically. Using Petri nets as the modeling tool, we present the concept of a standard workflow structure, and a set of standard workflow blocks are designed. We prove that modeling a workflow process in standard workflow structures can guarantee the soundness of a workflow network as defined by W.M.P. van der Aalst (1998). We also present a method of decomposing a large-scale workflow network into sub-networks. From our analysis and proof, we draw the very good conclusion that a workflow network composed of self-loop-connected sub-networks maintains soundness under proper structural conditions. The method presented is not only a design language for the specification of complex workflows, but also a powerful analysis technique to verify the workflow procedures

Published in:

Computer Supported Cooperative Work in Design, The Sixth International Conference on, 2001

Date of Conference: