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

• 作者: 王远 范玉顺
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 工作流 活动时序逻辑 工作流模型分析
• 年，卷（期）: 2006,（2）
• 所属期刊栏目: 先进制造与自动化技术
• 页码范围: 157-162
• 页数: 6页
• 分类号: TP3
• 字数: 6097字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.2006.02.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范玉顺	清华大学自动化系	188	7334	46.0	81.0
2	王远	清华大学自动化系	10	181	8.0	10.0