论文部分内容阅读
Petri网系统中,对业务流程的研究分析,最关键的是分析流程模型的变化域问题,也是分析业务流程管理系统运行的核心内容。其中,包括业务流程模型的构建和分析、模型运行的设计和实施、执行业务流程程序等三部分。 目前,有关研究分析业务流程模型,通常是基于Petri网系统中行为一致性的基础上,研究模型的变化域问题。传统的流程模型变化分析方法,主要是从业务流程模型整体结构的变化域分析,过程繁琐且精确度较低,并且在分析业务流程模型的一致性方面,主要是从单个变迁的视角研究分析,此方法对整体模型研究而言,具有一定的限制性,未能对整体模型进行动态分析。本文通过分析业务流程模型结构图,用以构建业务流程Petri网系统模型图。其次,匹配源模型和目标模型,基于一种算法程序,寻找业务流程目标模型的相似变化域,针对Petri网中有关业务流程变化域的基本性质,对其分析研究,通过对流程模型添加配置信息,得到可配置的业务流程模型,并对其进行配置优化分析。最后实现业务流程管理变化的需要,用以满足市场用户的需求。 随着计算机信息时代的更新换代,计算机业务系统的规模日益扩大,业务流程管理的应用也逐渐普及。由于各行各业对业务流程管理的需求不断增加,要求也不断提高,而传统的研究业务流程模型的变化域分析方法,分析过程繁琐,耗费较多,且只能静态分析,具有一定的局限性。因此,本文针对这一问题,基于行为轮廓一致性的方法找到业务流程模型的变化域,使用Petri网系统的相关知识对变化域进行讨论分析,通过提出的算法程序,确定此相似变化域为最小变化域,并对流程模型的最小变化域添加配置信息,进一步对业务流程模型进行配置优化分析。首先,对比分析业务流程模型的源模型和目标模型,基于行为轮廓的相关概念,寻找目标模型和源模型的变化区域;然后,基于事件日志和Petri网的行为轮廓一致性关系确定相似变化域为最小变化域,并对变化域添加有关配置信息,实现对业务流程模型的优化处理;最后,通过列举实例并分析验证,实现对系统业务流程模型的配置优化,建立可配置的业务流程模型,通过算法计算证明本文提出的方法的可行性。本文主要贡献有: (1)提出比较分析源模型和目标模型的业务流程结构图,构建Petri网系统的业务流程模型图,基于行为轮廓一致性和事件发生序列集的背景知识,得到业务流程模型的最小变化域,基于行为轮廓一致性的理论知识等方面,提出有关算法程序。通过此算法验证,得到的源模型与目标模型的最小变化域的准确度。 (2)提出针对己给出的业务流程模型的变化域,对其进行添加有关配置信息,基于配置过程中的复杂事件,进行配置优化处理分析。已有的方法通过分析主要变迁事件的行为进行分析研究,可能会引起交互行为的变迁序列集发生冲突。本文基于配置过程中对应事件条件下的行为关系,基于行为轮廓一致性的方法,该方法在分析配置信息时能够较全面考虑各个变迁间的行为关系,用以满足各行各业的需求。最后,本文列举有关可配置业务流程模型变化域的实例,进行优化分析处理,论证该方法的实用性。 (3)提出一种基于优化可配置的业务流程模型的具体算法程序。本文通过对具体实例进行分析研究,对业务流程模型配置优化,通过对流程模型添加相关配置信息,实现优化业务流程模型为目的,用以构建可配置的业务流程模型,对其进一步分析研究。