行为交互下的业务流程变化域传播分析的新方法
【技术领域】
[0001] 本发明属于业务流程变化域传播分析领域，涉及到业务流程在交互情况下变化域 的传播分析及变化域确定问题，特别适用于业务流程系统在交互时存在行为包含关系的模 型变化域分析。
【背景技术】
[0002] 随着业务系统复杂化，多业务流程交互实现复杂功能需求已普遍使用。在业务流 程交互过程中，虽然满足了功能需求，但会也会出现很多问题（变化域），同时也会在交互 时传播给其它模型。有些模型存在着迹等价和行为包含关系，通过给定源模型K的变化域， 如何寻找那些与K存在迹等价和行为包含关系的目标模型N2的变化域成为一项关键性的 问题。而以往在此情况下寻找目标模型N/变化域的方法主要有以下几种：一种方法是根据 行为语义学形成的需求关系，提出了变化域的传播，从模型的整体上对有变动需求的模型 进行了一致性的检验；另一种方法是通过给定&的变化域，基于行为轮廓能够影响模型的 变化域传播，从边界变迀的减少和内部边界变迀的减少来寻找N2的变化域，且是从整个模 型的角度分析考察变化域，过程比较复杂，因而具有一定的局限性。
[0003] 因此，在&和N2存在迹等价和行为包含的基础上，提出了将有复杂对应的元素进 行合并以及基于行为继承（投影继承、协议继承）的方法来对变化域进行传播分析，以此来 分析目标模型的变化域，而通过其他方法难以处理类似的情况。
【发明内容】
[0004] 本发明所要解决的技术问题是：提供一种基于行为轮廓和拟行为轮廓的理论对两 个具有迹等价和行为包含关系的模型进行分析，从行为继承的角度将这些含迹等价和行为 包含关系的业务流程模型的变化域进行传播分析，以确定目标模型的变化域。
[0005] 为解决以上技术问题，本发明采用如下的技术方案：
[0006] 对业务流程模型仓库进行分析，找出含有迹等价和行为包含关系的模型对，其中 一个作为源模型，另一个作为目标模型。
[0007] 通过给定源模型&的变化域，基于行为轮廓和拟行为轮廓（不相邻的变迀之间 的序关系：拟严格序、拟排他序、拟交叉序、拟严格逆序），找出那些与K存在迹等价（ tjGNi，对应UtnGN2，若^与tj之间为严格序关系，则t^，tn为严格序关系或拟严格序 关系，其他的类似）、行为包含汎行为包含于N2,W,.e%，必有tlGN2)关系的模型N2，并 将N2中无对应的变迀集作为N2的沉默变迀。
[0008] 将&和1中含有相同语义的复杂对应（m:n)关系的变迀集进行合并，使之满足简 单对应（1:1)关系，并依据行为继承的理论将队中那些无对应元的变迀（沉默变迀）予以 投影继承和协议继承，其中投影继承意味着将沉默变迀予以隐藏，协议继承意味着将沉默 变迀以及多余的库所和弧线予以删除。
[0009] 基于投影继承的目标模型变化域的传播分析方法为：已知&的变化域X，将N:和 N2进行对比分析，可以得出N2的变化域范围（可疑区域ST)，对应着&中的区域为Ss，在& 中可疑区域内找出与X存在严格序关系或拟严格序关系的变迀集记为Si(X)，与X存在排 他序关系或拟排他序关系的变迀集记为Ei(X)，与X存在交叉序关系或拟交叉序关系的变 迀集记为L(X)，e且〇 0 %，采取投影继承的方法将\予以隐藏，然后找出Si(X)、 EJX)、L⑴在N2中的对应元，分别记为S2(X)、E2(X)、I2(X)，并在N2的可以区域内找出与S2 (X)存在严格序关系或拟严格序关系的变迀集记为S[S2 (X)]，与E2 (X)存在排他序关系或 拟排他序关系的变迀集记为E[E2 (X)]，与I2 (X)存在交叉序关系或拟交叉序关系的变迀集 记为1[12⑴]，输出队的变化域cT=s[s2(x)]ne[e2(x)]n1[12⑴]?
[0010] 基于协议继承的目标模型变化域的传播分析方法为：首先，将Ni中含相同复杂 对应的变迀集进行合并，合并后的模型作为拟源模型N3;接着，采取协议继承（阻塞）的 方法，在确定&和1两个模型相等时，将1中某些多余的活动变迀和库所以及弧线予以 删除，并将N2中存在相同复杂对应的变迀集予以合并，将组合后的模型记为N2的拟目标 模型N4;然后，对比分析NJPN3，由Ni中的变化域X可以得出心中相应的变化域X3，并将 队中相应的变化域X3向前推，得到'（％)，对应于N4中的同理，将队中相应的 变化域x3向后推，得到丨，对应于N4中的,所以得知n4中的变化域范围为 sA丨y:最后，依据队和~的行为轮廓关系，可在N4中变化域范围内寻找 出N4的最终变化域所在的弧线Ap将队与N4进行比较分析，可得到Ar所对应的N2中的区 域，即为目标模型N2的变化域CT.
【附图说明】
[0011] 图1是本发明的确定目标模型变化域的结构图。
[0012] 图2是本发明的确定源模型和目标模型的流程图。
[0013]图3是本发明的基于投影继承的变化域传播分析的流程图。
[0014]图4是本发明的基于协议继承的变化域传播分析的流程图。
【具体实施方式】
[0015] 本发明提出一种基于行为轮廓和拟行为轮廓理论寻找出存在迹等价和行为包含 关系的源模型K和目标模型N2，并基于行为继承的理论对业务流程变化域的传播进行分 析，以此确定目标模型的变化域。
[0016] 以下结合附图对本发明作进一步的说明。
[0017] 图1是本发明的确定目标模型变化域的结构图，包括从广泛的模型仓库中搜索出 满足迹等价和行为包含关系的源模型Ni和目标模型N2，将&和N2进行预处理，基于复杂对 应（m:n)关系中的元素合并以及行为继承等相关理论对变化域进行传播分析，并因此而获 得目标模型的变化域。
[0018]图2是本发明的确定源模型和目标模型的流程图，包括依据行为轮廓（严格序、排 他序、交叉序、严格逆序）和拟行为轮廓（拟严格序、拟排他序、拟交叉序、拟严格逆序）等 理论，从广泛的业务流程模型仓库中搜索出满足迹等价和行为包含关系的两个模型，其中 一个作为源模型Ni，另一个作为目标模型N2，且二者等价，Ni行为包含于N2.
[0019]图3是本发明的基于投影继承的变化域传播分析的流程图，具体来说通过给定& 的变化域X，将&和N2进行对比分析，找出N2中的可疑区域ST，对应&中的区域Ss，接着依 据投影继承的思想将N2中无对应元的变迀（沉默变迀）予以隐藏，并基于行为轮廓与拟行 为轮廓的理论对变化域进行传播分析，进而确定目标模型N2的变化域。
[0020] 图4是本发明的基于协议继承的变化域传播分析的流程图，通过对&和化进行预 处理，将NJPN2中含有复杂对应的变迀集予以合并，使NJPN2中相应的变迀对间满足简单 对应关系，接着基于协议继承的理论将队中沉默变迀和多余的库所以及变迀予以阻塞（删 除），得到拟源模型N3和拟目标模型N4，由&的变化域推出心的变化域，再由心的变化域 推出乂的变化域，最后依据变化域的传播分析得出目标模型N2的变化域。
【主权项】
1. 寻找行为交互下的业务流程变化域传播的新方法，包括在行为轮廓和拟行为轮廓的 基础上，找出流程模型中存在迹等价和行为包含关系的模型，并在行为继承的变化域传播 的基础上获得目标模型的变化域。其特征在于：通过给定源模型&的变化域，基于目标模 型N 2与源模型N1存在迹等价和行为包含关系，在行为继承（投影继承、协议继承）的理论 下分别基于变化域的传播特性确定目标模型N 2的变化域。2. 根据权利要求1所述的迹等价和行为包含关系，迹等价，其特征在于：若Ni中的变迀 对间为严格序关系，则队中相应的变迁对间的关系为严格序或拟严格序关系，其他的类似； 至于行为包含关系，其特征在于：依据N 1行为包含于N2，因而可通过给定N1的变化域确定N2 的可疑区域的范围。3. 根据权利要求1所述的行为继承关系，其特征在于：由于Ni行为包含于N2，采用投影 继承或协议继承的方式，意味着将队中那些无对应元的变迀（沉默变迀）予以隐藏或阻塞， 并基于此和行为轮廓以及拟行为轮廓的理论对变化域进行传播分析，进而能够准确地确定 目标模型的变化域。
【专利摘要】行为交互下的业务流程变化域传播分析的新方法，涉及到业务流程的变化域传播和交互后目标模型变化域的确定。首先，依据行为轮廓关系分析含有迹等价和行为包含关系的模型，其中一个作为源模型N1，另一个作为目标模型N2，且N1行为包含于N2，将N2中那些无对应元的变迁记为沉默变迁，通过已知N1的变化域，可推出N2的变化域范围(可疑区域)；其次，将N1和N2中复杂对应(m:n)关系的变迁集按照1:1的标准进行同类合并；然后，基于行为继承(包含投影继承和协议继承)关系，将N2中的沉默变迁予以隐藏或阻塞；最后，基于变化域的传播特性得出目标模型的变化域。本发明为业务流程交互时变化域的传播分析奠定了理论基础，有利于复杂业务流程模型的变化域分析。
【IPC分类】G06Q10/06
【公开号】CN105023116
【申请号】CN201510504097
【发明人】方贤文, 赵芳, 刘祥伟, 方欢, 方新建
【申请人】安徽理工大学
【公开日】2015年11月4日
【申请日】2015年8月17日