【摘 要】
：
在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务的控制和数据因素,从而可以有效应对数据感知的BPEL服务替换问题.我们使用一个旅行代理BPEL服务替换案例阐明了本
【机 构】
：
南京理工大学 计算机学院, 南京210094;南京大学 软件新技术国家重点实验室, 南京210093
论文部分内容阅读
在开放、动态、多变的Internet环境下,服务替换是保证面向服务的软件系统持续可信的重要手段.现有方法大多在控制流模型层面上进行BPEL服务的可替换性分析,而较少考虑BPEL服务中的数据因素.为此,本文提出一种基于程序依赖图的BPEL服务可替换性分析方法,该方法综合考虑了BPEL服务的控制和数据因素,从而可以有效应对数据感知的BPEL服务替换问题.我们使用一个旅行代理BPEL服务替换案例阐明了本文方法的有效性和可行性.
其他文献
云计算系统通常覆盖大规模的软硬件资源.软硬件系统的系统故障,包括硬件失效、软件崩溃、网络不稳定等情况在云计算系统规模足够大的情况下将成为一种常态现象.为保证在发生系统故障时候云服务的可用性,云计算平台需要具备一定的能力应对系统异常并保证平台的最小可用性,即云计算平台需要具备在异常情况下的存活能力. 本论文的主要研究云计算平台的生存性问题,设计并提出一种云计算平台生存性机制,利用虚拟化技术把硬件环境
提出了一种基于小波变换与混沌映射的自适应图像水印算法.该算法中水印由混沌序列生成,在宿主图像的低频系数中嵌入水印信息,嵌入时根据低频逼近系数和高频系数的特点以及树结构关系,给每一个低频系数确定一个相关掩蔽参数,并用此参数控制其对应低频系数嵌入水印时的相对修改强度.实验表明:使用该算法具嵌入的数字水印具有很好的隐蔽性、安全性、自适应性及较理想的鲁棒性,是一种行之有效的图像版权保护方法.
工作流调度优化已成为分布式计算的挑战性研究课题之一.分布式工作流调度模型的核心是根据业务逻辑工作流的控制依赖和数据依赖关系,屏蔽服务共享操作的复杂性,选择最佳的服务实例有效组合起来协作完成用户实际需求.本文针对分布式工作流的特点,提出了基于微粒群的整数-二进制编码业务路径替代调度算法IBPSOA(Integer-Binary coding Particle Swarm Optimization A
云计算在企业软件市场上具有相当大的潜力,它给 SaaS (Software as a Service)带来了机遇.传统的 Web 系统向多租户 SaaS 应用的转型可以重复利用软件资源,降低软件再开发的的成本和风险.然而目前缺乏通用的迁移工具和方法.本 文首先在此背景下提出了一种基于数据中间件的传统 Web 系统向多租户 SaaS 应用转换的通用方法.该方法松耦合,对具体的应用层透明.其次,详细描
为了解决无线Mesh网络(Wireless Mesh Networks,WMN)中业务对信道资源的过度竞争而导致的信道利用率低下及时延表现不佳问题,提出一种无线Mesh网络环境下针对时延敏感业务的时延控制机制.该机制首先通过分析无线Mesh网络中信道利用率与节点尝试发送数据概率的关系,将节点尝试发送数据概率控制在信道可有效支撑的一定范围内.然后将时延与节点尝试发送数据概率作为NUM模型的约束参数,
流量测量是网络维护和异常诊断的前提.本文针对华北某省实际运营的CDMA2000 3G核心网流量进行了测量与分析.为解决流量采集的问题,设计并实现了一个3G流量采集系统.测量内容包括IP报文长度分布、TCP选项、用户吞吐量以及TCP往返时间等.对测量结果进行分析并与已有的测量结果进行了比较,进一步提出了减小MTU提高3G网络性能的方法.这些测量结果还可以为3G网络的维护、异常诊断以及3G流量建模提供
本文在分析互联网海量存储各种NOSQL数据库、电子商务环境下数据特点及现有数据模型的基础上,根据Bigtable的理论,提出了海量存储系统(HSS)存储数据模型,并对系统进行了设计,给出了系统架构及各个数据和控制流程.最后分析系统可能存在的瓶颈,给出测试性能数据,满足性能要求.
根据无线Mesh 网络多网关选取问题与选播路由问题的相似性,提出一种基于选播的无线Mesh 网络网关选取模型,设计了相应的无线Mesh 网络网关选取路由算法.该模型将所有网关节点抽象成一个选播组,通过由所有的网关节点组成一个网关树,实现网关组成员的管理与维护.网关选取路由算法以时延为度量,通过有效的选播机制自适应地查找“最优”网关节点为客户节点服务,以提供响应最快的高质量的因特网接入服务.实验结果
随着计算机设备在医学图像领域的大量应用和数字图像技术的快速发展,医学影像信息数据急剧增长.如何有效的集成、管理和分析如此大规模的医学数据,仍是一大挑战.本文将提出一种基于云计算技术的医学信息集成方法,将分布式数据存储和并行计算技术应用到医学信息集成中,用以实现离散的医学信息系统中各类异构医学数据信息的集成、共享、有效整合及应用.并在此方法的基础上,构建一个医学信息整合中心原型,并对集成方法的有效性
提出了一种不完全信息条件下的可生存网络存储系统方案优选模型.该模型基于可生存性指标构建了证据源,给出了存在空缺值的决策评估矩阵,针对传统方法无法处理不完全信息情况,提出了基于DS证据理论的方案评估方法;同时,为了处理决策评估矩阵中以不同形式描述的取值情况,给出了点值、区间值、模糊值等取值形式的隶属度函数,采用了基于信任区间的多属性决策规则,以获得方案优劣排序结果.最后,通过网络存储系统方案优选实例