模型驱动架构的语义组合Web服务的验证

针对语义Web服务的组合与验证问题,提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。     

智能服务--Web服务和语义Web集成研究

现有Web主要是为人使用Web上的内容设计,如何自动发现、执行、组合及互操作Web上的信息,提供智能服务,是Web服务努力的方向,Web服务虽然也制定了发现、描述、信息交换的标准,但这些标准不支持智能服务,其原因是现有Web服务缺乏清楚的语义标记,该文提出将语义Web技术和Web服务结合来实现智能服务的思想,即为Web服务增加语义标记以实现Web服务的智能性,并就其可行性进行了阐述,最后给出了具体实现的方法。     

语义Web服务信誉度模型及其实现

语义Web服务信誉度通过对一个语义Web服务过去的“表现”进行综合,为其预期的行为作出评价。针对语义Web服务的特点,提出了一种语义Web服务信誉度模型,并深入研究了其相关算法。该模型为服务信誉度加入了语义信息,并综合了第三方权威机构的评价,使得信誉度值更有效和准确。在此基础上,提出了一种将该信誉度模型与现有语义Web服务体系结构结合的实现方案,并给出了相关算法的实现思路和信誉度对象的类结构。     

基于MDA的Web服务开发与集成

描述了Web服务的特征及其开发集成中的问题，然后讨论了模型驱动架构在Web服务开发中的使用，最后给出了一个Web服务的集成架构。     

模型驱动的Web服务组合的QoS属性的研究

为反映组合Web服务的服务质量(QoS),文章在用模型驱动的方法对Web服务组合进行研究的基础上探讨了如何对Web服务进行QoS属性拓展,给出了拓展的WSDL元模型。通过引入模型驱动的思想,解决了Web服务对QoS属性描述不足的问题。并通过对BPEL元模型的分析,得出了组合服务在各种结构模型情况下的QoS属性的计算方法。     

模型驱动的Web服务合成

随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态建模部分,提出了建立Web服务静态结构平台无关和平台相关模型的方法,给出了二者之间的转换规则。     

基于语义向量模型的Web服务匹配方法*

针对当前Web服务匹配方法中存在的缺陷,将语义Web服务匹配方法与信息检索技术相结合,提出一种利用语义相似度扩展向量模型的Web服务匹配方法,并通过实验对匹配效果进行了检验与分析。实验结果证明,与基于经典向量模型的匹配方法和相关语义匹配方法相比,该匹配方法具有更高的准确率。     

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

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

基于Web服务的智能楼宇系统集成模型

智能楼宇系统是一个复杂的异构系统，BACnet技术的开放性和扩展性为控制网和信息网提供了无缝连接，Web服务技术为智能楼宇的各种应用的集成提供了一个开发的框架结构，基于这种框架结构，介绍了智能楼宇系统集成的发展，分析了系统集成的层次，讨论了信息网和控制网的互联。在此基础上，给出了一个基于Web的智能系统集成模型，分析了其关键技术。     

基于虚拟组织模型与Web服务的MAS平台

虚拟组织是电子商务研究中所提出的智能体协同模型,Web服务则提供了实现互联网上异构智能体间互操作与协同的技术基础｡该文提出了一个基于虚拟组织模型与Web服务技术的MAS平台系统,介绍了系统的体系结构及主要模块的实现｡该平台实现了基于UDDI的Agent注册管理和基于SOAP的消息传递机制,提供了系统管理和监控等功能。     

基于模型驱动架构的Web Services应用开发

从Web services的观点看,可以用MDA核心部件UML来精确描述商务信息,并且这种描述方法是与实现技术无关的。本文首先介绍了非形式化模型和形式化模型的不同之处,进而阐释了如何实现从商务信息模型到XML的映射以及从商业服务模型到WSDL的映射。     

基于多Agent的Web服务异常处理模型

为有效解决Web服务中存在的各种异常,结合多Agent的特性,提出了一种基于多Agent系统的异常处理模型。该模型利用了Agent的协作性、推理和自学习的特性,使异常得到有效地捕获和处理。同时,也为用户提供了友好的异常提示信息,并保证了Web服务器信息的安全性。     

基于补偿服务链的Web服务容错机制研究与实现

针对网络故障以及Web服务节点暂时性失效,导致Web服务请求出错的问题,提出了一种Web服务容错机制.通过建立服务补偿机制和Web服务会话管理机制达到容错的目的.首先对Web服务的容错性问题进行了分析;接着详细论述了服务补偿机制和容错框架的设计与实现方案;最后通过在政务服务集成系统中的应用实例说明了该容错机制能够有效地增强Web服务请求调用的可靠性.     

基于Web Services的3G服务接入平台系统的设计与实现

描述了可以用于一般服务接入平台的设计方案,并提出了组合服务的处理方式,主要包括平台内组合服务和平台外组合服务两种方式.针对3G的特点,将服务接入平台扩充为3G服务接入平台,并提出了网络架构和实现框架.最后给出一个在3G平台上实现组合服务的应用实例.     

基于Web服务的工作流事务处理的研究与实现

事务处理是Web服务实现分布式信息集成的关键技术之一,利用工作流技术实现Web服务的事务处理是实现分布式事务的一种有效手段.提出一个能够处理分布式、异构应用下Web服务组合事务的模型,并详述Web服务事务在执行过程中抛出异常时,补偿事务的产生策略和执行机制.     

Web服务的安全机制和安全模型

保证Web服务安全通信的机制有两种,传输级安全机制紧密耦合于下层平台,只能保证点到点的安全通信;而消息级安全机制能够提供异质环境的端到端安全保证。基于安全性令牌传播的安全模型是一个综合框架,与其它安全模型集成在一起能够使Web服务更安全。     

一个集成的Web Services安全模型

现有Web Services安全技术相对独立,而在一个完整的应用集成方案中,需要全面的安全设计.提出了一个集成的Web Services安全模型,形式化定义了模型并给出了主要实现技术.模型实现了基于证书的统一身份认证、基于角色的访问控制以及安全的SOAP消息传输,具有开放性及动态适应性.基于提出的安全模型开发了一个原型系统,运行结果表明,能够达到上述三种安全目标,使整个系统相对单一的安全技术应用更加安全.     

基于PDDL的Web服务自动组合的描述

在Web环境下,如何有效地根据用户请求,进行Web服务的自动组合,成为一个迫切需要解决的问题.提出了一种利用人工智能的规划问题,对Web服务及其组合进行形式化描述以实现服务自动组合的方法.说明了基于智能规划实现服务自动组合的思想,讨论了智能规划的标准描述语言PDDL与Web服务的对应关系,最后建立了一个实际的模型.     

Web服务搜索引擎的设计与实现

随着开放的Web服务数量的逐渐递增,全面而有效地获取散落于Internet上的这类Web服务并进行管理就成为一个十分重要的问题。针对该问题,设计与实现了一个Web服务搜索引擎WSSE(Web Services Search Engine)。它不断爬行现有Web站点以搜索Web服务,并对搜集到的Web服务进行集中式管理,最后采用开源的Lucene对搜索到的Web服务建立索引,提高了Web服务的检索效率。     

基于Web Service的智能化住宅小区信息服务系统

本文提出了一种基于Web Service的智能化住宅小区信息服务系统的逻辑架构,并给出了各关键模块的设计方案。基于这个架构构建的智能化住宅小区信息服务系统具有良好的服务可扩展性,可以向用户提供异构服务,从而满足住户不断提高的对住宅软环境的要求。