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