类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

基于Pi演算的人工神经网络模型

人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向.Pi演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模,因此Pi演算和人工神经网络的基础都是并发计算.在这个基础上,首先通过Pi演算建模人工神经网络,证明了它们之间的等价性,然后设计了基于Pi演算的人工神经网络分类器.最后,讨论了这个模型的优越性.     

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

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

多Agent协同系统的Pi演算建模方法

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法Pi演算进行建模． 首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型, 然后给出了Agent之间交互模式的Pi演算建模方法． 再以家庭物联网系统作为多Agent协作实例, 应用Pi演算对其建模, 模拟多个Agent协作过程中的通信． 最后, 采用移动工作台对模型的语义进行了验证, 表明了Pi演算对MAS建模的适用性．     

基于Pi演算的前沿调度算法并行性建模及实现

前沿调度算法是分布式环境下任务调度算法——关系演化算法的第一阶段。本文利用Pi演算的通道和表编程概念,提出对前沿调度算法并行性建模,并通过Pict语言编程实现。实验证明这种算法实现比传统的C语言实现更加高效,从而能够将Pi演算应用到关系演化算法的三个阶段中,提高关系演化调度算法的效率。本文通过对不同类型的任务调度模型的拓扑结构进行建模对比,验证了使用并行性的Pi演算对前沿调度算法实现的效率的优越性。     

基于混合协同过滤的Web服务QoS预测方法

为了解决由于服务质量(QoS)历史数据缺失而造成基于QoS的Web服务选择无法得到满意结果的问题,提出一种基于混合协同过滤的Web服务质量预测方法.该方法根据目标用户和目标服务自身特性和相关区域信息,选用不同的预测方法计算缺失的QoS值.如用户(或服务)属于特殊用户类(或特殊服务类),或者服务对区域敏感,则采用基于用户和基于服务的预测方法.否则,利用改进后的欧氏距离测量服务和用户的相似度,并通过引入平衡因子整合基于用户和基于服务的2种不同预测方法.基于真实公开的数据集的实验结果表明,该方法具有较高的Web服务QoS的预测精度,尤其在历史QoS数据稀疏情况下.     

一种自治愈的QoS感知的Web服务组合方法

基于工作流的服务质量（QoS）感知的Web服务组合是Web服务领域的一个研究热点,其目标是选择一个满足QoS约束且QoS效用最大的组合服务。该文给出了常见工作流的一种形式化定义方法及虚拟任务的合成规则,从而提出了一种基于top-k优选策略的Web服务组合方法,其核心思想是递归运用虚拟任务的合成规则将原工作流转换成一个虚拟任务,并在每次合成虚拟任务时,仅为其保留k个优选的服务或组合服务实例。该文还提出了一种新的寻找替换服务的方法以支持自治愈性。仿真实验分析了k值对效用的影响、算法的效用与时间开销以及可替代性能。     

基于应用Pi演算的WTLS握手协议建模与分析

针对WTLS握手协议中的特殊密码原语,用等值理论定义了椭圆曲线DH密钥交换原语,用可信机构颁发数字证书的方式定义了数字证书原语。并在密码原语定义的基础上建立了WTLS握手协议的形式化模型,最后用Pro Verif工具分析了协议的秘密性和认证性。结果表明WTLS握手协议满足其安全性说明。     

Web服务QoS信息获取与处理方法研究

提出了一种面向领域的QoS模型,论述了获取与处理各种QoS信息的方法．同时,对层次分析法在确定QoS属性权重中的运用、Web服务QoS计算方法进行了深入的探讨并给出了示例．     

基于QoS动态规则库的服务选择方法

传统基于XML的Qo S描述方法缺乏语义,给服务的优选带来了困难,本体的出现使得Qo S信息有了新的具有语义的描述方式,但是目前的Qo S本体模型的服务优选方法大多建立在本体匹配等算法上.在总结目前出现的典型的Qo S本体模型以及相关的服务优选方法基础上,提出一种基于动态生成的规则库的推理方法实现服务的优化选择.     

粒子群算法求解Web服务组合中基于QoS的服务选择

针对现有web服务组合中服务选择技术的不足,提出了一种基于粒子群优化算法的多
目标优化策略,用于解决web服务组合中基于服务质量（QoS）的服务选择全局最优化问题.
将web服务选择全局最优化问题转化为一个带QoS约束的多目标服务组合优化问题,利用多目
标粒子群算法的智能优化原理,通过同时优化多个QoS参数,最终产生一组满足约束条件的P
areto最优解. 实验结果证明了该算法的可行性和有效性.     

基于改进蜂群算法的 Web服务组合优化

Web服务技术的快速发展使用户对QoS （quality of service）越来越关注。为了进行基于QoS的Web服务组合优化,采用4种典型的QoS衡量指标建立了组合Web服务QoS量化模型;针对人工蜂群（artificial bee colony ,ABC）算法搜索效率不高和过早收敛问题,引入禁忌策略和混沌优化进行了改进,并将改进算法用于组合Web服务的QoS优化;最后,通过仿真实验对模型和算法进行了验证。结果表明,改进算法全局优化能力全面提高,并且能较好地解决组合Web服务QoS全局优化问题。     

基于服务组链的Web服务组合方法

针对带有分支和汇合结构的并发服务组合问题,提出了一种Web服务组(WSC)模型。WSC模型除了能够描述多个前驱服务或多个后继服务同时需要被组合的并发组合关系和顺序组合关系外,还能保证被组合服务的可执行性。在此基础上,扩展基于服务链组合方法,提出一种基于服务组链的服务组合方法。该方法能够采用统一的方式处理顺序服务组合问题和并发服务组合问题。最后通过实验和实例证明了本文方法的有效性。     

基于QoS的Web服务注册和发现的高效多Agent架构

针对Web服务识别,为服务注册和服务发现提出了一种多Agent架构,包括响应Agent、认证Agent和查询Agent等,并在此基础上提出了Web服务质量的评估算法.实验表明该多Agent架构在实际Web服务中对服务注册和服务发现非常重要.     

有QoS保证能力分组交换网络的体系结构设计

通过对理想化分组交换网络功能的形式化描述,说明了互联网在QoS保证方面存在的不足,分析了互联网对交互式实时业务无法提供服务质量保证的原因,为支持服务质量保证功能,从体系结构角度提出并论证了理想化分组交换网络体系结构应创设的两个新的设计原则。     

基于QoS的Web集群系统设计与实现

采用集群技术建立高性能Web服务器是当前的发展方向,本文设计并实现了一种基于QoS的Web集群系统,以资源优化为中心,基于QoS优化策略来区分不同类型的用户请求分配,实现了对客户端服务的有效区分,提供了QoS性能保证,能有效提高Web集群系统的整体性能.     

基于多维QoS的跨企业定制服务模型

通过对跨企业定制服务组合成因的分析,提出了以软件行业为背景的定制服务多维服务质量模型,并给出了定制服务组合模型以及服务质量需求模型计算方法,且通过实例说明模型和方法的可行性与有效性。     

基于GK软交换的视频会议QoS保证策略

如何在IP网络上保证用户信息传输的质量就成为一个不容忽视的重要问题.基于对H.323协议的视频会议系统的分析和H.323视频会议系统中QoS的影响因素的研究,提出了基于GK软交换控制的QoS策略,并加以研究实现.     

基于演算的工作流建模方法研究

工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模.首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用π演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在π演算中的表示.该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等.