工作流建模分析：WF_Net、pi演算、WM_semantics.pdfVIP

ISSN1672—2841 广东水利电力职业技术学院学报2010年 第8卷 第4期 CN 44—1587，Z JournalofGuangdongTechnicalCollegeofWaterResourcesandElectricEngineering，2010，Vo1．8， No．4 27—30 工作流建模分析 ：WF_Net、pi演算、 W M sem antics 黄红梅 (广东水利电力职业技术学院，广东 广州 510635) 摘 要：利用实例分析基于工作流网WF—Net，pi演算和工作流管理语义网WM—semantics在 工作流建模过程中的优缺点，指 出将以上建模理论的各 自优势互相补充、合理整合，开发有 效的过程建模理论，并将其应用于工作流过程模型的描述和分析是一种可行的方法。 关键词：Petri网；wF—net；pi演算；工作流管理语义网 中图法分类号：TP182 文献标识码：A 文章编号：1672—2841(2010)04—0027～04 现代企业逐渐出现分布化 、网络化和敏捷化 1 建模方法 的趋势。所有企业都感受到了空前的压力 fl1。保 当前，工作流过程模型理论基础的研究还很不 持并增强 自身的竞争力是每个企业所面临的需要 成熟，在建模方法上还没有形成比较系统的理论体 解决的关键 问题 。动态业务环境对企业信息系统 系。 目前已有的工作流过程模型的研究涉及 的理论 提出新的挑战，要求系统具有更大的敏捷性与灵 主要有 图论 、Petri网和面 向对象技术 ，pi演算 活性。工作流管理技术[2-5]对于提高企业敏捷性特 (Pi—calculus)等。 别是提高企业 自身 内部的自我调整能力 、适应变 1．1Petri网 化的能力和组织结构的灵活变化能力起到了极其 重要的作用 。 在众多的过程建模方法中，Petri网6[1是既有严 工作流过程模型是整个工作流管理系统WfMS 格数学基础的形式定义 ，又有直观的图形表示描述 (workflowmanagementsystem)的基础。 目前人们虽 系统动态行为的方法。Petri网变种 (高级 Petri 网)用来建模也是工作流过程模型研究的一个热 然提出了不少有意义的工作流过程模型，并在此基 础上设计 了许多商品化的工作流管理系统。工作流 点。荷兰的教授 VanderAalst在利用PetriNets实现 过程模型作为整个基础 由于缺乏有效的工作流建模 工作流建模做了不少的工作，在基于PetriNets理论 理论，使得模型仍然存在表达能力差、缺乏柔性 、 的基础上建立了工作流网，对工作流模式，工作流控 动态性和再造性等特点。因此，研究工作流过程模 制流的错误发现方法等做 了相应 的研究工作 5[1[81。 型的建模技术和方法 ，从本质上提高模型的表达能 Aalst的wF—net是以状态驱动的，尽管基于状态建 力、重构能力，增加工作流过程模型的灵活性、可 模 的Petri网能够精确、方便的对过程 的控制逻辑 用性、可伸缩性、可靠性以及互操作性，从而增加 进行定义 ，但是在 WF_net中混合 了数据流和控制 工作流管理系统适应复杂、多变的应用环境的能 流，当数据流逻辑与控制流逻辑不一致时，Petri 力，提高企业的运营效能，具有重