时序逻辑在有效性控制中的应用研究

• 作者: 刘磊
• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: 工作流 时序逻辑 模型检测
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 学术探讨
• 页码范围: 23-25
• 分类号: TP3
• 字数: 2721字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-6609.2010.05.012

摘要

工作流系统中的活动是与时间有着紧密联系的,如何保证恰当的活动在恰当时间被执行是工作流系统中的关键问题.探讨了如何利用时序逻辑来解决上述问题,提出了工作流系统中有效性的概念,给出了基于时序逻辑的有效性约束模型,并利用模型检测技术提供了验证有效性约束的方法,最后给出一个实例说明该方法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊		2	5	1.0	2.0