Modeling flexible workflow based on temporal logic

In order to enhance the flexibility of the workflow management, many researchers put their focus on the flexible workflow management system. After discussing the features of flexible workflow, we propose a method to specify the flexible workflow by temporal logic based workflow specification model. Using this model, we have designed a flexible workflow management system. The flexibility for both selection and adaptation is supported well in this system. This paper describes how the flexibility is supported in the flexible workflow management system. A prototype system has been developed based on our model.