基于MDA的语义Web服务的组合与验证

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.     

基于OWL-S的Web服务组合的验证研究

为保证基于OWL-S的Web服务组合的正确性和可靠性，验证组合服务的交互协议．采用一种三层体系结构思想，即以OWLS来组合服务，以GA模型为中间模型，以Promela模型为验证模型．设计和实现了服务组合模型到GA模型的转化，并将GA模型转化为Promela模型，最后利用SPIN工具完成验证。由于采用了中间模型．该方法具有极好的灵活性和可扩展性，并且较好地解决了Web服务的特征给模型验证带来挑战的问题。     

基于Sub Web Service服务组合方法

在当前Web服务动态组合研究的基础上,提出了一种基于Sub Web Service的混合Web服务组合方法。结合静态与动态服务组合方法,将动态生成的服务组合计划描述保存在缓冲池中,当用户使用该组合服务时,系统将会在缓冲池中搜寻此服务组合,并为请求调用它。在组合算法中提出了基于Sub Web Service的组合算法,将多输入多输出的Web服务分解为多输入单输出的Sub Web服务执行服务组合。在避免重复动态组合服务的基础上,减轻了Web服务在组合过程中对多输出接口的依赖性,提高了系统服务效率。     

基于上下文的Web服务动态组合

合成现有Web服务以生成功能更强更复杂的组合服务成为必然,组合服务的上下文信息具有十分重要的作用.针对Web服务描述语言仅支持服务功能性描述的不足,扩展了非功能属性描述,定义了一个Web服务的上下文模型,设计实现了感知上下文和执行动态服务替换的组合服务平台,通过运行旅游服务对该平台系统进行了有效验证.     

Web服务组合综述

近年来,Web服务技术作为服务计算(SOC)和面向服务架构(SOA)的主要实现技术,已经得到广泛应用,工业界和学术界分别从不同的角度对Web服务的相关技术展开研究。本文详细阐述了服务组合的概念、框架和分类,分析了几种常用的Web服务组合方法,并对这几种组合方法作了比较,最后,对Web服务组合方法进行了总结。     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

Web服务组合建模的研究

随着Internet上Web服务的增多,单个Web服务的功能有限,Web服务的组合越来越受到关注,而Web服务组合的建模是Web服务组合的关键。文中从服务质量入手,提出了基于图的Web服务组合建模和基于背包问题的服务组合建模,并用不同的方法分别在模型上寻找解决方案。     

基于时序约束分解的QoS感知的Web服务组合

基于时序约束的QoS感知的Web服务组合(TC-QSC)问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了越来越多的关注.本文提出了一种时序约束分解方法,把施加于整个或部分工作流的时序约束分解为施加于每个活动的局部时序约束,从而将TC-QSC问题转换为一般的QoS感知的Web服务组合(QSC)问题,并通过过滤不满足局部时序约束的候选服务,一定程度上减小原问题的规模.这种时序约束分解过程主要依赖于工作流及其涉及的活动,而与各活动的候选服务关联不大,复杂度较低.实验测试了该方法的效果与时间开销,验证了其对于局部优选算法的必要性.     

基于服务质量的Web服务组合机制研究

随着Web服务的流行和增多,单独的web服务未必能实现用户需要的功能,用户需要的某种功能可能需要组合利用多种web服务来满足现实要求.本文根据复合服务的不同基本类型,提出了对复合服务的服务质量的计算方法.基于用户反馈和服务引用度的方法利用了信息检索中的用户反馈和计算文档引用度的方法,利用用户体验和隐性知识来发现潜在的优秀服务,本文提出了其数学模型和服务相似度计算方法.     

基于MapReduce的并行Web服务自动组合

如何在大规模的Web服务集合中进行快速、高效的自动组合是当前Web服务组合研究与应用的难点.传统的Web服务自动组合方法大多建立在单机计算基础上,服务数量一旦过多,规划或搜索空间随之膨胀,组合效率低下.本文提出了一种分步分治、深度优先搜索的Top-k Qos服务组合算法,并采用MapReduce实现了分布式、并行的服务自动组合过程.实验结果表明,该方法在应对大规模的服务集合时,能快速、高效的提供满足用户需求的组合服务.     

基于分层和服务总线联邦的无线电监测服务调用研究

本文针对无线电监测一体化建设中面临的异构设备调用和跨系统、跨地域设备调用问题,提出了基于分层的服务总线和服务总线联邦的架构设计,为实现监测设施的透明化掌控和提高全域监测设施的联合作业能力提供了解决思路,同时分析了该解决方案的其他应用可能和优势,为相关行业一体化建设架构设计和服务调用提供参考。     

STC算法的网络服务分类技术研究

