基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

Web服务组合建模的研究

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

Web服务组合分布式协调模型研究

Web服务环境下的B2B交互需要事务机制来保证其可靠性。尽管目前业界已存在许多Web服务组合模型和描述语言，但对事务处理的支持还不够。文章通过分析Web服务组合中的事务处理需求．扩展WSBPEL的事务处理能力以支持流程的分布式协调，并实现了Web服务组合分布式协调原型系统，最后通过一个应用场景提出基于WSBPEL的分布式协调模型并进行了分析．     

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.     

基于Sub Web Service服务组合方法

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

基于扩展自动机的服务组合静态与动态验证方法

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对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服务动态组合

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

云环境下Web服务组合算法研究

云计算环境促进了面向服务的分布式应用的发展和Web服务组合的高效实现。文章分析了云计算环境下Web服务组合模型以及工作过程,研究了Web服务组合优化的相关智能优化算法和基于Web服务顺序知识的人工蜂群算法。     

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

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

具有全局质量保障的Web服务组合研究

随着面向服务架构（SOA）的开发技术不断成熟,Internet上涌现出功能相同或相似的Web服务集合越来越大,如何从这些集合中选出满足用户质量（QoS）的组合Web服务是目前国内外学者研究的热点问题。针对保证组合服务的质量（QoS）全局最优问题,基于图的理论构建服务组合模型,并在此模型上提出相应的服务选择算法,保障选择的组合服务的质量（QoS）全局最优。     

利用新的模糊免疫分类器的评价模型设计

随着Web服务数量的增加,根据Web服务的多维Qos属性度量Web服务质量成为研究热点之一。提出了一种利用模糊免疫网络记忆分类器的Web服务Qos评价。在该评价中首先结合SOA中Web服务描述给出了Web服务QoS评价模型。然后提出了一种新的人工免疫分类算法——FAINMC,利用该算法利用该算法对大量的Web服务实现准确、高效的分类。通过每类记忆细胞反应的特征得到相对应服务等级,最后使用模糊隶属度和百分法得到了反应Web服务质量优劣评价值。通过原型系统对模拟Web服务属性数据进行测试,表明该方法优选出QoS值尽可能大,QoS向量分量的特征分量一致性好的Web服务。     

Web service discovery utilizing logical reasoning and semantic similarity

Web service discovery facilitates the implementation of complex and reconfigurable applications in service‐oriented architecture, such as service selection, composition, and provision. This paper presents an approach for semantic and automated Web service discovery. Our approach to semantic Web service discovery consists of ontology‐based service preprocessor, reasoning‐based service filter, and parameter‐based service matcher. An important feature of this approach is that the relationship among concepts in ontology is quantified and considered as an important factor in the matching process, which results in high precision and recall. Additionally, we propose a filtering method based on logical reasoning to preprocess the large amount of Web services. Through the filtering method, Web services which are feasible in logic are selected to be matched with user requests. So there is a great improvement in the run‐time performance of service discovery approach. Experiments show that our approach is feasible and effective to discover the required Web services.     

Research on user-aware QoS based Web services composition

To improve user experience of composite Web services, a user-aware quality of service (QoS) based Web services composition model is proposed. Under such model, a Web services selection method based on quantum genetic algorithm is proposed. This algorithm uses quantum bit encoding, dynamic step-length quantum gate angle adjustment, neighborhood service search and dynamic punishment strategy to expand search scope and speed up convergence. Simulation experiment shows that this algorithm is more efficient than other existing algorithms in Web services selection.     

基于差异演化算法的QoS全局最优动态Web服务选择

QoS全局最优动态Web服务选择是服务组合中的一个难题。基于差异演化算法,设计一种用于解决该问题的DE-GODSS算法。算法的主要思想是将问题表示为一个带QoS约束的多目标服务组合优化问题,通过理想点的方法将多目标向单目标转化,然后利用差异演化算法的智能优化原理进行算法设计及求解,最终产生一组满足约束条件的优化服务组合流程集。理论分析证明DE-GODSS算法的时间复杂度优于已有的多目标遗传算法,且实验结果表明该算法的收敛速度优于已有的多目标遗传算法。     

Web服务请求输入闭包与可满足性分析

大规模服务库的快速服务组合方法是当前研究的难点,研究快速的服务请求可满足性判定方法与服务集优化方法是解决该类问题的有益探索.通过引入Web服务请求输入闭包概念,论证了一种服务请求可满足性判定方法和Web服务集优化方法,并通过实验分析了领域属性总数与服务总数的比值对用户请求可满足性及服务集优化效果的影响.提出了最小用户代价输入集的概念,给出了一种近似求解最小代价输入集的贪心算法.     

多层次组合Web服务筛选方法

为了能够更好地满足用户对服务组合的需要,文中首先给出了多层次纽合Web服务的筛选模型,并将多层次组合Web服务筛选模型分为五个步骤。在此基础上将Web服务的属性分为功能属性和非功能属性（即QoS属性）。通过划分服务类对功能属性进行描述,并按照服务类以QoS属性的类型进行服务组合。最后给出了多目标方案筛选方法及其实验。     

面向内容的有限状态网络服务模型

 提出了一个新的基于有限状态机的网络服务模型,该模型以一种有限状态移动主体(FS-Agent)作为服务的基本单元,分别用服务内容状态机(Content-FS)和服务计算状态机(MACM-FS,即移动主体计算模型)来定义网络服务中的服务内容和服务计算过程,从而构建了一种面向内容的网络服务模型.实验结果表明,该网络服务模型具有良好的可扩展性和较高的网络服务效率.