基于扩展CPN的OWL-S过程语义建模及分析方法研究

OWL-S过程语义的建模与分析是语义Web服务相关领域需要重点研究的问题。分析了目前OWL-S过程语义研究中存在的问题,提出了一种扩展的着色Petri网PM_ net(过程模型网,Process Model net)来对OWL-S的过程语义进行转化与分析。结合OWL-S过程模型元素的特点,PM_ nct对基本着色Pctri网的变迁和触发规则进行了扩展,使OWL-S的原子过程、组合过程和数据流等核心元素能够等价映射到PM net。同时说明了如何基于PM_ net对OWL-S的过程语义一致性进行分析,为OWL-S本体演化、语义Web服务组合和验证提供了合理的理论基础。     

基于语义的Web服务匹配算法研究

针对基于推理的OWL-S/UDDI匹配算法在同一级结果间不能进一步区分匹配度导致查全率和查准率不高的问题,提出了一种基于本体概念相似度计算的服务匹配算法,该算法分别按服务的基本描述、功能和非功能(QoS)三个层次进行匹配,提高了服务匹配效率。     

一种基于服务本体及其词汇语义的Web服务匹配算法

针对目前对于Web服务匹配的研究中所存在的不足,提出了一种轻量级的服务匹配算法.该算法利用了本体所提供的领域知识,并在服务的功能描述的匹配过程中利用了本体概念的词汇语义信息.实验表明,该算法在保证有良好性能的同时,较好地提高了查找效率.     

OWL-S的形式语义

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayanan等人研究的基础上,用情景演算理论进一步研完了OWL—S中组合服务描述的形式语义,从而完善了OWL—S的形式语义,为语义Web服务提供了合理的理论基础。     

OWL-S模型转化为重写逻辑模型的方法

OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的重写逻辑语义框架,通过对数据类型、表达式、控制结构与Process的转换,设计并实现了OWL-S模型到重写逻辑模型的自动转化工具,为能够在软件实现前为设计模型的形式化分析与验证,以及可靠性分析提供基础。     

一种面向语义Web的组合服务演化方法研究

为了敏捷、有效地调整动态环境下的组合服务,系统地提出一种面向语义Web的组合服务结构化演化方法EM4CS。 EM4CS方法采用OWL-S语言描述的组合式语义Web服务为研究对象,将组合服务演化过程划分为3个部分、6个阶段,分别从演化需求获取、演化需求形式化表示、语法一致性维护、语义一致性维护、演化结果确认和演化结果发布与传播6个方面覆盖组合服务演化周期。EM4CS方法从系统工程的角度分析组合服务演化过程,以迭代求精的方式逐步实现演化需求,同时维持服务描述语法和语义的一致性。介绍了遵循EM4CS方法的组合服务演化支撑系统ESS4CS,该系统能够全程辅助知识工程师完成组合服务演化工作,能有效地提高组合服务演化的效率和精度。     

基于本体的E-learning服务发布与发现框架

目前E-learning服务急剧增多,网络学习者需要一种有效的方法从大量服务中找到适合自己的服务.在研究本体技术的基础上,构造学科本体支持对特定学科词汇的语义描述;提出一种OWL-S/UDDI映射方案,实现E-learning服务的描述从表示层到实现层的映射.在此基础上,提出了一种基于学科本体的E-learning服务发布与发现框架,该框架包括用户层、表示层、中间件层和数据存储层;针对传统的基于关键字的服务匹配缺乏语义支持的不足,该框架将学科本体引入E-learning服务发布与发现过程中,增强了E-learning服务发现能力,并在一定程度上提高了服务查找的效率和准确率.     

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。     

基于本体的网格服务语义匹配方法

针对目前网格系统中,将名字作为关键字对服务进行查找存在的不准确、不灵活的缺陷,提出了一种网格服务的语义匹配方法,在该方法中,用OWL-S对网格服务进行语义上的描述,用UDDI来进行服务的注册和发现,用一个语义服务库存储虚拟组织中所有发布的网格服务功能的语义信息,这个语义服务库对每个领域的服务用树的形式进行组织。通过建立领域本体库为服务功能语义上的匹配提供知识支持。对方法进行了可行性分析。     

面向绩效的科研预算计划支持系统

科研活动需要投入大量的资金进行研制、开发、试验和定型。而预算的基础,最终在于绩效。即必须通过型号任务的完成,试验的成功,科研成果的积累,科研水平的提高,人才的培养等多个方面的综合测度来进行评价。本文根据科研的特点,在平衡记分法的基础上,应用描述逻辑方法,提出了基于描述逻辑,面向绩效的科研预算计划支持系统框架,并设计了其本体模型,提出了该本体模型的计划方法。