一种基于产生式的流程管理模型分析方法考试.docVIP

一种基于产生式的流程管理模型分析方法 摘要：在深入分析业务流程模型和合理的抽象业务活动基础上，提出了一种基于产生式的流程模型形式化分析方法，并提供了一种从一般流程描述到该模型的转换方法；在此基础上，推导了一系列行之有效的流程属性验证规则，并通过应用实际例子证明了所提出方法的有效性。 　　关键词：业务流程模型；?分析和验证 　　　　业务过程的建模、分析和优化是支持企业业务过程重组的重要基础。行之有效的模型分析方法是成功进行模型分析的关键技术问题。 　　业务流程重组的实质是企业根据市场需要以企业经营过程为核心重构企业的关键业务流程，并建立与其匹配的运行机制和组织结构，实现对经营过程的有效管理和控制。它一般分为五个阶段，即项目规划、企业经营过程建模、模型分析与优化、基于模型的业务经营过程重组实施和项目评价与监控。在这个过程中模型分析与优化是企业实施业务流程重组中非常重要的一个环节，对业务流程重组成功与否起着至关重要的作用。近几年来，作为支持业务流程重组的重要技术的工作流技术得到了广泛重视。但是由于工作流技术产生于实际应用，缺乏良好的理论基础，应用工作流方法建立的企业经营过程模型缺乏必要且行之有效的模型验证和模型分析方法。研究如何从理论上验证所建立的过程模型结构的合理性，研究如何评价所建立的模型的性能和优化模型的方法就显得尤为重要。 　　OncePI是中国科学院