Title :
A workflow model based on temporal logic
Author_Institution :
Sch. of Comput. Sci. & Technol., Beijing Univ. of Posts & Telecommun., China
Abstract :
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.
Keywords :
formal specification; interactive systems; synchronisation; temporal logic; workflow management software; TLWS model; activity synchronization; formal specifications; interactive workflow design; step-wise refinement design; temporal logic; workflow editing tool; workflow model; Computer science; Data models; Engines; Environmental management; Formal specifications; Kernel; Logic; Power system modeling; Runtime; Workflow management software;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2004. Proceedings. The 8th International Conference on
Print_ISBN :
0-7803-7941-1
DOI :
10.1109/CACWD.2004.1349207
