期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种面向语义Web服务的软件设计语言和设计方法
被引量:
4
1
作者
曹虹华
应时
+1 位作者
杜德慧
贾向阳
《电子学报》
EI
CAS
CSCD
北大核心
2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域...
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 .
展开更多
关键词
语义WEB服务
语义编程语言SPL
软件设计方法
下载PDF
职称材料
一种基于UDDI构建软组件库的方法
2
作者
曹虹华
应时
+1 位作者
杜德慧
马于涛
《计算机应用研究》
CSCD
北大核心
2006年第10期200-202,共3页
为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDD I注册机制使用W eb服务技术构建软组件库的方法。利用UDD I 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDD I注册中心,并给出与该...
为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDD I注册机制使用W eb服务技术构建软组件库的方法。利用UDD I 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDD I注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDD I的查询功能,将实现查询匹配的服务集成到UDD I中,提供对多种服务描述语言的支持。
展开更多
关键词
软组件库
刻面分类法
UDDI
WEB服务
下载PDF
职称材料
基于语义的服务资源描述模型RDF4S
被引量:
2
3
作者
解丹
应时
+3 位作者
曹虹华
贾向阳
崔
华
肖波
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2008年第1期71-76,共6页
在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S...
在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.
展开更多
关键词
语义WEB服务
本体
语义资源描述
语义Web服务模型
下载PDF
职称材料
基于MDA的嵌入式软件开发平台设计
被引量:
2
4
作者
别文群
杜德慧
曹虹华
《微计算机信息》
北大核心
2006年第04Z期11-13,共3页
针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁...
针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。
展开更多
关键词
MDA
UML
嵌入式软件
模型验证
模拟
下载PDF
职称材料
一种基于语义网的服务资源描述框架RDF4S
5
作者
解丹
应时
+2 位作者
贾向阳
张韬
曹虹华
《软件导刊》
2007年第9期68-70,共3页
目前,语义Web服务技术在软件开发中面临着以下难题:服务的语义描述能力不够,自动发现、自动组合服务资源的能力不足,无法有效地支持大规模复杂应用软件的开发。针对这些问题,提出了一种服务资源描述框架RDF4S,从服务的基本信息、功能信...
目前,语义Web服务技术在软件开发中面临着以下难题:服务的语义描述能力不够,自动发现、自动组合服务资源的能力不足,无法有效地支持大规模复杂应用软件的开发。针对这些问题,提出了一种服务资源描述框架RDF4S,从服务的基本信息、功能信息、执行信息以及QoS信息等方面对服务资源进行描述。该框架可以对服务的自动发现、自动组合提供支持,满足了基于语义Web服务技术开发应用软件的需要。
展开更多
关键词
WEB服务
语义WEB
资源描述框架
下载PDF
职称材料
基于RDF4S语义服务描述模型的服务资源搜索框架
被引量:
1
6
作者
曾志浩
应时
曹虹华
《计算机科学》
CSCD
北大核心
2008年第11期258-261,共4页
语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模...
语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
展开更多
关键词
语义服务
RDF4S
语义服务搜索
下载PDF
职称材料
题名
一种面向语义Web服务的软件设计语言和设计方法
被引量:
4
1
作者
曹虹华
应时
杜德慧
贾向阳
机构
武汉大学软件工程国家重点实验室
华东师范大学软件学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2007年第B12期129-135,共7页
基金
国家863高技术研究发展计划资助项目(No.2006AA012168)
国家973重点基础研究发展规划资助项目(No.2007CB310800)
+1 种基金
国家自然科学基金(No.60773006)
北京市教育委员会2007年度科技发展计划面上项目(No.KM200710772003).
文摘
在分析已有的面向服务的设计和开发方法的基础上,设计了一种语义编程语言SPL,并基于该语言提出一种面向语义web服务的软件设计和开发方法,试图提供一种有效的解决方案,用于设计和开发面向语义web服务的软件系统.结合旅游预订领域的一个实例,讨论了该方法的全过程.还给出了SPL语言和相关语言的比较.该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 .
关键词
语义WEB服务
语义编程语言SPL
软件设计方法
Keywords
semantic web services
semantic programming language
semantic service oriented design
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于UDDI构建软组件库的方法
2
作者
曹虹华
应时
杜德慧
马于涛
机构
武汉大学软件工程国家重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2006年第10期200-202,共3页
基金
国家自然科学基金资助项目(60473066)
湖北省青年杰出人才基金资助项目(2003ABB004)
湖北省教育厅重点科学研究计划资助项目(Z200511005)
文摘
为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDD I注册机制使用W eb服务技术构建软组件库的方法。利用UDD I 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDD I注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDD I的查询功能,将实现查询匹配的服务集成到UDD I中,提供对多种服务描述语言的支持。
关键词
软组件库
刻面分类法
UDDI
WEB服务
Keywords
Software Component Repository
Faceted Classification
UDDI
Web Service
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于语义的服务资源描述模型RDF4S
被引量:
2
3
作者
解丹
应时
曹虹华
贾向阳
崔
华
肖波
机构
武汉大学软件工程国家重点实验室
出处
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2008年第1期71-76,共6页
基金
国家高技术研究发展计划(863)项目(2006AA01Z168)
文摘
在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.
关键词
语义WEB服务
本体
语义资源描述
语义Web服务模型
Keywords
semantic Web service
ontology
semantic resources description
semantic Web service model
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于MDA的嵌入式软件开发平台设计
被引量:
2
4
作者
别文群
杜德慧
曹虹华
机构
广州广东轻工职业技术学院
武汉大学软件工程国家重点实验室
出处
《微计算机信息》
北大核心
2006年第04Z期11-13,共3页
基金
湖北省重点项目(No.902130819)
软件工程国家重点实验室开放基金(SKLSE05-03)
文摘
针对如何快速开发高质量的嵌入式软件的问题,实现了一种基于MDA的嵌入式软件开发平台EUP。该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。分析了铁道交叉路口系统的实例,试验结果表明EUP平台能够方便、高效地实现模型模拟和验证,为快速开发高质量的嵌入式软件提供了一种可行的途径。
关键词
MDA
UML
嵌入式软件
模型验证
模拟
Keywords
MDA
UML
Embedded Software
Model Checking
Simulation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于语义网的服务资源描述框架RDF4S
5
作者
解丹
应时
贾向阳
张韬
曹虹华
机构
湖北中医学院信息技术系
武汉大学软件工程国家重点实验室
出处
《软件导刊》
2007年第9期68-70,共3页
基金
国家高技术研究发展计划863资助项目(2006AA01Z168)
文摘
目前,语义Web服务技术在软件开发中面临着以下难题:服务的语义描述能力不够,自动发现、自动组合服务资源的能力不足,无法有效地支持大规模复杂应用软件的开发。针对这些问题,提出了一种服务资源描述框架RDF4S,从服务的基本信息、功能信息、执行信息以及QoS信息等方面对服务资源进行描述。该框架可以对服务的自动发现、自动组合提供支持,满足了基于语义Web服务技术开发应用软件的需要。
关键词
WEB服务
语义WEB
资源描述框架
分类号
TP393.01 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于RDF4S语义服务描述模型的服务资源搜索框架
被引量:
1
6
作者
曾志浩
应时
曹虹华
机构
武汉大学软件工程国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2008年第11期258-261,共4页
基金
国家重点基础研究发展计划973项目(2007CB310800)
国家高技术研究发展计划863项目(2006AA01Z168)
国家自然科学基金项目(60773006)
文摘
语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。
关键词
语义服务
RDF4S
语义服务搜索
Keywords
Semantic Web service, RDF4S, Semantic service discovery
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
U29 [交通运输工程—交通运输规划与管理]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种面向语义Web服务的软件设计语言和设计方法
曹虹华
应时
杜德慧
贾向阳
《电子学报》
EI
CAS
CSCD
北大核心
2007
4
下载PDF
职称材料
2
一种基于UDDI构建软组件库的方法
曹虹华
应时
杜德慧
马于涛
《计算机应用研究》
CSCD
北大核心
2006
0
下载PDF
职称材料
3
基于语义的服务资源描述模型RDF4S
解丹
应时
曹虹华
贾向阳
崔
华
肖波
《武汉大学学报(理学版)》
CAS
CSCD
北大核心
2008
2
下载PDF
职称材料
4
基于MDA的嵌入式软件开发平台设计
别文群
杜德慧
曹虹华
《微计算机信息》
北大核心
2006
2
下载PDF
职称材料
5
一种基于语义网的服务资源描述框架RDF4S
解丹
应时
贾向阳
张韬
曹虹华
《软件导刊》
2007
0
下载PDF
职称材料
6
基于RDF4S语义服务描述模型的服务资源搜索框架
曾志浩
应时
曹虹华
《计算机科学》
CSCD
北大核心
2008
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部