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

1

作者 李明 刘士仪 年福忠 《计算机应用》 CSCD 北大核心 2013年第1期266-269,共4页

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

关键词 web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模

在线阅读 下载PDF 职称材料

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

2

作者 鲍爱华 袁金平 +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 职称材料

基于本体的Web服务发现算法研究 被引量：2

3

作者 陈星豪 李陶深 《计算机工程与应用》 CSCD 2012年第5期121-123,170,共4页

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

关键词 web服务 web服务本体描述语言(OWL-S) 本体 语义匹配 对等(P2P)

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

基于UDDI的语义Web服务发现研究 被引量：10

5

作者 林清滢 《计算机工程与设计》 CSCD 北大核心 2006年第12期2215-2217,2237,共4页

目前基于UDDI的Web服务发现机制仅提供了简单的基于关键字的搜索方法,缺乏对语义推理的支持。因此给出了一种基于UDDI的语义Web服务发现的架构,通过把Web服务的语义描述发布到UDDI注册中心,并扩展查询API的规范,在服务查找中加入语义推... 目前基于UDDI的Web服务发现机制仅提供了简单的基于关键字的搜索方法,缺乏对语义推理的支持。因此给出了一种基于UDDI的语义Web服务发现的架构,通过把Web服务的语义描述发布到UDDI注册中心,并扩展查询API的规范,在服务查找中加入语义推理,从而增强了UDDI的语义Web服务发现的能力。 展开更多

关键词 统一描述 发现和集成 web服务 服务发现 语义web web服务本体语言

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

利用聚类优化语义Web服务发现 被引量：4

7

作者 张景雨 余雪丽 付丰科 《计算机工程与应用》 CSCD 北大核心 2009年第34期139-143,共5页

针对传统Web服务缺乏语义造成注册中心返回结果不精确的问题,提出了一种用OWL-S提供语义支持,并据语义相似度将Web服务聚类的解决方法。该方法应用OWL-S实现Web服务的语义描述,采用凝聚的层次聚类的Single-Link算法将相似Web服务聚类,... 针对传统Web服务缺乏语义造成注册中心返回结果不精确的问题,提出了一种用OWL-S提供语义支持,并据语义相似度将Web服务聚类的解决方法。该方法应用OWL-S实现Web服务的语义描述,采用凝聚的层次聚类的Single-Link算法将相似Web服务聚类,快速定位并返回最合适的服务,提高了服务发现的精确性。 展开更多

关键词 基于OWL语言的web服务本体(OWL-S) 统一描述 发现和集成(UDDI) 聚类 语义web

在线阅读 下载PDF 职称材料

基于语义Web服务内部流程接口匹配的服务组合算法 被引量：1

8

作者 邱爽 王亚东 刘永壮 《高技术通讯》 CAS CSCD 北大核心 2012年第6期596-603,共8页

针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言（OWL—S）并... 针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合，导致组合成功率低的问题，提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言（OWL—S）并在领域本体的支持下对Web服务语义进行描述，对服务与服务流程进行区分，将服务流程作为组合操作对象，通过计算不同的Web服务内部流程接口之间语义关联程度，遵从后继服务流程选择策略自动地生成能够满足用户需求的流程组合方案，并通过反向检索组合流程，消除组合方案中冗余的服务流程。通过一系列的仿真实验对该组合方法的成功率、效率等方面进行了验证，结果证明了该方法可以更加有效地根据用户请求自动生成服务组合方案。 展开更多

关键词 语义web服务 服务组合 web服务本体描述语言(OWL-S) 领域本体 服务流程

在线阅读 下载PDF 职称材料

一种验证Web服务流程的新方法 被引量：1

9

作者 王晨 王红兵 许迅 《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页

在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可... 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。 展开更多

关键词 时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证 工作流模型分析

在线阅读 下载PDF 职称材料

组合服务控制流测试 被引量：1

10

作者 余莹 金茂忠 黄宁 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第1期117-121,共5页

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务... 结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL,Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性. 展开更多

关键词 软件测试 组合服务 控制流 web服务本体语言 线性时态逻辑

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

基于OWL-S的服务发现语义匹配机制 被引量：23

12

作者 邱田 胡晓惠 +1 位作者 李鹏飞 马恒太 《电子学报》 EI CAS CSCD 北大核心 2010年第1期42-47,共6页

本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构... 本文提出一种基于OWL-S的语义web服务匹配系统的机制,将语义元素引入UDDI系统中,从而在UD-DI中保存语义信息.系统通过语义服务匹配算法提高web服务匹配的准确度和召回率,并通过数据映射机制保证模型对于当前的服务发现标准UDDI基础架构的兼容以及UDDI标准操作接口的透明性.系统使用本体概念的索引机制提高服务发现的效率.而且,系统在建立和维护索引的过程、或服务的匹配过程中使用近似概念搜寻算法进一步提高本体概念搜寻和服务匹配的效率. 展开更多

关键词 web服务发现 基于web服务的高层本体语言 统一描述、发现和集成(UDDI) 语义匹配系统 数据映射机制

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

作者 李明 刘冬 《计算机工程》 CAS CSCD 2012年第12期45-47,51,共4页

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

关键词 语义web web服务 web服务本体语言 过程模型 一阶动态逻辑 形式化

在线阅读 下载PDF 职称材料

一种OWL-S到OPM的映射转换方法

15

作者 熊旖旎 何克清 刘进 《计算机工程》 EI CAS CSCD 北大核心 2006年第6期248-250,共3页

OWL-S表示Web服务的复杂性性严重制约了智能Web过程建模的易操作性。该文将OWL-S映射到OPM(Object-ProcessMethodology)作为缓解上述矛盾的关键技术,定义了OPM建模元素与OWL-S语法元素之间的映射关系。一个购票示例说明使用该方法能够... OWL-S表示Web服务的复杂性性严重制约了智能Web过程建模的易操作性。该文将OWL-S映射到OPM(Object-ProcessMethodology)作为缓解上述矛盾的关键技术,定义了OPM建模元素与OWL-S语法元素之间的映射关系。一个购票示例说明使用该方法能够直观、清晰地进行OWL-S过程建模,促进Web服务建立的易操作性。 展开更多

关键词 web服务本体语言 OPM 过程建模

在线阅读 下载PDF 职称材料

面向数字化系统互操作的知识表示技术研究

16

作者 陈泽峰 莫蓉 杨海成 《计算机工程与应用》 CSCD 北大核心 2009年第29期7-9,13,共4页

复杂产品多学科协同设计需求的增长,对产品设计的协同环境和功能互操作提出了更高的要求,为了解决异构系统间信息共享问题,采用基于本体的知识表示方法来对数字化系统进行知识的描述。针对数字化系统互操作的需求,结合数字化系统互操作... 复杂产品多学科协同设计需求的增长,对产品设计的协同环境和功能互操作提出了更高的要求,为了解决异构系统间信息共享问题,采用基于本体的知识表示方法来对数字化系统进行知识的描述。针对数字化系统互操作的需求,结合数字化系统互操作的信息模型与功能模型,提出了一种基于OWL-S的支持互操作的知识表示方法,并在此基础上实现了原型系统。 展开更多

关键词 互操作 知识表示 本体 web服务的本体语言(OWL-S)

在线阅读 下载PDF 职称材料