工作流中时序约束正确性验证

• 作者: 任国珍 巩垒 王海洋 黄富洁
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 工作流模型 时序约束 验证 时序逻辑推理
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 60-62
• 页数: 3页
• 分类号: TP311
• 字数: 4983字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.11.025

摘要

分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑推理问题的研究,提出了4个推理规则,同时提出了验证工作流活动时间约束正确性的一些必要条件.研究结果表明,所作的工作对于工作流管理系统的时间建模,监控和性能评价有一定的参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海洋	山东大学计算机科学与技术学院	83	999	16.0	28.0
2	黄富洁	山东大学计算机科学与技术学院	4	34	3.0	4.0
3	巩垒	山东大学计算机科学与技术学院	4	34	3.0	4.0
4	任国珍	山东大学计算机科学与技术学院	5	34	4.0	5.0