业务流程作为业务系统的核心,逐渐成为业务流程管理的核心内容之一。由于用户需求的多样化、业务系统功能的复杂化以及环境的开放化,对于业务流程的建模和分析也变得困难。现如今,越来越多的公司和企业使用BPM(业务流程管理)来处理商业事务,过程挖掘技术的主要工作就是在流程管理的基础上挖掘有效数据,即根据日志记录文件中记录的相关信息可以重新构建系统模型,进而分析变化域等相关性质。传统的流程挖掘技术主要关注于离线业务流程的挖掘和分析,然而对于开放性系统而言,以前的一些研究方法可能存在不足,而且对复杂的开放性系统来说,其建模和变化域分析更加困难。因此在开放性系统中借助流程挖掘技术分析流程模型的构建和变化域具有非常重要的意义。已有的研究方法都是在给定参考模型的基础上,在Petri网的约束下,借助测度、behavioral profile等工具来分析已给模型与参照模型的差异程度,即一致与否。如果出现非一致,则最后就需要定位存在非预期行为区域,进而寻找对引起这一变化负责的一方。由于开放网系统的复杂性和多变性,而且在实际应用中,参考模型很难给定出来,更多的是给定部分日志,根据日志来分析相关性质,因此继续使用传统的分析方法无法解决上述问题。基于这种背景,想要剖析这些问题,并寻找解决方法,本文开展了以下两方面的研究：(1)流程模型是分析网系统性质的重要基础,因此首先考虑的问题就是如何正确构建模型。针对开放性网系统的特殊性和复杂性,本文提出了一种新的建模方法,即利用开放Petri网的相关知识,将其作为建模工具构建模型。最后将这一方法应用到电子商务中的在线充值系统上进行实际演练,通过具体实例,从T-不变量和可达性两个方面分析相关性质,验证了这种建模方法的有效性与简明性。该方法不仅简化了复杂的开放性网络系统,还有利于进一步研究模型的一些重要性质。(2)变化域的研究是业务流程管理中的核心问题,分析流程模型的变化域有利于建模者发现问题,进而改善流程模型,使其满足建模要求。在开放Petri网的环境下,通过给定部分执行事件日志来确定业务流程变化域的问题是本文主要研究的方向。现有的研究方法主要是在给出模型的基础上利用行为语义的方法来分析变化区域。然而对只给出部分日志,传统方法就会出现或多或少的不足之处。本文在考虑部分事件日志的情况下,提出了一种基于日志错误点确定模型变化域的分析方法。通过给定日志挖掘出原模型,计算日志的错误点,根据错误程度的不同进行分类,最终确定可疑变化区域,并给出实例验证方法的可行性。这种新方式弥补了没有目标模型的缺陷,降低了分析难度。