基于时序逻辑的工作流建模与分析方法

摘要：

提出了一种基于活动时序逻辑(TLA)的工作流建模与模型分析的形式化方法.该方法将模型及模型的性质都表示为一个TLA公式,对工作流模型性质的分析可以等价为对TLA中两个公式之间是否存在蕴涵关系的检验,从而建立了一个工作流模型各层次分析统一框架.一个工作流建模和分析的实例验证了所提出方法的有效性,该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景.

关键词：工作流、活动时序逻辑、工作流模型分析

所属期刊栏目：16

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60274046

在线出版日期：2006-04-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：157-162