中文摘要：

工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理，设计了时间约束工作流模型的可调度性验证算法，并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集：通过时间约束修正策略，减小上述可调度性验证方法的时间复杂度。然后，进一步设计了改进的可调度验证方法，从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果，研究成果对于制定时间约束工作流的时间约柬有较好的应用价值。

英文摘要：

Workflow models schedulability verification is to testify the rationality of Time Constraint Workflow Net （TCWF- Net） schedule and do some simulation experiments to verify the time accessibility for the instances in workflow system. First, based on schedulability principles, a schedulability verification algorithm and time constraint adjusting strategies for TCWF- Net model were proposed, by which time constraint set used in Time Constraint Workflow Net schedule could be obtained. The Meanwhile, time constraint adjusting strategies were concluded in order to reduce the time complexity of the schedulability verification algorithm. Then, some modifications to schedulability were designed for the presented algorithm to get the time constraint set with minimal execution time interval. Cases studies demonstrate that the proposed method can be effectively utilized in practice. The approaches presented can be used to define time constraint in Time Constraint Workflow Net.