针对现有的大部分网络服务分类机制基本上靠人工分类的缺陷,以及半自动分类技术准确率和查全率的效率较低等问题,进行了基于后缀树聚类算法的网络服务自动分类技术研究,同时提出概念与例子层次树结构来表示部分存在上下位关系或者同义关系的聚类标签,在后缀树聚类基础上对这些标签进行二次聚类。通过引入文本预处理和WordNet语义相似度计算的基础上来实现服务自动分类。实验结果表明,该服务自动分类算法具有较好的准备率和查全率,另外根据WordNet提取出抽象的聚类标签,有利于对日益剧增的网络服务进行抽象层次的分类,提高了海量网络服务分类的效率。     

基于服务计算的服务组合研究

通过分析现有Web服务组合系统的组合方式及特点,将服务计算引入到Web服务组合领域,提出了基于服务计算的Web服务组合系统方法,设计了基于服务计算的服务组合模型。通过松散耦合的服务组合模型来实现Web服务组合,可为服务消费者提供一个适当的、开放的、按需配置的安全的Web服务组合环境。     

Web service composition algorithm based on TOPSIS

Independent quality of service(QoS)registration center is difficult to monitor QoS with lots of requests in Internet environment with a large number of services and lots of service requests.It is able to reduce the load and decrease the failure rate by using multiple QoS registration centers to monitor QoS of some services with lots of requests.In addition,the heterogeneous QoS data close to user’s habitual expression and adapts to the environment with complexity and uncertainty.This paper introduces a novel Web service composition algorithm based on technique for order preference by similarity to an ideal solution(TOPSIS)(WSCA_TOPSIS)to solve the above difficulties for the first time.WSCA_TOPSIS can support multiple decision-makers and heterogeneous QoS data.It includes three main steps:normalizing decision matrix,evaluating alternatives synthetically and evaluating group alternatives synthetically.Other contributions of the paper include a novel algorithm of aggregating QoS and a set of experiments that demonstrate the benefits and effectiveness of our approach.Experimental results show that the proposed algorithm can better support Web service composition with heterogeneous QoS data and multiple decision-makers.     

基于差值诱导的Web服务评价可信度的评估

Web 服务的评价信息为服务选择提供了重要的参考依据,但服务评价信息具有主观性。结合客观QoS（服务质量）属性数据及请求者评分数据,采用差值诱导法评估历史评价信息是否可信。首先利用不同服务请求者调用同一服务产生的不同QoS属性数据,判断请求者之间的相似关系;然后基于该相似关系,融入对应请求者的主观评分,依据差值法构造可信度评估算法;最后结合所构造的算法,得出可信度平衡因子,判断请求者的评价是否可信。算法分析以及实验结果表明该方法是可行及有效的。     

MOM-S：基于Web服务的消息中间件系统

传统消息中间件多基于某些特定的平台或开发工具。这些中间件大多是紧密耦合的，并采用了大量互不兼容的传输协议，因此缺乏足够的扩展性和灵活性。针对这些问题，介绍了一种新型的面向服务架构的消息中间件——MOM-S的设计与实现。利用面向服务体系结构来组建消息中间件，MOM-S不仅增强了原有系统的灵活性，提供了服务扩展和重组支持等，还增强了消息传输的可靠性。更进一步，MOM-S提供了对消息多播、广播和路由转发的支持，还将扩展对传统消息中间件协议的支持。最后，通过与实验系统的性能对比和实际应用，证明了该系统的广阔前景。     

基于语义扩展的Web服务发现方法

提出了一种基于语义扩展的Web服务发现方法,对服务描述和服务请求中的领域概念进行了同义扩展、特征扩展和合成扩展,在输入输出的匹配上提出了“扩展的语义包含”的概念,实验表明,该方法在不降低服务查准率的前提下,提高了服务的查全率。当单个服务不能满足服务请求时,尝试服务组合匹配服务请求的方式,采用基于H*算法的启发式的服务组合方法,将问题转化为搜索从初始节点到目标节点的通路问题,该方法采用估值函数引入了启发知识,提高了搜索的效率。     

基于蚁群算法的Web服务选择

Web服务组合是为Web用户提供高质量、个性化服务的主要手段,而Web服务选择是进行组合的前提和基础。阐述了蚁群算法的原理,分析了Web服务选择的模型,把蚁群算法引入Web服务选择领域,将基于QoS的Web服务选择问题转化为最优路径选择问题。给出了使用蚁群算法解决Web服务选择问题的实施步骤,对比分析了蚁群算法在不同参数下对服务选择正确率的影响,通过具体的场景测试了蚁群算法对于解决Web服务选择问题的有效性。     

Uplink scheduling scheme for cloud service based on software-defined wireless network

A LTE uplink scheduling scheme matching the features of wireless cloud services was proposed for the SDWN (software-defined wireless network). The scheme first solved the resource allocation problem by using the binary integer programming method, and then calculated the optimal transmission rate of cloud services in each time slot using the method of dynamic programming, finally adjusted the transmission rate of cloud services proportional to the current channel status using QoS control method in the framework of SDWN. The proposed scheme minimizes the energy con-sumption of cloud services while ensuring the transmission rate demand of multiple services. The performance of the al-gorithm is verified by simulation.