论文部分内容阅读
业务流程模型一致性分析是业务流程管理和可信性研究的核心内容。由于用户对计算机系统的要求越来越高,建模者需要不断地面对各种安全问题。传统的计算机系统已经无法满足复杂多变的运行环境。而且,现代的计算机系统具有开放性,使得业务流程模型变得脆弱。因此,分析业务流程模型的一致性对保证系统的可信性具有重要意义。目前,对于业务流程模型的一致性研究主要集中在两大方面即控制流一致性分析和数据流一致性分析。已有的方法对控制流一致性的分析大部分是从目标模型行为一致性方面进行研究,而对数据流一致性的分析仅仅局限于数据形式,几乎没有给出直观的模型。在流程模型出现行为变化导致不一致时,很少考虑数据变化对一致性的影响。本文在Petri网和行为轮廓的理论及其性质的基础上,考虑在没有目标模型和数据出现变化的情况下,业务流程模型的一致性分析和非一致时变化域的分析。主要研究内容如下所述：(1)针对业务流程模型一致性分析过程中没有目标模型的情况,提出了一种基于Petri网和模块业务流程模型变化域分析的方法,对业务流程模型进行模块分解,研究模块的行为轮廓,并在分析业务流程模型的变化域的过程中,将用于观测的变化点进行动态搜索,该方法了避免了已有方法的盲目性和不准确性。(2)针对业务流程模型运行中数据变化的情况,提出了一种基于行为Petri网的业务流程模型一致性分析方法,从伙伴流程的角度刻画了控制流和数据流模型的定义,区分控制流和数据流的差异性。在行为轮廓的基础上,量化流程模型的行为关系,利用控制流和数据流的交互模型,并通过计算其兼容度,分析控制流和数据流对业务流程模型一致性的影响。该方法改善了已有方法对数据描述的局限性,克服了已有研究的单一性。(3)针对数据变化产生变化域的问题,本文提出了一种数据流约束下变化域的分析方法,综合考虑控制流和数据流之间存在的行为依赖关系,并结合动态查找变化变迁的方法分析变化域。该方法突破了已有方法的静态分析带来的局限性,以及解决了当业务流程模型的控制流一致却仍然不能达到可信的问题。