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

摘要：

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

关键词：工作流模型、时序约束、验证、时序逻辑推理

所属期刊栏目：30

分类号：TP311(计算技术、计算机技术)

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：60-62