基于OWL-S的云制造服务语义匹配方法 被引量：38

1

作者 尹超 夏卿 黎振武 《计算机集成制造系统》 EI CSCD 北大核心 2012年第7期1494-1502,共9页

针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中... 针对云制造服务在匹配过程中的多样性、异构性、动态性和多约束性等特点,建立一种基于Web服务本体描述语言的云制造服务输入、输出、前提、效果匹配模型,研究了该模型匹配的参数匹配、属性匹配和综合匹配三个阶段。针对参数匹配过程中本体概念参数和约束条件参数的匹配度量化问题,给出结合语义相似度和基于蕴涵关系推理的量化方法及匹配算法。通过应用实例验证了该方法的有效性和可行性。 展开更多

关键词 云制造服务 匹配 web服务本体描述语言 语义 相似度

下载PDF 职称材料

一种基于有色Petri网的语义Web服务组合验证机制 被引量：8

2

作者 罗楠 严隽薇 刘敏 《计算机集成制造系统》 EI CSCD 北大核心 2007年第11期2203-2210,共8页

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组... Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。 展开更多

关键词 web服务组合 web服务本体描述语言 有色PETRI网 形式化验证

下载PDF 职称材料

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量：4

3

作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多

关键词 web服务 语义web 过程语义 web服务本体描述语言 本体演化 过程模型网 着色PETRI网

下载PDF 职称材料

基于经验反馈模型的模具企业知识获取框架 被引量：4

4

作者 胡沙 杨双荣 李建军 《计算机应用》 CSCD 北大核心 2009年第5期1456-1460,共5页

针对模具企业知识集成过程中出现的经验知识提取困难等问题,提出了基于经验反馈模型的知识获取框架。研究了面向模具生命周期的知识获取方法,实现了基于本体的知识提取和表达,采用概念图对经验进行可视化建模,并使用Web本体语言(Web Ont... 针对模具企业知识集成过程中出现的经验知识提取困难等问题,提出了基于经验反馈模型的知识获取框架。研究了面向模具生命周期的知识获取方法,实现了基于本体的知识提取和表达,采用概念图对经验进行可视化建模,并使用Web本体语言(Web Ontology Language,OWL)对知识进行统一的描述与存储。阐述了该框架的结构与运行原理,并在此基础上实现了基于面向服务架构的模具企业集成平台知识获取服务。该框架满足模具企业设计制造经验性强等特点,采用符合业务流程的知识获取过程和可视化经验表达方法,降低了知识获取的难度和成本。 展开更多

关键词 模具企业 经验反馈 知识获取 本体 概念图 web本体语言 面向服务架构

下载PDF 职称材料

业务过程执行语言流程语义标注方法研究

5

作者 孙红俊 范玉顺 《计算机集成制造系统》 EI CSCD 北大核心 2009年第3期609-617,共9页

为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三... 为提高工作流模型在分布式执行过程中的自动化程度,解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树。针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之间的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系。通过语义消歧过程,消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型。最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估。 展开更多

关键词 业务过程执行语言 web本体描述语言 语义标注 语义消歧 web服务本体描述语言 工作流

下载PDF 职称材料

基于OWL-S过程模型的Web服务发现方法 被引量：5

6

作者 曾一 胡延强 洪豪 《计算机工程》 CAS CSCD 2012年第17期28-31,共4页

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的... 现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。 展开更多

关键词 web服务 web服务本体语言 过程模型 过程图 相似度 过程匹配

下载PDF 职称材料

一种基于OWL-S的语义Web服务自动组合方法 被引量：4

7

作者 徐德智 汤益华 《计算机应用研究》 CSCD 北大核心 2010年第10期3767-3770,共4页

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取... 提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。 展开更多

关键词 OWL-S web服务 自动组合

下载PDF 职称材料

基于扩展的层次有色petri网的组合服务测试用例生成 被引量：3

8

作者 蔡菊 王迪 李必信 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2008年第4期598-604,共7页

为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后... 为了更好地对Web组合服务中各个服务间的交互行为进行测试,提出了一种基于扩展的层次有色petri网的组合服务测试用例生成方法.首先将OWL-S文档映射成为扩展的层次有色petri网,使其中丰富的语义信息、数据流信息和控制流信息模型化.然后利用扩展的层次有色petri网,着重对各服务之间的数据流关系进行分析,找到所有的输出输入定义使用链,并将其扩展成可执行的测试序列,最后将测试序列和测试数据组合,生成测试用例.其中生成的所有测试序列符合全定义-使用路径覆盖标准. 展开更多

关键词 有色PETRI网 数据流 测试序列 OWL—S 组合服务

下载PDF 职称材料

基于过程相似的Web服务功能匹配

9

作者 李明 杨凡 《计算机应用》 CSCD 北大核心 2011年第5期1370-1373,共4页

针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来... 针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。 展开更多

关键词 web服务 自动机 OWL-S 形式化过程 过程相似 功能匹配

下载PDF 职称材料

基于语义的e-维护知识服务模型

10

作者 郭建文 李运培 +1 位作者 丘杨枫 许楚滨 《东莞理工学院学报》 2013年第1期68-73,共6页

为了支持e-维护知识资源的共享和集成,提出了基于语义的e-维护知识资源服务模型。采用形式化定义对模型进行规范化表示,通过用扩展的Web服务本体描述语言(Web Ontology Language for Service,OWL-S)进行语义建模的实现。基于模型构建的... 为了支持e-维护知识资源的共享和集成,提出了基于语义的e-维护知识资源服务模型。采用形式化定义对模型进行规范化表示,通过用扩展的Web服务本体描述语言(Web Ontology Language for Service,OWL-S)进行语义建模的实现。基于模型构建的知识服务注册组件已成功应用于某e-维护知识管理系统。 展开更多

关键词 设备维护 e-维护 知识服务 语义web web服务本体描述语言

下载PDF 职称材料

采用扩展OWL-S的决策模型表示框架 被引量：1

11

作者 申建刚 夏国平 《计算机工程与应用》 CSCD 北大核心 2009年第23期1-5,共5页

通过对OWL-S(Web Ontology Language for Service)进行必要的扩展,提出了包括模型表示、解程序表示、数据表示和相关本体库在内的综合表示框架来表示决策模型及其相关组件。该表示框架具有充分兼容网络和语义Web技术,适用范围广,易于用... 通过对OWL-S(Web Ontology Language for Service)进行必要的扩展,提出了包括模型表示、解程序表示、数据表示和相关本体库在内的综合表示框架来表示决策模型及其相关组件。该表示框架具有充分兼容网络和语义Web技术,适用范围广,易于用户交流,数据参数的设计考虑全面且有利于模型、解程序和数据的匹配等优点。以施工现场设施布置问题为例,说明了表示框架对模型的表示,重点对数据参数和模型内部结构的表示进行了描述。 展开更多

关键词 决策模型 表示框架 服务本体描述语言(OWL—S)

下载PDF 职称材料