语义Web服务组合策略

针对语义Web服务组合需要解决的问题,提出一种基于3种语义Web服务方法构架实现的语义Web服务组合方法,通过重用已有的Web服务满足用户高质量的应用需求,并阐述了这3种语义Web组合方法存在的不足,明确了语义Web服务组合的研究目标.

面向跨企业多方协同应用的Web服务安全模型

现有的Web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的Web服务安全模型,将Web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基于Secure-WSCDL的建模工具、转换工具和监控工具,实现SOA架构下业务模型与安全建模在软件工程生命周期中的同步。通过简化的国际贸易进出口流程实例,验证了该模型与相应工具的有效性。

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

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

Web服务业务流程一致性验证

在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。

基于Web服务和Docker容器技术的新高考志愿填报辅助系统

针对现行高考志愿填报辅助系统在新高考志愿填报辅助应用中存在采纳率较低的问题,提出基于Web服务和Docker容器技术的新高考志愿填报辅助系统。在系统硬件方面分析处理器选型与设计,在系统软件方面利用Web服务设计系统界面,实现新高考志愿填报辅助交互,利用Docker容器技术可视化高考志愿数据,并应用匹配算法个性化推荐新高考志愿填报院校与专业,完成基于Web服务和Docker容器技术的新高考志愿填报辅助系统设计。经实验证明,设计系统推荐院校与专业采纳率在80%以上,在新高考志愿填报辅助方面具有良好的应用前景。

基于区块链技术的Web服务器数据加密方法

为了提高Web服务器数据的安全性,文章提出了一种基于区块链技术的Web服务器数据加密方法。先进行Web服务器数据去重,以减少冗余数据,建立安全传输协议,通过智能合约、生成和分发密钥实现数据的加密传输,确保数据在传输过程中不被未经授权的第三方截获或篡改。利用区块链技术加密访问控制,保障数据的安全访问,实现数据的加密。实验结果表明,该方法的安全系数始终保持在0.98以上,证明了该加密方法的可靠性。

基于功能语义的Web服务发现方法

随着Web服务技术的发展与应用,基于功能语义进行Web服务发现已经逐渐成为服务使用者最为迫切的需求.而现有的服务发现机制还不能很好地解决这一问题.所以提出了一种基于功能语义的Web服务发现方法.通过定义Web服务功能描述模型,规范服务提供者和使用者对Web服务功能的描述;同时构建了领域功能本体,提出语义标注的机制,从而让用户可以基于功能语义发现Web服务.并设计了基于功能语义的Web服务描述语言,构建了原型系统,为基于功能语义进行服务发现提供了一种有效可行的方法.

基于WSRF实现网格与Web服务的融合

Web服务通知和Web服务资源框架规范提供了可扩展的发布/预订通知模式以及用Web服务为有状态资源建模的能力。介绍WSRF的核心规范,讨论WSRF在Globus Toolkit 4(GT4)的Java实现。最后给出一个基于WSRF和WS-Notification的开发实例,利用WSRF实现网格服务与Web服务的融合。

基于Pi-演算的BPEL4 WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。

基于语义距离度量模型的语义Web服务匹配排序机制

随着语义Web服务技术研究工作的不断深入,因特网上语义Web服务数量急剧增加。如何快速便捷地定位可用语义Web服务已经成为一个迫切且关键的问题。在语义Web服务匹配技术研究中,其中一个重要的研究主题就是语义Web服务匹配结果的排序机制。本文在综合概括和分析各种关于语义Web服务匹配结果排序机制的基础上,提出了一种基于语义距离度量模型的语义Web服务匹配结果排序机制,利用该排序机制,计算待匹配语义Web服务的语义相似度量,并依据此度量对语义Web服务匹配结果进行排序。该度量模型将语义Web服务引用概念间的语义关系转换成可精确比较的量化度量值,对属于相同语义匹配类型的匹配候选服务也能够分别计算语义距离,区分出相同匹配类型的候选服务与服务请求的匹配程度,从而达到改善用户对语义Web服务的搜索体验的目的。

