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

Verification of Temporal Consistency in Workflow

作　　者：任国珍[1] 巩垒[1] 王海洋[1] 黄富洁[1] 

机构地区：[1]山东大学计算机科学与技术学院,济南250061

出　　处：《计算机工程》2004年第11期60-62,共3页Computer Engineering

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