基于事务的分布式虚拟化环境下服务替换方法

分布式虚拟化环境的动态性与异构性,随时会导致运行在其上的服务组合中出现失效等情况,从而导致整个业务流程中断,极大影响整个系统的可信性.作为应对服务失效最常用的方法,现有的服务替换方法由于缺少事务支持,会导致替换后的服务组合的一致性与正确性缺乏保障.对此,以服务组合事务级属性为核心,提出一种基于事务补偿的分布式虚拟化环境下服务替换方法.首先,提出了一个支持事务级属性的层次化服务组合模型,然后根据服务间数据依赖关系来识别服务事务粒度,最后基于事务粒度识别与服务补偿机制,提出了一种服务组合失效处理方法,促使服务组合的可信性增强演化.实验结果证明,该方法保证了替换过程中服务组合的事务原子性和数据一致性,具有良好的扩展性.

基于服务替换的Web Services容错方法

现有网络服务(Web Services)容错方案存在资源开销大、与Web Services应用系统特性不一致等不足。针对该问题,根据Web Services应用系统特点提出基于服务替换的Web Services应用系统容错方法,其主要思想是在失效发生时使用网络中的等价服务替换失效服务。实验表明了该方法的可行性。

基于语义扩展类型论的云服务替换性判定研究

云计算环境下服务的动态性和易失效性是云应用的重要挑战,服务替换是其主要对策和关键研究问题。在类型论的支持下提出了一种新的云服务替换判定方法,该方法首先对会话类型论进行语义扩展以建模云服务行为,设计了典型云服务QoS类型实现服务质量判断,然后构造了语义会话类型和QoS类型的各子类型规则,最后以此完成了服务一致性和上下文兼容性命题判定与实施。通过应用判定实例展示和实验效果分析,表明该判定方法可行,并能为组合服务应用带来更高的执行成功率。

基于组合上下文的服务替换方法

随着用户需求的多样性和网络环境的日益复杂性,组合服务的复杂程度越来越高,在对失效服务进行替换时,为了减少被替换服务的冗余信息和提高替换方法的准确性,提出以待替换服务的组合上下文为研究对象,通过以下2个步骤完成替换:第一,基于已有的着色petri网服务工作流建模方法,提出服务的组合上下文信息采集算法(CCICA,composition context information collection algorithm),以服务的组合上下文为服务信息采集源;第二,提出基于编辑距离的服务替换方法(LDBSSM,levenshtein distance-based service substitution method),并将服务接口的依赖关系加入到了算法中。仿真实验表明,该方法不仅较好地减少了被替换服务的信息冗余,而且有效提高了服务替换的准确性,具有更好的实用价值。

Web服务组合中基于QoS的自底向上服务替换

为了适应开放环境中动态变化的Web服务资源,保证组合Web服务持续满足业务需要,提出一种支持QoS约束、基于自底向上的服务替换方法.从组合中需要被替换的单个服务出发,基于合成模式迭代地选出可以作为整体被替换的服务子图.使用历史数据及QoS约束对这些服务子图的备选替换服务进行筛选,并基于多属性决策方法(MADM)进行效能评估,最终选出满足全局QoS约束且使效能最大化的服务.实验结果表明,该方法能够有效扩大替换服务的选择范围,替换结果优于传统服务替换方法的结果,可以更好地保证组合服务的整体QoS指标得到维持和优化.

融合服务聚类与协作相似度的服务替换方法

当前服务替换方法多关注于替换服务与失效服务在功能和质量层面的匹配,缺乏对两者协作关系的考量。针对上述问题,提出一种融合服务聚类与协作关系的服务替换方法。首先,利用服务之间的组合关系构建服务协作图谱,基于node2vec进行序列采样并生成协作向量,进而计算服务之间的协作相似度。然后,通过引入服务簇缩减替换时的服务查找空间,从功能和质量层面快速构建候选替换服务集合。最后,在候选替换服务集合中综合服务质量评分和协作相似度实现可替换服务的择优推荐。实验证明该方法可以有效提高服务替换的效率与合理性。

基于权重控制剪枝的无人机服务替换方法

