基于Petri网的业务流程评估.pdfVIP

计算机科学2008V01．35No．4A 基于Petri网的业务流程评估*) 蒋宏潮王大亮班晓娟张德政 (北京科技大学信息工程学院 北京100083) 摘要过程知识是构建领域知识库的关键要素，并且过程知识主要是利用过程模型来表示的。尽管已经出现了很 多的过程知识表示方法，但都存在构建模型知识表达复杂困难，而且曼关键是不容易进行过程知识验证。因而，本文 提出了基于Petri网构建过程知识以及验证的方法，并提炼了过程模型的基本单元的Petri网表示。通过实例证实，该 方法可以很好地解决可达性、死锁、死循环的问题。 关键词领域知识库，过程知识，过程评价，Petri网 于Pe‘ri网的业务流程验证方法。 1 引言 2过程知识表示方法 作为知识工程的重要内容之一，领域知识库的建设是一 项复杂的系统工程。为了满足广泛的应用需求，领域知识库 过程知识表示主要是利用过程模型来表示的。过程模型 包含丰富的知识，其中包括各类实事、规则、案例以及过程知 技术的发展目标主要是过程模型的自动化处理，使得系统结 识。业务流程知识是领域知识库的关键构成要素，是对各类 构、属性、行为和状态有着清晰的表达。在领域知识库中，过 过程、流程、逻辑、情景知识的描述和表达。这些知识大多表 程模型建模方法有很多种，这些方法都有各自的特点[4]： 现为过程模型，是企业信息化知识库的建设和应用的重要内 1)UML活动图 容[1‘。因而，业务流程知识作为一种重要的知识表现形式越 基于UML的建模主要是通过UML的各种图例描述流 来越受到重视。 程的执行过程，通过图形化的方式将流程的数学描述表达出 模型是人们对现实世界原型进行的抽象、简化和模拟，是 来。UML活动图是UML对系统的动态行为建模的一种图， 对现实模型结构和功能的同一性描述。过程模型是对企业运 它本质上是一种流程图，描述的是活动到活动的控制流程，所 行机制、作业过程的一种抽象描述，体现出过程元素之间的逻 以适合于对流程的建模。但活动图缺乏与外界的交互能力， 辑关系。以往过程模型都是用非形式化的语言来描述，要解 在流程的执行过程中，不可避免地涉及到与外界的交互，主要 决过程知识的管理和复用，要求模型不仅能够描述活动之间 包括执行过程的人工参与及对外部事件的响应。 的关系，而且附带许多其他的信息，以便于计算机解释和执 2)mEF系列 行。过程模型的建模，主要是解决如何根据过程目标和系统 IDEF系列方法用于企业建模和过程建模。包括一系列 约束条件，实现系统行为状态的描述与刻画[2’3]。目前有很 的建模方法，如功能建模方法(IDEF0)、信息建模方法 多方法可以用来进行过程模型的定义和描述，为过程建模提 供一套完整有效的建模语言。 (IDEF3)、面向对象建模方法(IDEF4)等。 同其他类型知识一样，各类知识在导人知识库之前应当 3)EPC(事件驱动的过程链) 进行分析评价，以论证知识的有效性和完备性。不同类型的 主要被用于企业的经营过程重组(BPR)、软件的配置与 领域知识有着不同的评价方法。对于过程知识的验证方法主 开发、基于活动的成本(√蟠C)分析。EPC是由Keller提出 要包括状态机模型检验法、时序逻辑检验法(TemporalL09． 的，主要元素就是功能和事件：功能被事件触发，功能也能产 ic)、并行处理模型检验法等。这些方法的特点是难以构造模 生相应的事件。经营过程的控制流就这样由交替出现的功能 型和形成具有广泛适应性的可推广应用的算法与工具。为了 和事件彼此连接而构成。 克服这些方法的缺陷，并易于进行过程知识验证，本文提出基 图1是对—个化妆品企业的生产过程的既℃模型图描述。 图1某化妆企业的生产过程EPC