The action workflow approach to workflow management technology
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Flexible support for business processes: extending cooperative hypermedia with process support
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Hi-index | 0.01 |
This paper proposes an approach to modeling workflow services based on temporal logic. This model supports the formal specifications of various entities and workflow services for a workflow system. The model can specify the workflow process and its evolution, which are difficult to be supported by the previous models. This model is used to design a workflow specification language. Based on this language, we have developed a workflow service editing tool, which is the kernel of an interactive workflow design environment.