无人机执行飞行任务期间具有不稳定性,针对无人机节点崩溃后确保任务完成率的问题,依据崩溃任务的组合服务替换流程,生成替补无人机组合服务节点图,采用权重控制剪枝算法,以两步剪枝的方式对具有多维度资源的无人机节点进行处理以减少最优资源映射路径搜索复杂度,完成组合服务图中最佳无人机服务路径的快速查找,实现节点的最佳替换以及任务的自适应动态调整,以提高无人机协作效率和任务完成率。在不同路径数量的无人机替补服务网以及不同连接情况下验证了权重控制剪枝算法的有效性,可以有效地提高无人机备选方案的查找效率,完成节点的快速选择替换。

Web信息系统的服务替换技术研究

本文对web信息系统服务替换技术进行了归纳和总结,简单地概括和阐述了服务替换的整个流程;最后介绍了服务替换技术的研究现状,重点讨论了几种替换方法,指出了目前服务替换技术中需要解决的一些关键问题。

基于Pi-演算的Web服务可替换性验证

通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.

基于服务簇的服务组合替换与分析

提出了一种基于服务簇的服务替换方法.将服务库中服务聚类形成服务簇,并建立相应的服务簇网元及其矩阵模型.假设基于服务簇的服务组合已建立,通过分析服务组合流程,构建了组合服务网模型.根据失效服务网元标准矩阵和组合服务网模型,提出了一种替换服务的快速查找与替换算法.实验结果例证了本文方法的正确性和有效性,并表明基于失效服务网元标准矩阵实施服务替换,可提高服务的替换效率,保持服务组合模型的健壮性.

基于行为效果的服务可替换性分析

服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.

基于Petri网的Web服务描述及其可替换性分析

为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。

一种考虑消息类型的服务可替换性验证方法

针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。

Web服务流程相容性和相似性分析

服务组合和服务替换是面向服务计算的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构性的概念,证明良构性能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.

基于多元Pi-演算的Web服务组合描述与验证

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.

基于服务簇的Web服务绑定方法

针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。

城市群级地理信息公共服务平台中的关键技术与创新研究

浙江省自2006年开展数字城市地理空间框架建设项目以来,各地都根据自身实际选择了不同的建设模式,因而在关键技术和创新上也各不相同。结合浙江省委、省政府建设浙中城市群的战略部署,2012年,浙江省测绘与地理信息局向国家测绘地理信息局申报,在浙中城市群范围内开展我国第一个以跨行政区域的城市群为单位的数字城市地理空间框架建设试点。为满足该试点项目跨区域、县市统筹、主/副/分结合等的建设需求,在城市群级地理信息公共服务平台软件的开发中进行了一系列的关键技术研究,并进行了技术创新,较好地满足了城市群内地理信息资源共享和交换的需求。

一种改进的基于模糊控制理论的组合服务QoS自适应决策模型

一直以来，Web服务组合是Web服务研究领域的重点，而大多数研究集中在服务如何能够正确地组合，对组合服务能否自适应执行的研究较少。本文对Web服务及其组合进行基于模糊数学的描述，从Web服务的可替换性入手，提出了一种改良的有QoS保证的Web组合服务的自适应决策模型。最后，对该模型进行了验证，实验表明，该模型可以在有QoS保证的条件下，实现Web组合服务的自适应性。

自闭症儿童机构康复照顾者替换需求调查

[目的]探讨自闭症儿童机构康复照顾者对替换照顾服务的需求情况,为开展自闭症儿童机构康复替换照顾服务提供依据。[方法]便利抽取桂林市某公立自闭症儿童康复机构主要照顾者66人为调查对象,就替换需求的情况进行调查。[结果]45人(68.2%)表示在机构康复照顾过程中需要替换服务,43人(65.2%)不接受付费替换服务;替换需求服务项目中需康复照护38人(57.6%),心理护理24人(36.4%);影响照顾替换的内容主要是对儿童的接受48人(72.7%);替换照顾价格45人(68.2%),照顾质量42人(63.6%)和被照护儿童是否接受替换照顾者40人(60.6%)等;职业情况、居住地及每日照顾时间不同的照顾者对替换照顾需求比较差异具有统计学意义(P<0.05)。[结论]自闭症儿童康复机构主要照顾者对替换照顾服务的需求较高,建议政府制定相关政策和购买机关服务,建立适合我国国情的自闭症儿童机构康复照顾替换服务机制。

基于B+树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B+树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。