基于全序语义结构化工作流的研究.pdfVIP

第47卷第5期 大连理工大学学报 V01．47．No5 200 7年9月 0 0 7 JournMofDalian of Sept．2 UniversityTechnology 基于全序语义结构化工作流的研究 唐 达“， 李 晔。 (1．大连理工大学计算机科学与工程系，辽宁大连116024 2．大连海事大学经济与管理学院，辽宁大连116026) 摘要：针对业务过程的规范化建模问题，研究结构化工作流．证明了基于奎序语义的任意I- 作流均可转化为与其等价的结拘化形武，提出了一种结构化工作流代数，并给出了其语义解 释模型．在此基础上，形式化地定义了结构化工作流过程和结构化工作流过程函数，从理论 上提供了构建规范化、合理化和柔性化业务工作流概念模型的表示方法和操作语言．医疗实 倒分析证明了结构化工作流理论在过程建模、再造和动态重组中的有效应用． 关键词：全序语义；结构化工作流；Petri网；过程代数 中图分类号；TP311文献标识码：A 0 引 言 Bartek等“”指出：并不是所有结构合理的工作流 都有等价的结构化形式，从而使得结构化工作流 建立业务过程的工作流模型，使之能够正确 的研究受到制约．因此，有必要在理论上进行进 地表示出业务过程中的客观对象及其联系．为了 一步研究． 这一目的，很多研究工作都围绕在工作流模型表 本文简述工作流的表示，介绍过程代数理论 示、验证和建模方法方面．工作流管理联盟 作为研究的准备．针对在概念模型层次上对业务 (WfMC)给出了工作流过程定义规范o]、语言和 过程进行建模时，需要使用的方法应该具有结构 表示，是目前工作流管理系统开发的重要参考依 化和规范化，以及易于分析和逻辑表达等特点，研 据．Aalst提出工作流的Petri网表示“。]，建立了 究结构化思想在工作流建模中的表示和应用． 工作流的理论基础，有些研究就是基于Petri网进 行的“’5]．工作流验证方面的研究，可以按类型分 1 工作流及其表示 为对工作流结构和时间的验证o、6]，或者按阶段分 工作流过程描述了活动之间的协作关系，可 为工作流静态和动态的验证o、“．验证的方法也 以用图形表示．如图1所示的是用图形表示工作 涵盖了工作流图、Petri网和时态逻辑o’9]，等等． 流的一种形式．其中，方框表示工作流中的活动， 另一方面，工作流建模过程应该符合建模人 活动名称用方框中的字母表示；空心圆表示(条 员习惯，所建模型应易于直观理解、便于交流和具 有可操作性．为此，Pankratius等对比关系型数 据库，提出一种基于Petri阿的工作流代数“]，给