A workflow model based on temporal logic

This work proposes a workflow model based on temporal logic, called TLWS model. This formal model supports the formal specifications for a workflow system, such as the abstraction of activities, the synchronization among activities, and the step-wise refinement design procedure of a workflow. The most important advantage of this model is that it can specify the workflow process and its evolution, which are difficult to be supported by the previous models. Using this model, we have designed a workflow editing tool and are developing an interactive workflow design environment.