A Workflow Model with Temporal Logic Constraints and Its Automated Verification

摘要：

Traditional workflow models are weak in describing the temporal properties and constraints between activities, while some high-level extensions based on time or temporal logic have another problem that the soundness verification of the model requires high academic knowledge. In order to solve these problems, a new workflow model LTL-WF based on WF-net and Linear Temporal Logic is proposed in this paper.Besides introducing the new model, we also bring forward a method for automated verification of LTLWfF. The method proposed here provides the verification of workflow model with a convenient environment for model checking.

作者: Yang Yu Xiaohui Li

作者单位: Department of Computer Science Sun Yat-sen University Guangzhou 510275, China Department of Computer Science Huazhong University of Science and Technology, Wuhan 430074, China

会议类型: 国际会议

会议名称: 第六届网格与协同计算国际会议(The Sixth International Conference on Grid and Cooperative Computing GCC 2007)

会议地点: 乌鲁木齐

会议语种:英文

页码: 681-684

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