A Workflow Model Based on Temporal Logic

摘要：

This paper proposes a workflow model based ontemporal logic, called TLWS model. This formal modelsupports the formal specifications for a workflowsystem, such as the abstraction of activities, thesynchronization among activities, and the step-wiserefinement design procedure of a workflow. The mostimportant advantage of this model is that it can specifythe workflow process and its evolution, which are difficult to be supported by the previous models. Usingthis model, we have designed a workflow editing tooland are developing an interactive workflow design environment.

作者: Huadong MA

作者单位: School of Computer Science & Technology,Beijing University of Posts and Telecommunications,Beijing 100876,China;Lab for Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080,China

会议类型: 国际会议

会议名称: The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

会议地点: 厦门

会议语种:英文

页码: 327-332

在线出版日期: 2004-05-26（万方平台首次上网日期，不代表论文的发表时间）