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

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

Abstract: This paper first analyzes temporal problems which should be considered in workflow managements and then creates a workflow temporal conditional directed graph ( WTCDG ) model. Based on the model the paper researches some temporal logical inference problems and gives some necessary conditions to verify the temporal constraint soundness of workflow activities. The research results indicate that these works are useful for temporal modeling、monitoring and performance evaluating in workflow management systems.

中图分类号: 

• TP311