基于扩展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服务组合和验证提供了合理的理论基础。     

一种基于BPEL4WS的语义Web服务组合框架

针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架.该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定.通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合.该框架增强了Web服务组合的灵活性和动态性.     

基于中文分词的OWL—S/UDDI语义Web服务检索模型

目前中文搜索引擎尚不能进行语义检索,经OWL-S语义扩展后的语义Web服务检索也未充分考虑中文词语之间无空格的特点.基于语义Web服务技术与中文分词技术,提出基于中文分词的OWL-S/UDDI语义Web服务检索模型.该模型对中文检索请求语句进行中文分词并附加语义,所生成的服务请求OWL-S文档与语义扩展UDDI中的OWL-S服务描述进行匹配,进而实现Web服务的动态查找与组合.实验结果表明,语义Web服务检索可提高Web服务发现的质量.     

语义Web服务的OWL—S描述及其应用

实现语义Web服务的关键是对Web服务进行语义描述及其在语义检索模型中的应用.国外学术界提出的语义Web服务的OWL-S框架并没有充分考虑检索请求的中西语言表达的差异,因此该框架的实际应用必须对中文查询请求进行中文分词处理.语义Web服务的OWL-S检索模型,首先对中文检索请求语句进行中文分词,然后通过本体进行语义标注生成Web服务请求的OWL-S文档,继而在OWL-S语义扩展后的UDDI中实施语义检索匹配.该模型在中文分词的基础上,结合语义Web服务技术实现Web服务的动态查找与组合,可提高Web服务的查全率和查准率.     

基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。     

OWL-S过程模型的一阶动态逻辑语义研究

针对Web服务本体语言(OWL-S)过程模型语义不完善、难以对其进行有效形式化分析和验证的问题,提出一种OWL-S过程模型的形式化方法。该方法对原子过程提供的输入、输出参数、前提条件、执行效果,以及组合过程控制构造子的语义进行描述,从而得到过程模型的一阶动态逻辑语义。实例结果验证了该方法的有效性。     

基于CSP的OWL-S语义分析与建模

为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。     

一种基于语义与QoS感知的Web服务匹配机制

Web服务匹配是动态服务组合的一个重要环节,然而目前大多数的研究仅从单个抽象服务的角度进行局部语义匹配,没有考虑到服务组合的全局匹配,此外,即使考虑了全局匹配也仅从QoS角度进行匹配,没有考虑到全局语义匹配.针对服务组合流程,提出了基于抽象服务的局部语义匹配与基于QoS感知的全局语义匹配,设计了语义匹配算法,并扩展对服务输入/输出匹配的可用性分析,建立了全局匹配的QoS模型及其评价方法,基于该模型及评价方法,采用遗传算法实现全局语义匹配度最大化及满足用户的QoS指标需求.仿真实验结果表明:基于语义与QoS感知的服务匹配算法是可行的和有效的.     

基于领域本体和OWL-S的Web服务组合方法

针对Web服务普遍存在服务描述的语义异构问题,提出基于领域本体和OWL-S的语义Web服务组合方法。该方法采用本体概念实现Web服务的语义标注,在OWL-S语言基础上,通过定制组合过程,实现语义Web服务的组合。实例采用Protégé及OWL-S Editor工具,结果证明领域本体和OWL-S能够实现优势互补。     

基于活动图的OWL-S过程模型的图形化建模及实现

用可扩展标记语言(XML)对Web服务合成的描述,存在着描述的复杂性高和不易于用户理解的问题。本文采用基于模型驱动框架(MDA)方法,利用UML活动图对OWL-S的过程模型进行图形化建模,实现了对Web服务合成的描述,并通过实例验证了该方法的可行性。     

基于语义服务的虚拟企业伙伴双向搜索方法*

