By Topic

Verification of dynamic process model change to support the adaptive workflow

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
$33 $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)
Jian Cao ; Dept. of Comput. Sci., Shanghai Jiao Tong Univ., China ; Shensheng Zhang ; Minglu Li ; Jie Wang

As a technology that can improve the efficiency of the business process, workflow is drawing more and more attentions of researchers and software product vendors. But there are still many problems waiting to be solved for workflow. One of these problems is the poor adaptability of workflow. This paper intends to enhance the adaptability from the view of supporting dynamic process change. In the paper, a workflow model that is fit for dynamic change is defined and the verification rules are firstly set up for this model. Specifically, our method is based on the concept of executable path of workflow. Based on the executable path, the concepts and algorithms of valid process and complete subprocess are introduced to solve the problems brought by process model dynamic change.

Published in:

Services Computing, 2004. (SCC 2004). Proceedings. 2004 IEEE International Conference on

Date of Conference:

15-18 Sept. 2004