Using simulation to improve the flexibility of adaptive workflow models based on temporal logic

Authors:
Jianchuan Xing;Zhishu Li;Liangyin Chen
Affiliations:
School of Computer, Sichuan University, Chengdu, China;School of Computer, Sichuan University, Chengdu, China;School of Computer, Sichuan University, Chengdu, China
Venue:
SEAL'06 Proceedings of the 6th international conference on Simulated Evolution And Learning
Year:
2006

Citing 3
Cited 0

The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Integrating Machine Learning and Workflow Management to Support Acquisition and Adaptation of Workflow Models

DEXA '98 Proceedings of the 9th International Workshop on Database and Expert Systems Applications
Using Simulation to Facilitate Effective Workflow Adaptation

SS '02 Proceedings of the 35th Annual Simulation Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many researchers focus on enhancing the flexibility of the workflow management system. This paper shows how simulation plays an important role in improving the flexibility of temporal logic based workflow specification (TLWS) model. Detecting the TLWS model's demand for changing and deciding what changes to carry out are very difficult. Simulation analysis can help to do these. After a task is finished, its time, cost and quality will be computed. And each will be compared with dual threshold values. If the value is below the bottom threshold, an exception will be thrown. If it is above this threshold, but below the top threshold, a warning will be sent out. If the value is above the top threshold, the execution is excellent. Workflow specification documents also need to be translated into simulation specification documents by using XLST. The utility of using simulation in improving the flexibility of TLWS model is outstanding.