基于Web Services的服务合成技术研究综述

从分布式发展的角度分析了基于Web服务的新一代分布式计算范式特征以及生命周期模型,指出了Web服务合成的概念、特点和目标。对服务合成的方式与分类以及Web服务合成逻辑与结构类型进行了分析,同时将常用的Web服务合成方式划分为4种策略,即:基于系统架构(framework)的静态合成策略;基于工作流(workflow)的动态合成策略;基于语义网络(semantic web)的自动服务匹配与合成策略以及基于软件体系结构生命周期的综合式服务合成策略。在此基础上,对目前Web服务合成技术的主要研究领域与发展趋势以及服务合成过程中存在的主要问题与挑战进行了分析与综述。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于Petri网的Web服务的创建与描述

为了更好的支持Web服务组合的Petri网系统的自动生成,提出了在发布Web服务的时候即建立该服务的PNML(Petri Net Markup Language)+OWL(Ontology Web Language)的方法,在建立Web服务领域本体的基础上,通过创建Web服务的Petri网模型,为Petri网中库所元素添加相应的语义标记,得到Web服务的类似OWL-S(Ontology Web Language for Services)的服务描述,不仅提高了对Web服务操作语义描述的能力,同时为Web服务组合的Petri网系统的自动生成奠定了基础。     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

基于Web服务的分布式RTI设计与实现

采用HLA(High Level Architecture)的技术标准,可以将单个仿真应用或者模型连接起来组成一个大型的仿真应用.RTI(Run-Time Infrastructure)是HLA的程序实现.现有的RTI大多采用集中式的管理结构,当仿真节点数量增加、节点间进行频繁的数据交换时,仿真性能可能不具备容错能力.提出基于Web服务(Web Services)的RTI设计思想,设计策略中不仅解决了上述问题,而且解决了Web服务额外带来的管理和调度问题,并对一些关键问题提供了解决方案.最后通过实际测试证明了这种方案的可行性.     

Web服务器基于不精确响应的Web服务机制

传统Web服务器对于到达的请求使用先来先服务机制.但是,先来先服务机制无法为到达的请求提供区分服务和服务质量保证.在不精确计算和弱.硬实时调度策略基础上,提出了一种Web服务质量机制(简称WQS)为到达Web服务器的请求提供区分服务与服务质量保证.WQS不同于先来先服务机制在于:它首先利用一个请求分类器分类到达的请求到不同级别的队列.其次,借助不精确调度器与内容自适应器,WQS能够使优先级高的队列中请求具有好的响应率和短的响应延迟,使优先级低的队列中请求具有满意的响应率和可接受的响应延迟.最后,本论文描述了一系列在ApacheWeb服务器上针对.WQS的仿真实验,实验表明:WQS是一种能够提供区分服务与服务质量保证,达到改进传统Web服务器或Web服务的可行和有效的方法.     

系统方法指导下的EWM(增强Web模式)软件体系结构研究

结合作者近几年来所从事的基于Web的软件系统的优化研究工作，从系统论的角度论述了为解决Web应用系统缺陷而提出的EWM软件体系结构的构建与完善过程。在应用于特定工程实践的同时，为应用信息系统分析设计提出一种优化设计方法。     

基于最大差异延展算法的Web资源描述算法

针对虚拟计算环境下Web资源特性的描述问题,提出资源空间模型,采用流形学习的方法提取Web资源特征.首先根据资源空间模型,有效地将Web资源抽象为高维空间中的数据集;然后,采用流形学习中的最大差异延展算法.此方法不仅能有效地提取Web资源的特征,而且能够挖掘隐含在Web资源内部的本征信息;此时,描述Web资源特征的数据位于低维空间,有利于资源的进一步处理.基于最大差异延展算法的Web资源描述方法有效地解决了Web资源的描述问题.通过仿真实验证明了此方法的有效性.     

Web使能RTI关键技术研究

HLA由于缺乏与商业技术的融合等阻碍了它在商业系统中的应用,Web服务具有平台中立等良好特性,Web使能的RTI将能够促进HLA和Web服务的融合。基于互操作性分析,介绍了Web使能的RTI,设计了Web使能RTI的体系结构,分析了具体的技术问题及解决方案,实现了原型系统。实验显示,系统能够初步实现Web使能的RTI。     

基于HLA的Web服务效能评估技术研究

依托OMNES仿真平台搭建通信网模型,提出一种基于HLA框架的半实物仿真环境构建方案对Web服务响应访问请求的效能评估技术进行实验研究.通过想定控制终端,定制、下发想定脚本至各联邦成员,接入真实Web服务进行测试,汇总、分析测试数据,评定被测服务的效能等级,发布效能评估报告,给出评估指标在“直连”与“仿真”两种测试模式下的统计曲线图.实测结果表明,该效能评估系统对于改进Web服务的并发访问性能设计具有良好的指导作用.     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

面向服务的虚拟采办软件体系结构

目前国内对于虚拟采办系统的研制还没有充分考虑其作为大型分布式系统间的互操作、重用和动态绑定问题,并缺少实现虚拟采办软件系统的具体技术措施。结合国内具体的采办实践,分析了虚拟采办带来的传统采办流程变革,深入研究了面向服务的虚拟采办系统的关键技术和体系结构,提出了一种以Web服务和网格计算为核心技术的新一代面向服务的虚拟采办软件体系结构。实现了面向服务的虚拟采办的产品数据管理子系统,并给出了应用实例。     

一种基于语义本体的Web服务自动组合算法

服务组合是Web服务应用的一个重要研究方向。提出了一种基于语义本体的Web服务自动组合算法,该算法用Web服务本体OWL-S和领域本体描述Web服务,将两个服务之间关联度的计算转化为加权二部图的最优匹配问题,然后利用改进的Kuhn-Munkres算法计算服务关联度;最后,在此关联度的基础上提出一种服务自动组合算法。实验结果表明,论文提出的服务组合算法可以根据用户请求动态的生成服务组合,并通过域值控制保证了服务组合的质量和效率。     

基于主体的语义Web服务的Petri网模拟方法

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程，并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体，媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时，这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题，利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。     

基于Web Services的虚拟文物博物馆架构

分布于各处的数字博物馆异构特性使它们之间难以互通互联，这使数字博物馆的优越性难以充分发挥。Web Services将集成技术延伸到了Web上，是目前集成异构平台的理想实现技术。基于本体(Ontology)的数据表示模型为更好的进行语义检索提供了基础。探讨和设计将以上技术用于构建网上虚拟文物博物馆，给出采用这种架构设计的系统的性能测试结果与比较评价。     

Web Services Composing by Multiagent Negotiation

Composing web services is gained daily attention in Service Oriented Computing. It includes the dynamic discovery, interaction and coordination of agent-based semantic web services. The authors first follow Function Ontology and Automated Mechanism Design for service agents aggregating. Then the problem is formulated but it is ineffective to solve it from the traditional global view. Because the complexity is NP-complete and it is dii~cult or even impossible to get some personal information. This paper provides a multi-agent negotiation idea in which each participant negotiates under the condition of its reservation payoff being satisfied. Numerical experiment is given and well evaluates the negotiation.