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

被引:2
作者
任国珍
巩垒
王海洋
黄富洁
机构
[1] 山东大学计算机科学与技术学院
[2] 山东大学计算机科学与技术学院 济南
[3] 济南
关键词
工作流模型; 时序约束; 验证; 时序逻辑推理;
D O I
暂无
中图分类号
TP311 [程序设计、软件工程];
学科分类号
081202 ; 0835 ;
摘要
分析了工作流管理系统中主要应该考虑的时间问题,然后建立了一个工作流时序条件有向图模型,在该模型基础上进行了一些关于时序逻辑推理问题的研究,提出了4个推理规则,同时提出了验证工作流活动时间约束正确性的一些必要条件。研究结果表明,所作的工作对于工作流管理系统的时间建模,监控和性能评价有一定的参考价值。
引用
收藏
页码:60 / 62
页数:3
相关论文
共 1 条
[1]   基于扩展模型的工作流描述方法和最大时间控制问题 [J].
王海洋 ;
林宗楷 ;
林守勋 .
计算机辅助设计与图形学学报, 1999, (03) :62-64