Temporal logic based workflow service modeling and its application

  • Authors:
  • Huadong Ma

  • Affiliations:
  • School of Computer Science & Technology, Beijing University of Posts and Telecommunications, Beijing, China

  • Venue:
  • CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
  • Year:
  • 2004

Quantified Score

Hi-index 0.01

Visualization

Abstract

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.