流程模型变化域分析旨在研究变更操作对模型带来的影响,对流程模型结构、活动行为等方面进行分析,包括精确定位模型变化区域、变化域对行为路径产生的影响以及变化传播等问题,以达到模型重用和模型优化的目标。已有的一些研究多是依据给出的目标模型,采取静态分析的方式,以模型结构的固定观测点来进行变化域分析。但是,这类方法需要明确给出目标模型,并且静态分析有时不能够快速精确地定位模型变化区域。所以,本文对流程模型变化域的分析是在事件日志的基础上展开,给出基于事件日志的流程模型因果行为一致性距离的度量方法、基于事件日志的流程模型变化域分析方法,以及基于事件日志服从度度量的流程模型查询方法,进而重用模型查询结果的部分结构,与新建立的网购模型融合并优化。业务流程变化域分析的对象是具有一定一致性度的流程模型对,对于完全非一致的两个模型进行变化域分析的意义并不大;变化域分析的目标模型有时并不是直接给出的,例如以事件日志的形式给出,并且在进行变化域定位的同时,不能忽视变化带来的影响;通过变化域分析以重用模型,需要在模型库中挑选最优模型,模型查询的指标需要量化,并且用于挑选模型的参照物有时并不是以模型结构片段的形式给出;最后,重用部分模型结构需要重新建立模型以达到模型完整、功能齐全的目的,建模过程应考虑多系统的交互和模型优化等问题。本文的主要贡献如下:(1)针对仅从模型结构角度进行一致性度量的问题,提出一种基于完备事件日志的业务流程模型一致性度量方法,克服目标模型并没有直接给出而是以完备事件日志的形式呈现的情况,并从模型结构和行为轮廓的双维度进行一致性度量。通过目标模型基于日志的行为轮廓分析,计算与源模型的因果行为轮廓一致性度和模型距离,进而计算模型间的因果行为一致性距离,最后以网络在线购物系统作为实例验证。(2)针对目标模型未直接给出的问题,提出一种基于目标模型完备事件日志的变化域分析方法。通过对目标模型完备日志的充分分析,划分流程模型的功能块以及各活动路径,对源模型与目标模型对应变迁的最小k阶后继关系进行列表,进而度量各活动路径与源模型的紧密度,通过基于日志的行为轮廓与模型结构的对应关系,确定目标模型的变化区域以及变化影响的活动变迁和路径等,最后以网络在线购物系统作为实例验证。(3)针对未给出模型结构片段进行模型查询的问题,本文提出一种基于事件日志服从度度量的模型查询方法。先对模型的行为轮廓进行分析,计算查询日志与各待选模型的服从度以量化查询指标,考虑到日志的不完备性,分别计算执行顺序服从度、强制执行服从度和因果耦合服从度,进而得出组日志服从度,以比较数值大小进而选择出最优适用模型,最后以网络在线购物系统作为实例验证。(4)网络购物流程建模优化与重用,重用前一章中模型查询结果的部分模型结构,使其融入新建模型。新模型的建立利用Petri网和行为轮廓等理论,考虑买家、卖家和物流系统的行为交互,并针对换货问题进行优化,最后添加配置信息,使模型更加合理有效。图[14]表[13]参[89]。