Web服务编排描述语言WS-CDL的形式化模型框架

Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。

基于相对服务质量的Web服务集成策略

该文提出基于过程定义的Web服务集成模型,给出Web服务在服务群中相对服务质量的计算方法,为Web服务的集成过程提供选择依据。最后把Web服务集成抽象为多段图问题,给出采用动态规划的求解策略。

Web服务发现技术研究

Web服务近年来一直是学术界和工业界的研究热点,其中如何准确而高效地找到符合用户需求的Web服务,更是制约Web服务应用发展的重要的问题。目前,为了提高Web服务发现的质量与效率,有很多新颖且有效方法被提出。文中根据Web服务发现技术的研究现状,主要从系统结构、服务描述、匹配方法方面对当前的Web服务发现技术进行归类和介绍,分析和比较了各种服务发现方法的优势和缺点,据此提出了Web服务发现技术面临的主要问题并指出了今后研究发展方向。

Web服务组合研究综述

面对激烈竞争并且多变的市场,企业迫切需要企业应用集成和电子商务技术的支持,以便提高自身的竞争力和适应性。Web服务组合是获得上述目标的一个重要途径。对相关基本概念进行了综合定义,概述了该领域的早期研究,从典型研究方向对当前的研究进行了分类介绍并分析指出了各自不足。指出应用对服务组合的具体需求,详细讨论了该领域内的两个关键问题:QoS和语义。最后,对研究进行了总结,并指出了下一步主要的研究方向。

基于WSFL的Web服务组合

运用Web服务组合技术可以将越来越多的Web服务组合成一个更新更强大的服务。随着Web服务组合技术的发展,出现了各种用于描述和规范Web服务组合过程的语言。其中,WSFL是一种相对成熟的Web服务组合语言。介绍了Web服务组合的概念、方式、过程以及WSFL的相关概念,提出了使用WSFL在多个服务提供者之间进行商业过程的模型。

基于WSRF设计有状态Web服务资源

研究了WSRF的核心规范及其在Globus Toolkit 4中的java实现,结合具体实例论述基于WSRF创建有状态Web服务资源以及基于WS-Notification实现资源的发布/预定通知模式.

用WSE实现Web服务的签名和加密

介绍了一种实现Web服务安全通信的方法,叙述了消息的签名和加密的实现过程.介绍了使用WSE来对Web服务的SOAP消息进行基于消息的签名和加密的实现方法;并给出了一个利用WSE实现Web服务签名和加密的说明性实例.

面向功能语义增强与标签关联的Web服务标签推荐

为了提升标签推荐的质量,提出一种面向功能语义增强与标签关联的Web服务标签推荐方法。将语境权重融入TextRank模型,提取与服务功能契合度高的关键词,用于构建功能语义增强的服务表征向量;建立标签关联图,基于改进的GraphSAGE模型生成标签关联向量;利用KNN算法获取推荐的主标签与候选标签集合,面向服务表征向量和标签关联向量构建融合适配度与关联度的标签推荐方法。实验表明,所提方法在accuracy与F_(1)-score指标上优于当前流行的标签推荐方法,标签推荐质量得到提升。

面向语义增强与双尺度功能注意力网络的Web服务分类方法

服务功能特征的提取质量直接影响着服务分类的精确度.为提升分类精确度,本文提出一种基于语义增强与双尺度功能注意力网络的Web服务分类方法.首先,采取近义词替换的方式构建服务描述的孪生样本,在SimCSE框架下生成语义增强的服务功能向量.然后,基于标签共现关系建立服务功能关联图,构建双尺度功能注意力网络,生成服务功能关联向量.最后,将服务功能向量与功能关联向量输入softmax分类器实现分类预测.实验表明,该文所提方法相对流行的Web服务分类方法在准确率的提升区间为4.1%~8.65%,在F1-score的提升区间为4.21%~10.69%.

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

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