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