工作流时序约束模型分析与验证方法

• 作者: 王远 范玉顺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 工作流 时序约束 验证 时序逻辑
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 2153-2161
• 页数: 9页
• 分类号: TP311
• 字数: 7308字
• 语种: 中文

摘要

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.

作者信息

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