工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。

SCHEDUABILITY VERIFICATION AND ANALYSIS OF A WORKFLOW MODEL

The analysis of the correctness and rationality of a workflow model plays an important role in the research of the workflow techniques and successful implementation of the workflow management. The necessary timing constraints what should be considered in a workflow model are studied. Workflow nets are extended with time constraints as timing constraint workflow net (TCWF-net). After the model mapping method from a workflow model built by a graphic process modeling language extended with time information to a TCWF-net is proposed, the schedulability verification and synthesis of a TCWF-net is discussed in detail.