摘要：Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系统体系结构风格,并针对这种风格设计了体系结构描述语言WSC/ADL(Webservicescomposition/architecturedescriptionlanguage),WSC/ADL是基于体系结构的、自顶向下的Webservices组合开发的研究基础,其组成包含描述Webservices的服务构件、描述Webservices之间交互的连接件以及建立服务构件和连接件实例联系的配置.给出了WSC/ADL的详细分析介绍和实例说明,并与相关工作进行了比较.

摘要：针对当前互联网中存在的2个亟待解决的问题:OTT(over the top)流量占用大量网络带宽以及信息高度冗余,提出了一种具有差异化服务能力的未来网络体系架构——服务定制网络(SCN,service customized networking)。SCN基于软件定义网络设计,继承了其数据控制分离以及网络可编程的主要特点,并针对当前互联网中的问题,增加了网络虚拟化能力以及内容智能调度能力。通过构建具有不同等级服务能力的虚拟网络,SCN可以避免OTT业务大量占用带宽。同时,通过信息资源智能有序调度,SCN可以消减信息冗余。在小规模真实网络平台上进行的实验结果表明,SCN确实具备为不同用户提供差异化服务能力以及有效减少信息冗余的能力。

摘要：为了完成动态多变环境下业务过程的自适应调整和过程间的动态装配,提出一种基于情景信息和面向规则的业务过程适变方法。该方法采用规则映射服务与事件或情景信息的关联关系,基于服务系统可以根据当前上下文触发规则动态规划出满足业务目标的活动序列。该方法提出的动态规划算法解决了ABC供暖公司暖气报修项目中业务过程的动态装配问题,还提供了求解运行时过程实例自适应问题的一般性解决方案。另外,为支持对所生成活动序列的偏好选择和人工干预,设计了过程评估策略,实现了用户对过程的个性化选择和调整。仿真实验表明,该方法能有效并以较高效率求解动态环境下业务过程的自适应问题。

摘要：以SEMOPS模型为基础，提出了一种新的通用移动支付模型及其协议。该模型与协议具有应用无关性。通过对交易数据的变换处理和为该模型设计的专有协议，使得用户的交易数据等敏感信息对于支付系统是透明的。另外，由于引入可信的第三方实体，降低了对银行等传统可信实体的信任依赖程度，因此提高了系统的安全性。利用形式化的方法验证了所设计的移动支付协议可以保证支付过程的不可抵赖性。

摘要：网络功能虚拟化(network function virtualization,NFV)旨在以软件的方式实现网络功能从而替代传统网络中的专有硬件设备.为了应对日益增长的资源密集型需求,面向软件的网络功能虚拟化带来了如虚拟网络功能的管理、低延迟的调度和虚拟网络资源分配等问题.虚拟网络功能调度问题本身为NP-hard,在虚拟网络功能资源调度延迟的特定问题上,为保证良好的用户体验,需要确保网络资源被合理地分配和协调以防止资源的过度供应和保持端到端低延迟.针对网络资源调度的延时问题建立了以最小化资源调度总体服务延迟为目标的整数线性规划模型.此外,为了满足网络动态性较高的特性,设计了一种基于贪婪的启发式算法,此算法首先构建辅助图,然后根据考虑到网络传播时延影响的不同业务链之间的时延影响分析来选择资源调度方案,并且对很多点处理功能采用了多路传输的方式.最终的实验结果表明:所提算法可以有效地指导模型的求解,在降低网络总体服务延时方面比之前相关研究有5%～15%的性能提升.

摘要：数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机制.并发程序一般都可以基于生产者-消费者模型进行CCRP分析.以带数据源的生产者-消费者为例详细分析了CCRP,给出了单条件、条件交叉两种重复控制算法,算法具有不同的适用范围,都可以作为固定模式来解决CCRP,基于Petri网作了相关性质的证明与仿真.并发程序实验结果说明了并发重复控制的必要性和有效性,比较了两种算法的差异.该研究对于数据竞争检测、并发程序设计具有参考价值.

摘要：网络可靠性是虚拟网络设计的一个重要指标,目前得到了越来越多的关注。该文对轻量级可靠的虚拟网络映射问题进行研究。目标是不预留底层网络保护资源,当底层物理网络单节点失效时,虚拟网络拓扑除失效虚拟节点外仍保持连通,将损失降到最小。文章首先给出了存在轻量级可靠虚拟网络映射可能的必要条件并加以证明,然后基于此条件对面向底层单节点失效的轻量级可靠虚拟网络映射问题进行整数线性规划建模,最后设计了一种新的启发式算法对其进行求解。该算法包括拓扑感知的虚拟节点映射策略和一种基于禁忌搜索(tabu search)算法的虚拟链路映射策略。模拟实验结果表明,该文提出的算法在得到轻量级可靠虚拟网络映射的同时,仍能获得较高的底层网络长期运行平均收益和底层网络资源利用率。

摘要：针对瑞利衰落信道提出了一种改进的自适应调制编码（AMC）与选择性自动重传请求（SR-ARQ）相结合的无线网络跨层设计方案.通过在计算不同调制方式对应的信噪比区间门限值时使用信道状态信息的二阶统计特性来计算误比特率（BER）,使得选取的调制方式因考虑了无线信道的时变特性而更为合理,从而保证了为用户提供有服务质量（QoS）保证的服务.同时,对系统信道状态和系统吞吐进行了建模,并提出了N-成功/N＋1-失败系统吞吐模型.在系统模型的基础上,对比分析了改进的方案和现有方案的性能指标.仿真实验证明,改进的AMC/SR-ARQ方案可以真正确保网络的平均误包率约束条件并提高平均频谱效率.

摘要：为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性.

摘要：提出基于人工智能技术的多智能体服务链资源调度架构,设计一种基于强化学习的服务链映射算法。通过Q-learning的机制,根据系统状态、执行部署动作后的奖惩反馈来决定服务链中各虚拟网元的部署位置。实验结果表明,与经典算法相比,该算法有效降低了业务的平均传输延时,提升了系统的负载均衡情况。