为提高伙伴搜索系统的开放性和查准率,通过引入Web服务和本体技术,提出了一种基于语义服务的伙伴搜索模型。该模型使用OWL-S描述盟主企业的任务型服务和成员企业的资源型服务,介绍了语义相似度的计算方法以及一种基于语义相似度的任务型服务与资源型服务的匹配算法。针对伙伴搜索的实时动态性及盟主企业和成员企业双方利益最大化需求,介绍了双向搜索的搜索规则,提出了基于以上模型的虚拟企业伙伴的双向搜索机制。最后,对该方法进行了分析评价。     

基于本体的Web服务发现算法研究

随着Web服务数目的增长,基于关键字的发现机制已不能满足Web服务的需要。引入领域本体概念,提出一种基于领域本体的Web服务发现匹配算法WSDA。该算法采用Web服务本体描述语言（OWL-S）描述Web服务,采用改进的基于几何距离的语义匹配方法,将概念关系图映射到数据库中,方便了Web服务间相似度的计算和比较。通过实验验证算法的可行性和有效性。     

基于语义Web的仿真服务动态发现机制

仿真服务的动态发现是进行基于Web的可组合可扩展仿真研究的首要步骤。首先,基于OWL-S本体规范建立了仿真服务描述模型,对仿真服务与仿真需求进行了形式化表示;然后,研究了网格和Web服务技术支撑下的仿真服务动态发现系统结构,以及基于语义Web和领域本体的动态发现机制;进而,提出了基于本体的服务匹配算法,包括领域定位算法和服务定位算法两部分,领域定位算法大大降低了进行服务定位时候选服务集合的大小,有效地保证了服务匹配精度和效率;最后,通过模拟的实验数据对基于本体的匹配算法的性能进行了分析。     

基于语义的动态服务组合的改进

Web服务应用已经广泛深入,而已存在的服务也越来越不满足客户的需求,解决应用服务之间的共享和应用协作问题成为关键.基于语义的Web服务的动态组合无疑可以很好的解决这个问题,但是OWL-S还有许多方面需要完善特别是在服务质量、花费、可靠性等问题上.本论文通过对OWL-S的扩充解决了其中部分问题,并且通过描述并实现一个动态服务组合框架来验证.     

改进的语义Web服务匹配方法

针对目前语义Web服务匹配方法中缺少对服务行为约束的考虑及传统推理匹配的结果中同一级别不能再区分的缺点,设计了一种带服务行为约束的基于推理和语义相似度计算的匹配方法。方法分为三步：第一步进行服务行为约束兼容性检测;第二步对待匹配的两个服务进行推理;第三步在第二步基础上进行本体概念间的语义相似度计算,得出待匹配服务的精确匹配度。这样每个服务都有了一个精确的匹配度值,避免了传统方法中多个服务因拥有同一个匹配度等级而不能再区分的不足。实验结果表明,该方法较之传统的OWL-S/UDDI匹配方法在查准率和查全率方面得到了很大改进。     

一种P2P环境中基于语义的Web服务组合方法

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述，提高Web服务的机器可理解性，并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型，在其上实现了一个基于语义的Web服务组合方法，并通过一个简单的实例说明语义Web服务组合的具体过程。     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上,介绍了一种把二者结合起来的语义Web服务(SWS)。它可以实现在不需要人的参与下,Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法,文中重点介绍了实现SWS的一种基于本体的面向代理的OWL-S开发方法。     

基于本体概念相似度的语义Web服务匹配算法

通过定义本体中概念之间的语义距离来计算本体概念之间的相似度,提出一种基于该相似度的Web服务的精确匹配算法,新的算法与经典的OWL-S/UDDI匹配算法比较,不仅在等级上保持一致,而且使同一等级或不同等级之间的服务匹配都达到精确的程度。用GEIS系统中Web服务的数据进行两种算法的性能测试,得出相似度匹配算法的平均查准率是OWL-S/UDDI匹配算法的1.8倍,平均查准率是OWL-S/UDDI匹配算法的1.4倍。     

一种改进的基于Pi演算的Web服务自动组装方法

提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。