期刊文献+
共找到153篇文章
< 1 2 8 >
每页显示 20 50 100
语义Web语言DAML+OIL及其应用初探 被引量:4
1
作者 尹奇韡 李善平 《计算机科学》 CSCD 北大核心 2003年第1期139-141,157,共4页
It's not easy for traditional standards such as STEP to describe product information in a semantic way, andthese limitations result in difficulties in knowledge-based product information integration. In addition, ... It's not easy for traditional standards such as STEP to describe product information in a semantic way, andthese limitations result in difficulties in knowledge-based product information integration. In addition, contemporarycomputing environment needs a Web-based language to describe product information, while STEP standard and itsEXPRESS language have no such features however. The development of Semantic Web is making itself be an impor-tant method to facilitate the knowledge-based information integration. This paper presents a new semantic Web lan-guage, DAML+OIL, and tries to use it to describe product information. It is proved that using DAML+OIL to de-scribe product information is quite a feasible way. 展开更多
关键词 语义web语言 信息资源 DAML OIL 网络语言
在线阅读 下载PDF
基于时序描述逻辑的Web服务本体语言过程模型语义 被引量:2
2
作者 李明 刘士仪 年福忠 《计算机应用》 CSCD 北大核心 2013年第1期266-269,共4页
针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最... 针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。 展开更多
关键词 web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模
在线阅读 下载PDF
Web服务编排描述语言WS-CDL的形式化模型框架 被引量:7
3
作者 辜希武 卢正鼎 《计算机科学》 CSCD 北大核心 2007年第9期5-11,共7页
Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局... Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。 展开更多
关键词 web服务编排描述语言 web服务 web服务组合
在线阅读 下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
4
作者 鲍爱华 袁金平 +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本体描述语言的偏好表示和推理
5
作者 方流 蔡铭 董金祥 《计算机集成制造系统》 EI CSCD 北大核心 2008年第6期1213-1219,共7页
在偏好的逻辑链表示方法的基础上,提出了使用Web本体描述语言来表达偏好的方法。通过使用Web本体描述语言可以将偏好的表达和推理很自然地结合在一起,而成熟的描述逻辑推理器可保证用Web本体描述语言来表达偏好的实用性。应用偏好算子... 在偏好的逻辑链表示方法的基础上,提出了使用Web本体描述语言来表达偏好的方法。通过使用Web本体描述语言可以将偏好的表达和推理很自然地结合在一起,而成熟的描述逻辑推理器可保证用Web本体描述语言来表达偏好的实用性。应用偏好算子使用户能够表达复杂的偏好,满足了用户多样化的搜索需求。此外,使用Web本体描述语言还可以增加条件偏好,从而增强偏好的表达能力。 展开更多
关键词 偏好 web本体描述语言 描述逻辑 分级知识库
在线阅读 下载PDF
基于多层次数据库的智能Web挖掘系统 被引量:6
6
作者 李长河 王维花 张二虎 《计算机工程》 CAS CSCD 北大核心 2004年第5期93-94,101,共3页
从当前Web挖掘的现状出发,提出了基于知识利用的智能检索综合Web挖掘引擎系统IWMES,并基于IWMES阐述了多层关系数据库的概念,提出了实现工具WebML(Web挖掘语言)设想方案与模型实例。
关键词 数据挖掘 智能检索 多层次数据库 web挖掘语言 web挖掘
在线阅读 下载PDF
Web服务组合处理系统的研究与实现 被引量:5
7
作者 张煜 葛声 +1 位作者 孙海龙 马殿富 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2005年第4期397-401,共5页
单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现... 单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境. 展开更多
关键词 web服务 服务组合 工作流 处理引擎 web服务组合语言
在线阅读 下载PDF
Web服务组合中基于服务质量的服务选择算法 被引量:24
8
作者 陈彦萍 李增智 +2 位作者 郭志胜 晋勤学 王创 《西安交通大学学报》 EI CAS CSCD 北大核心 2006年第8期897-900,905,共5页
为了提供满足客户服务质量(QoS)需求的组合Web服务,提出了一种支持QoS属性描述的Web服务描述模型.通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性,从而获得了一种可扩展的Web服务描述语言.在此基础上给... 为了提供满足客户服务质量(QoS)需求的组合Web服务,提出了一种支持QoS属性描述的Web服务描述模型.通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性,从而获得了一种可扩展的Web服务描述语言.在此基础上给出了基于多目标决策理论和分形理论的服务选择算法,该算法考虑了QoS属性之间的不可公度性和独立性,同时给出了QoS驱动的服务组合框架(E-WsFrames)和具体实现方法.实验结果分析表明,E-WsFrame可以综合考虑服务组合的功能和QoS的要求,并可根据服务请求自动地实现组合服务. 展开更多
关键词 服务质量 组合服务 web服务描述语言
在线阅读 下载PDF
基于WS-Federation的Web服务跨域单点登录认证分析 被引量:13
9
作者 沈海波 洪帆 《计算机应用研究》 CSCD 北大核心 2006年第2期116-118,共3页
重点分析和研究了基于WS-Federation的W eb服务跨域单点登录认证机制的实现原理和过程,并讨论了其安全问题。
关键词 web服务联合语言 web服务 跨域认证 单点登录
在线阅读 下载PDF
面向对象的Web工程 被引量:3
10
作者 杨卫东 詹梅 施伯乐 《小型微型计算机系统》 CSCD 北大核心 2003年第10期1729-1734,共6页
分析了 Web应用的特点和目前所面临的一些问题 ;基于面向对象的概念 ,提出了多层次、多视图的 Web应用开发模型 ,以对象作为建模的基本实体 ,提供了 Web应用的高层描述 ,支持 Web服务的任意粒度的抽象、封装、重用以及 Web导航特性的分... 分析了 Web应用的特点和目前所面临的一些问题 ;基于面向对象的概念 ,提出了多层次、多视图的 Web应用开发模型 ,以对象作为建模的基本实体 ,提供了 Web应用的高层描述 ,支持 Web服务的任意粒度的抽象、封装、重用以及 Web导航特性的分析 ;提出了基于 XML 的面向对象 Web建模语言 OOWML 并实现了编译工具 ,能够自动生成Web应用的目标语言 .与已有的方法相比 ,本文提出的模型为 展开更多
关键词 面向对象 web工程 web建模语言 数据模型 超媒体模型 状态图 导航模型
在线阅读 下载PDF
本体驱动的半结构化Web生物数据抽取 被引量:5
11
作者 成瑜 何洁月 《计算机工程》 EI CAS CSCD 北大核心 2006年第5期192-194,共3页
提出由本体驱动,并根据文档结构和特征匹配来进行信息定位和信息抽取的方法,并实现了一个用户指导的交互式信息抽取原型系统。有效地解决了信息抽取中涉及的同义词,一词多义等语义问题,以及数据项不完整和排序不固定的问题。
关键词 信息抽取 本体 资源描述框架/web本体语言 生物数据
在线阅读 下载PDF
基于OWL-S过程模型的Web服务发现方法 被引量:5
12
作者 曾一 胡延强 洪豪 《计算机工程》 CAS CSCD 2012年第17期28-31,共4页
现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的... 现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。 展开更多
关键词 web服务 web服务本体语言 过程模型 过程图 相似度 过程匹配
在线阅读 下载PDF
广义随机Petri网下的组合Web服务建模与评价 被引量:9
13
作者 门鹏 段振华 《西安交通大学学报》 EI CAS CSCD 北大核心 2008年第8期967-971,共5页
为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则... 为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策. 展开更多
关键词 语义web服务标记语言 广义随机PETRI网 组合web服务 性能评价 形式化验证
在线阅读 下载PDF
XML语言及其应用 被引量:2
14
作者 黄婉秋 黄筱霞 贾旭光 《北京工商大学学报(自然科学版)》 CAS 2002年第3期22-27,共6页
简要阐述了 XML语言的概念及特点 ,对它的语言结构进行了详细的分析 ,包括 DTD、XSL、XLL三部分 .并将 XML和 HTML进行了比较 ,同时也对它和数据库之间的关系进行了描述 .最后论述了
关键词 XML语言 应用 HTML web页面语言 置标语言 语言结构 DTD XSL XLL 文档类型定义 可扩展格式语言
在线阅读 下载PDF
基于Pi-演算的BPEL4 WS Web服务组合形式化模型 被引量:13
15
作者 辜希武 卢正鼎 《计算机科学》 CSCD 北大核心 2007年第3期69-74,共6页
Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍... Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了Pi-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言(Business Process Execution Language for Web Services,BPEL4WS),定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于Pi-演算的形式化模型,最后通过一个案例给出了模型验证的方法。 展开更多
关键词 PI-演算 web服务 web服务组合 web服务商业流程执行语言
在线阅读 下载PDF
基于UDDI的语义Web服务发现研究 被引量:10
16
作者 林清滢 《计算机工程与设计》 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
CORBA与Web服务的比较与集成 被引量:13
17
作者 张驰 吴健 +1 位作者 胡正国 周淑莉 《计算机工程与设计》 CSCD 北大核心 2005年第8期2213-2215,2218,共4页
CORBA作为成熟的分布式计算标准,主要用来构造企业内部事务紧急的应用,Web Services是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet的服务。针对CORBA在Internet环境下数据共享和应用集成的局限性,提出了CORBA与We... CORBA作为成熟的分布式计算标准,主要用来构造企业内部事务紧急的应用,Web Services是近年来提出的一种新的面向服务的体系结构,主要用来开发基于Internet的服务。针对CORBA在Internet环境下数据共享和应用集成的局限性,提出了CORBA与Web Services集成的方案,设计了集成网关并研究了集成中的关键问题:接口映射转换、消息类型转换和CORBA对象的动态调用。 展开更多
关键词 CORBA web SERVICES 接口定义语言 web服务描述语言 简单对象访问协议 网关
在线阅读 下载PDF
Web服务与CORBA、DCOM三种分布式计算模型的互操作性 被引量:15
18
作者 孙荣胜 徐天鹏 《江南大学学报(自然科学版)》 CAS 2003年第1期28-31,共4页
分布式对象系统一般存在CORBA与DCOM两种计算模型,但用这两种模型实现的分布式系统间存在互操作性问题.分析了这两种分布式计算模型,说明了影响其系统互操作性的原因,并在此基础上提出了一种新的分布式计算模型———Web服务分布式计算... 分布式对象系统一般存在CORBA与DCOM两种计算模型,但用这两种模型实现的分布式系统间存在互操作性问题.分析了这两种分布式计算模型,说明了影响其系统互操作性的原因,并在此基础上提出了一种新的分布式计算模型———Web服务分布式计算模型.阐述了该模型的体系架构,以及实现时需要的技术组件.经改进后的这一新计算模型,支持了跨平台及跨编程语言的互操作性,成为建立在真正支持互操作性的开放标准基础上的解决方案. 展开更多
关键词 web服务描述语言 统一发现描述集成
在线阅读 下载PDF
WebPeer:一个基于P2P的Web服务平台 被引量:5
19
作者 张智 李瑞轩 杨俊 《计算机应用研究》 CSCD 北大核心 2006年第5期210-212,共3页
分析了W eb服务和P2P这两种计算模型的优势与不足,并针对这些不足,设计了一个基于P2P的W eb服务平台———W ebPeer。该平台不仅能够较好地利用P2P技术来快速实现W eb服务的发布、发现和调用,而且能够利用W eb服务的开放标准来更好地描... 分析了W eb服务和P2P这两种计算模型的优势与不足,并针对这些不足,设计了一个基于P2P的W eb服务平台———W ebPeer。该平台不仅能够较好地利用P2P技术来快速实现W eb服务的发布、发现和调用,而且能够利用W eb服务的开放标准来更好地描述和完善P2P服务,使得P2P系统不再局限于提供单一的网络服务。 展开更多
关键词 对等计算 web服务 web服务描述语言
在线阅读 下载PDF
基于WSRF实现网格与Web服务的融合 被引量:6
20
作者 范会联 张玉芳 李柳柏 《计算机应用研究》 CSCD 北大核心 2007年第9期254-256,共3页
Web服务通知和Web服务资源框架规范提供了可扩展的发布/预订通知模式以及用Web服务为有状态资源建模的能力。介绍WSRF的核心规范,讨论WSRF在Globus Toolkit 4(GT4)的Java实现。最后给出一个基于WSRF和WS-Notification的开发实例,利用WSR... Web服务通知和Web服务资源框架规范提供了可扩展的发布/预订通知模式以及用Web服务为有状态资源建模的能力。介绍WSRF的核心规范,讨论WSRF在Globus Toolkit 4(GT4)的Java实现。最后给出一个基于WSRF和WS-Notification的开发实例,利用WSRF实现网格服务与Web服务的融合。 展开更多
关键词 web服务资源框架 web服务通知 GT4 web服务描述语言
在线阅读 下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部