【技术实现步骤摘要】
本专利技术属于服务计算领域,具体为服务组合的合规性度量技术,即量化服务组合过程实例符合过程规约程度的技术。
技术介绍
互联网的出现和普及使计算机软件所面临的运行环境从封闭、静态、可控逐步走向开放、动态、多变。随着软件应用的成熟,面向服务的软件体系结构SOA(Service-OrientedArchitecture)和软件即服务(Software-as-a-service)的思想也开始被业界采用。软件开发不再以编程为主,而更多的是软件服务资源的复用,同时简单的原子服务也已经不再能满足日趋复杂的业务需求。由此,服务组合技术应运而生。服务组合是以特定方式按给定应用逻辑,组合编排已有的原子服务,以提供新的增值服务。在新型复杂的网络环境下,服务组合的可信性面临着严峻的挑战。在一些关键领域,如航空、航天、银行服务等,服务组合的可信性显得更加重要。由于开放环境下软件服务的动态多变性等特点,使得判断其可信变得比较困难。除了传统的软件验证、测试技术之外,还要研究针对开放环境下软件可信的评判和度量方法,例如信任、声誉等。在面向服务的构架中,数据感知的过程技术成为实现基于服务的应用开发的有效手段,高品质的系统开发依赖于高品质的服务过程规约。然而在实际生活,过程实例的执行往往会偏离过程规约的定义。为了支持管理决策,管理者需要过程日志数据来了解业务过程执行,从而实现业务过程的管理、改进、再造。一些工作尝试采用合规性度量技术来判断日志信息是否符合或多大程度上符合先前定义的过程模型。若不完全符合,还将返还偏离信息以供业务人员参考。合规性较低的原因依赖于模型的目的,如果模型是声明式的, ...
【技术保护点】
一种基于路径依赖图的服务组合行为合规性度量方法,其特征在于具体步骤为:(1)以DPNML格式描述的服务组合文件及对应的日志文件为输入,分析活动间的三种依赖关系,生成日志文件中输入路径的路径依赖图TDG;(2)基于过程分解和轨迹重现的启发式算法,在多项式时间内找到服务组合的参考路径;(3)通过对输入路径和参考路径的路径依赖图的分析,计算出服务组合的行为合规性程度。
【技术特征摘要】
1.一种基于路径依赖图的服务组合行为合规性度量方法,其特征在于具体步骤为:(1)以DPNML格式描述的服务组合文件及对应的日志文件为输入,分析活动间的三种依赖关系,生成日志文件中输入路径的路径依赖图TDG;(2)基于过程分解和轨迹重现的启发式算法,在多项式时间内找到服务组合的参考路径;(3)通过对输入路径和参考路径的路径依赖图的分析,计算出服务组合的行为合规性程度。2.根据权利要求1所述的基于路径依赖图的服务组合行为合规性度量方法,其特征在于:所述步骤(1)中,一条日志路径σ的路径依赖图TDG=(N,E)是一个有向图,其中N为路径σ中所有发生的活动结点集合,E为路径σ中所有活动间有向边集合;一条由活动a到活动b的有向边,表示活动a到活动b存在控制依赖或数据依赖或异步调用依赖关系;在TDG中,每一条表示数据依赖的有向边<a,b>附加一个标签var,表示由活动a定义的变量集合并由活动b使用的变量集合;在TDG中,选择结构中每一条表示控制依赖的有向边标记为“True”(“T”)或者“False”(“F”),表示该有向边位于业务过程模型选择结构中的真假断言;构造路径依赖图的具体步骤为:1.1初始化Defs(所有定义变量的集合)和Uses(所有使用变量的集合)为空,遍历日志路径的所有活动结点,将活动添加到路径依赖图的活动结点集NTDG中,分析得到所有活动结点间的控制依赖关系集Dc;1.2添加所有真数据依赖边到路径依赖图TDG中;遍历执行路径σ中活动j的所有输入变量var∈inPut(j)即活动j所有输入变量,如果活动j使用了活动k定义的变量,即活动k的变量属于已定义变量集合Defs,则将以活动k为起点,活动j为终点的真数据依赖边添加到TDG中,同时将活动j的输入变量添加到所使用变量集合Uses中;1.3添加所有反数据依赖边到路径依赖图TDG中;遍历执行路径σ中活动j的所有输出变量var∈outPut(j)即活动j所有输出变量,若活动j定义了活动k使用的变量,即活动k的变量属于使用变量集合Uses,则将以活动k为起点,活动j为终点的反数据依赖边添加到TDG中,同时将活动j的输出变量添加到Def(σ[j])中,Def(σ[j])为活动j所定义的所有变量的集合;1.4添加所有输出数据依赖边到路径依赖图TDG中;遍历执行路径σ中活动j的所有输出变量var∈outPut(j),若活动j重新定义了活动i定义的变量,即活动i的变量属于已定义变量集合Defs,则将以活动i为起点,活动j为终点的输出数据依赖边添加到TDG中,同时将活动j的输出变量添加到Def(σ[j])中;1.5重复1.2到1.4,直到遍历完整个执行路径σ中的所有活动;1.6遍历活动结点集N,如果活动i与活动j间存在控制依赖,即其二元关系属于控制依赖关系集Dc,则将相应控制依赖边添加到路径依赖图的依赖边集合E中;如果活动i与活动j间不存在控制依赖,则无需添加边;1.7根据日志路径中所有活动结点以及它们之间的依赖关系确立路径依赖图TDG的活动结点集N和依赖边集E。3.根据权利要求1所述的基于路径依赖图的服务组合行为合规性度量方法,其特征在于:所述步骤(2)中具体包括以下步骤:2.1将DPNML格式描述的服务组合文件分解为若干个不包含选择结构的子过程;2.2确定参考路径最有可能属于的参...
【专利技术属性】
技术研发人员:宋巍,刘红玉,钱祥星,张学伟,黄青青,
申请(专利权)人:南京理工大学,
类型:发明
国别省市:江苏;32
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。