一种基于XCFG的组合服务可信性演化影响分析方法技术

本发明专利技术公布了一种基于XCFG的组合服务可信性演化影响分析方法。首先，将演化前的组合服务建模为XCFG，并根据组件服务间的数据依赖关系建立组件服务之间的数据依赖图；其次，将演化后的组合服务转换为XCFG及对应的组件服务数据依赖图；根据组合服务可信性计算方法识别出演化操作对哪些组件服务的可信性产生影响并确定需要重新计算可信性的流程片段；最后，计算整个组合服务演化后的可信性并评估该演化操作对组合服务可信性的影响。本发明专利技术所提出的组合服务可信性演化影响分析方法能够准确评估该演化对组合服务可信性的影响。

【技术实现步骤摘要】
本专利技术提出了一种基于XCFG的组合服务可信性演化影响分析方法，主要是利用扩展的控制流图解决组合服务演化过程中可信性影响分析问题，属于可信软件演化影响分析的

技术介绍
随着Web服务技术的日趋成熟，越来越多稳定易用的Web服务共享在网络上供服务消费者使用。服务组合逐渐成为构建分布式应用和电子商务解决方案的主要方法。面对众多的服务，服务集成者如何选择可信的组件服务并保障组合服务的可信性成为一个挑战。组合服务的可信性是由组件服务及其交互模式共同决定的。目前已有大量的文献 研究组合服务可信性的计算方法，主要可以分为约减法、乘积法、概率法。本文采用的组合服务可信性的计算方法基于组件服务之间的数据依赖。组合服务通常运行于动态多变的网络环境下，用户需求的改变以及环境的改变都要求组合服务能够快速的演化以适应改变。组合服务面临的演化操作可以分为组件服务的替换(绑定的变化)和流程结构的调整，其中流程结构的调整又可以分为组件服务的增加、删除和组件服务执行顺序的调整等。当组合服务演化后如何识别这些演化带来的影响并评估该演化对组合服务可信性的影响显得格外重要。BPEL (Business Process Execution Language)是一种供服务生产者或消费者进行流程设计的服务组合语言。BPEL得到工业界和学术界的广泛支持逐渐成为事实上的标准。因此本文的方法是基于BPEL语言进行的。本文提出了一种基于扩展控制流程图(XCFG)的组合服务可信性演化影响分析方法，该方法的特点在于不仅可以很好地描述BPEL流程中的控制流还有助于分析BPEL流程中的数据流，从而可以为组合服务可信性的演化影响分析提供必要的帮助。
技术实现思路
本专利技术的目的是提出一种基于XCFG来分析各种演化操作对组合服务可信性的影响程度的方法。为了实现上述目的，采用如下技术方案基于XCFG的组合服务可信性演化影响分析方法，包括如下步骤I)将演化前的BPEL流程建模为XCFG即基于扩展控制流图，并根据控制结构将流程划分为若干片段；2).根据XCFG构建组件服务之间的数据依赖图，并计算组件服务在该组合服务中的实际可信性；3).在步骤I与步骤2的基础上，计算每个流程片段的可信性进而计算整个组合服务的可信性；4).构造演化后的XCFG及对应的组件服务数据依赖图；5)根据组件服务数据依赖图找出受影响的组件服务，并且重新计算其可信性；根据受影响的组件服务重新计算受影响的流程片段的可信性，进而计算整个组合服务的可信性；6).在步骤3)与步骤5)的基础之上，比较演化前后组合服务可信性的值，从而计算出演化对整个组合服务的影响程度。有益效果本专利技术方法提出了一种基于XCFG的组合服务可信性演化影响分析方法，通过比较演化前后的BPEL流程识别修改影响的数据流和控制流，进而找出需要重新计算可信性的流程片段，主要用于解决组合服务演化中可信性影响分析问题。主要有以下一些优点(I)在信息丰富的模型层面进行修改分析，能够较准确识别出受演化操作影响的部分。利用数据流和控制流可以有效识别出和演化操作相关的BPEL流程部分。这些部分·都有可能使得组合服务的可信性产生变化。本专利技术的演化影响分析方法基于信息丰富的XCFG，所以综合考虑了数据流和控制流，提高了演化影响分析的精确性。(2)利用组件服务之间的数据依赖图，能够直观地、高效地得出组件服务之间的数据依赖关系。将演化前后的数据依赖图进行对比可以方便地计算出哪些组件服务的可信性需要重新估算。(3)将整个组合服务流程划分为若干片段并分别计算可信性。演化发生后，首先根据数据依赖图找到需要重新计算可信性的组件服务；其次，找出该组件服务所在的流程片段并重新计算该流程片段的可信性。其余未受影响的流程片段可以不再计算其可信性，这样的处理方法可以有效地减少了计算量。附图说明图I是本专利技术对组合服务进行可信性演化影响分析的流程图。图2是本专利技术所使用的BPEL流程的可信性计算方法。图3是本专利技术所采用的组合服务流程划分片段示意图。图4是本专利技术所使用的XCFG模型中各种元素的示意图。图5是本专利技术所使用的针对BPEL流程的XCFG模型。图6是本法明所构建的组件服务之间的数据依赖图。图7、图8、图9、图10、图11、图12都是实施例中用到的用来说明组合服务演化的示意图，详细内容将在实施例部分给出。具体实施例方式下面结合附图对本专利技术的具体实施方式进行详细说明。基于XCFG的组合服务可信性演化影响分析方法，包括如下步骤I)将演化前的BPEL流程建模为XCFG即基于扩展控制流图，并根据控制结构将流程划分为若干片段；(现有技术不进一步描述)2).根据XCFG构建组件服务之间的数据依赖图，并计算组件服务在该组合服务中的实际可信性；(现有技术不进一步描述)3).在步骤I与步骤2的基础上，计算每个流程片段的可信性进而计算整个组合服务的可信性；(现有技术不进一步描述)4).构造演化后的XCFG及对应的组件服务数据依赖图；(现有技术不进一步描述)5)根据组件服务数据依赖图找出受影响的组件服务，并且重新计算其可信性；根据受影响的组件服务重新计算受影响的流程片段的可信性，进而计算整个组合服务的可信性；(现有技术不进一步描述)6).在步骤3)与步骤5)的基础之上，比较演化前后组合服务可信性的值，从而计算出演化对整个组合服务的影响程度。图I描述了本专利技术对组合服务进行可信性演化影响分析方法的流程图首先，确定组合服务可信性的计算方法是基于数据依赖和控制结构的，这是进行分析的前提；其次，将演化前后的BPEL流程建模为XCFG及其对应的数据依赖图；然后，根据演化前后的数据依赖图找出需要重新计算可信性的组件服务集合并由此确定需要重新进行可信性计算的最小流程片段有哪些；最后，根据组合服务可信性计算方法重新计算找出的受影响的集合并 计算其可信性并评估该演化操作对组合服务可信性的影响。下面给出几个部分的具体说明。一、组合服务可信性的特点及计算方法组合服务的可信性是由组件服务及其交互模式共同决定的。目前已有大量的文献研究组合服务可信性的计算方法，主要可以分为约减法、乘积法和概率法(公知技术不进一步说明)。如图2所示，首先根据组件服务之间的数据依赖以及每个组件服务之间的原始可信性计算出每个组件服务在该组合服务中的可信性(我们把参与组合前每个组件服务的可信性称为原始可信性，参与组合后每个组件服务的可信性称为实际可信性)；然后，根据不同的控制结构约减规则计算每个控制结构的可信性；最后，计算出整个组合服务的可信性。假设SI，S2是BPEL流程中的2个组件服务，Tl和T2分别表示2个组件服务根据信任模型计算出来的可信性(也称为原始可信性)，tl和t2分别表示2个组件服务在该组合服务中的可信性(也称为实际可信性)，如果SI的输出是S2的输入，则称S2数据依赖于SI。如果S2数据依赖于SI，则tl=Tl, t2=Tl*T2。在计算出每个组件服务在该组合服务中的实际可信性之后，根据BPEL流程的控制结构分别计算每种控制结构的可信性。通常，BPEL的控制结构可以分为顺序、选择、并发和循环，相应的计算方法如下表所示。 顺序选择并发循环-----可信性 T(C) HfdTiV U T (C、= (fji)丨 n T(C)^pi*本文档来自技高网...

【技术保护点】
一种基于XCFG的组合服务可信性演化影响分析方法，其特征在于，包括如下步骤：1)将演化前的BPEL流程建模为XCFG即基于扩展控制流程图，并根据控制结构将流程图划分为若干片段；2).根据XCFG构建组件服务之间的数据依赖图，并计算组件服务在该组合服务中的实际可信性；3).在步骤1与步骤2的基础上，计算每个流程片段的可信性进而计算整个组合服务的可信性；4).构造演化后的XCFG及对应的组件服务数据依赖图；5)根据组件服务数据依赖图找出受影响的组件服务，并且重新计算其可信性；根据受影响的组件服务重新计算受影响的流程片段的可信性，进而计算整个组合服务的可信性；6).在步骤3）与步骤5）的基础之上，比较演化前后组合服务可信性的值，从而计算出演化对整个组合服务的影响程度。

【技术特征摘要】
1.一种基于XCFG的组合服务可信性演化影响分析方法，其特征在于，包括如下步骤 1)将演化前的BPEL流程建模为XCFG即基于扩展控制流程图，并根据控制结构将流程图划分为若干片段； 2).根据XCFG构建组件服务之间的数据依赖图，并计算组件服务在该组合服务中的实际可信性； 3).在步骤I与步骤2的基础上，计算每个流程片段的可信性进而计算整...

【专利技术属性】
技术研发人员：李必信，齐珊珊，刘翠翠，吴晓娜，宋锐，李伟，
申请(专利权)人：东南大学，
类型：发明
国别省市：