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

《机械工程学报》，Vol.40 ， No.4 ， 2004 ，pp.93-98 工作流模型可调度性验证与分析方法* 李建强 范玉顺 （清华大学自动化系北京 100084 ） 摘要：实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段，而从理论 上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流 模型在时间层次上需要考虑的各种时间约束的基础上，通过扩展时间信息到只描述过程逻辑的工作流网[1]中来， 给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之 后，对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。 关键词：工作流模型 时序依赖 时间约束 模型验证 Petri网 可调度性 中图分类号：TP166 TP311.138 0 前言 1 基本概念 研究如何从理论上验证根据制造企业内部业 文献[3]给出了一种基于工作流管理联盟过程 务流程所建立的工作流模型的正确性及合理性对 定义的图形化建模语言，其利用两种对象实体进 于其工作流管理系统的成功实施有着至关重要的 行过程建模（如图 1 所示）：节点和有方向的连接 作用[2] 。由于工作流模型的复杂性，对工作流模 弧。其中节点分为两种：任务节点和选择/汇合节 型的合理性验证与分析要分别从：过程逻辑，时 点。任务节点用一个方框表示，代表为了实现某 间逻辑及随机性能层次三个角度进行。本文从时 种目标或功能而需要做的工作，它根据实际的需 间层次上验证与分析工作流模型的合理性属于第 要细分为：活动、子过程、块、和空活动，而为 二个层次。而工作流模型的可调度性分析应该在 了方便起见，在模型映射过程中我们将任务节点 保证其过程逻辑正确性的基础上进行，所以本文 统称为活动。选择/汇合节点用一个圆圈表示，用 所讨论的工作流模型不存在逻辑结构上的死锁。 来表达或分支和或连接的逻辑结构。连接弧分为 目前Petri 网是对工作流模型进行分析的主要 有条件连接弧、无条件连接弧和数据连接弧。有 理论工具，虽然它具有形式化语义，基于状态的 条件和无条件连接弧用来描述活动执行时相互间 系统描述和丰富的系统分析方法等优点，但由于 的约束关系，而数据连接弧表示活动间数据的传 其过于抽象，不适合直接作为业务过程的建模工 输方向。由于在这里我们只使用其前后逻辑控制 具。另一方面，现在的主流工作流产品的建模工 约束功能，所以各种连接弧在这里不再区分。 具广泛应用各种各样的有向网络图对其过程模型 进行描述。虽然这种直观的工作流模型具有很强 的可读性，进而易于工程人员的理解，但由于其 任 务节点 选择/汇合节点 连接弧 缺乏严格的语义及相关理论的支持，在实际应用 图1 有向网络图形式的模型定义实体单元 中很难实现对其进行有效的理论验证与分析。 在研究中我们认识到，工作流的时间约束主要 为了兼顾理论分析和实际应用两方面的需 有两种：活动内部时间约束，和活动间时间约束。 要，首先需要完成由有向网络图到 Petri 网的模型 其中由工作流执行机控制的活动间时间约束来源 映射。而为了应用 Petri 网技术对工作流模型进行 于工作流模型的时序控制依赖，如：活动 A 只有