一种新的语义Web服务描述模型

在已有的语义Web服务描述框架基础上,定义了一种新的语义Web服务描述模型WFIEQ,从功能、接口、执行和Qos4个层面描述服务资源的语义信息,并给出此描述模型和其他语义Web服务描述模型的比较,该工作对基于语义信息进行服务的发现、组合和调用具有一定的参考作用.     

面向语用Web服务的QoS评价模型研究

QoS在语用Web服务提供过程中担负着重要的角色.该文提出了一种语用Web服务质量评价模型,在满足服务的功能需求同时,满足其QoS要求;给出了模型的基本定义,并采用QoS评价树的方法描述QOS评价属性之间的关系.为了反映不同属性在QoS评价中所占的比重,对QoS评价属性引入权重概念,给出一种基于信息熵的样本统计计算权重值的算法.     

语义动态服务组合模型研究

随着Web服务的数量越来越庞大,服务的质量也越来越低.如何有效地对Web服务进行动态组合,满足广大用户的需求是目前急需解决的问题.在阐述了传统语义Web服务描述模型不足的基础上,解释Web服务组合的概念、基本元素以及分类,构建语义动态服务组合模型,并简要说明支持Web服务中的6种QoS需求.     

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

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

自适应Web服务管理框架设计与实现

为了更好地管理Web服务和服务组合的运行状态，提出了一种自适应Web服务管理框架XManager.XManager框架基于自主计算思想，以RuleML语言为规则表达的定义方式形成规则库，并具有服务组件架构(SCA)模型支持的数据解析和业务执行服务组件.信息感知器采用外观模式，采取推模式和拉模式结合的信息感知方式，为框架提供运行环境数据.自适应管理引擎通过对RuleML规则的加载解析，动态调度SCA组件对面向服务运行环境进行业务操作并完成自主管理过程，降低了人工干预的频率.实验结果表明，XManager框架与Web服务运行环境有效结合，为服务平台提供了自适应管理机制，提高了平台的可管理性和服务质量.     

语义Web服务基础技术研究综述

语义Web服务的提出是为了解决现有Web服务发现和组合等低性能和低效率问题,从而有效提高信息集成的自动化能力。主要对语义Web服务相关研究的基础——服务的描述语言进行综述。叙述了语义Web服务的研究背景,详细地讨论了5种语义Web服务的描述语言,并给出了语义Web服务的集中式和非集中式两种发布模型架构,列举了语义Web服务的几种开发工具,对语义Web服务技术进行了总结和展望,为以后的深入研究提供参考借鉴。     

基于遗传算法的Web服务发现优化模型研究

传统的Web服务技术标准主要是基于UDDI,运用简单分类和关键词匹配提供服务发现,降低查准率、查全率,以及服务复用和组合的兼容性.通过Web服务模式并结合遗传算法,探讨了一种基于Web服务的相似性、服务质量（QoS）、匹配度、评级和可行性等特征的多目标优选模型,为Web服务提供有效的发现方法.     

Web服务组合中非确定性特征交互的Petri网检测

针对Web服务组合中出现的非确定性特征交互的检测问题，采用有色Token表示服务特征信息，建立了Web服务组合的有色Petri网模型。并在此模型的基础上，对非确定性特征交互问题进行了形式化定义。根据问题的规模不同，利用有色Petri网的可达树穷尽搜索法和P-不变量法，设计了两个Web服务组合的非确定性特征交互的检测算法。仿真结果表明，这两个算法在不同问题规模中是正确、有效的。     

具有QoS的多层次Web服务发现模型

针对现有Web服务发现中由于缺乏语义信息而造成服务查全率和查准率不高的问题,设计了语义Web服务发现模型.该模型将服务发现分为3个层次,通过基本信息、功能信息的匹配以及QoS度量模型对候选服务进行选择并得到所需的服务.该模型引入了本体、概念语义相似度和服务质量控制,提高了服务发现的精度.     

一种基于Ontology的WEB服务时间约束定义及验证方法

针对目前面向服务计算(SCO)模式中组合Web服务验证缺乏对时间等非功能属性验证的实际,基于本体理论,设计并实现了一种基于时间约束Petri网的Web服务时间模型定义方法.该方法考虑服务流与以往工作流的区别,在服务模型OWL-S基础上建立时间本体(Time Ontology),全面地刻画了服务的基本时间约束.扩展已有的PetIi网本体,增强其描述能力,使其能够描述服务数据及时间信息,并定义了在OWL-S上定义的时间本体与Pe-tri网时间本体间的关系.根据模型检测理论,通过扩展OWL-API,将附加时间属性的OWL-S的服务描述本体转换为Petri网的标准格式PNML文件,建立起扩展时间属性的Web服务模型与形式化模型时间约束PetIi网(TCPN)间的映射关系.该方法很好地描述了服务时间约束,为后续的基于TCPN的服务时间形式化验证打下了坚定的基础.