论文部分内容阅读
随着业务需求的复杂化和多元化,业务流程模型的管理也随之变得越来越有难度。在业务流程系统中,为了满足用户对复杂的业务系统功能的要求,经常需要将多个业务流程模型进行合并。但是,合并后的模型在运行过程中经常会出现异常,找出合并模型的变化区域或者是导致异常的疑似变化区域后,我们才可以对疑似变化区域进行修复最终来完成预期目标。于是,找出合并模型的疑似变化区域成了业务管理的重要前提。而提取合并模型的摘要是确定变化区域的有效分析方法之一。目前对于摘要的提取主要集中于从合并模型的互逆性和可追溯性,主要考虑将多个输入模型合并后得到一个合并模型,进而分析摘要的提取。但是这样得到的摘要往往会有部分语义缺失。或者说,提取出的摘要直接作为变化区域较不精确,而且没有将目标模型的变化区域和责任方模型紧密结合起来分析研究。正是由于以上研究背景,本文在Petri网的一系列基本性质和扩展的结构树的基础上,考虑由合并模型的综合行为轮廓和结构树挖掘出摘要,进而利用模块分解对摘要进行优化,并借助合并模型的可追溯性将变化区域和责任方模型有效结合起来分析。本文主要贡献有:(1)提出了基于Petri网配置的合并模型摘要的提取方法。合并模型的摘要是服务于同一建模目标的多个输入模型的共同片段,用于建模者通过比较输入模型的共性与区别从而来简化合并模型。但是这样得到的摘要会有部分语义缺失。本文在配置库所的Petri网模型的基本性质的基本框架的基础上,对输入模型进行分析,给出摘要的行为轮廓和结构树的相关算法,进而提取出输入模型的摘要。然后,我们将摘要中缺失语义的活动变迁视为配置接口,对其进行配置以优化摘要。最后,基于上述分析方法给出了一个具体的业务流程模型的实例,理论与实例相结合证实了此分析方法的正确性。(2)提出了基于Petri网合并模型的疑似变化区域的分析。由于技术的更新换代、用户观念的开放思维和要求的逐渐严格,导致服务同一个建模目标的流程模型往往不是单一的而是千变万化的。但是,总会有一根主线也就是模型相关性将他们串联在一起,为了避免责任方模型的变化区域分析的复杂性和重复运算,本文把相关程度较高的多个业务Petri网合并为带有标识符的合并Petri网模型(即合并模型);并从中提取摘要(digest)找出变化区域;然后,基于模块行为轮廓对变化区域进行优化;最后,通过合并Petri网模型的可追溯性找出责任方模型的疑似变化区域。