您的位置： 专家智库 > >

国家自然科学基金(60703009)

作品数：5 被引量：6H指数：1
相关作者：何克清李兵曾诚彭蓉余智涛更多>>
相关机构：武汉大学湖北大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 7篇会议论文
  • 5篇期刊文章

领域

  • 12篇自动化与计算...

主题

  • 3篇互操作
  • 3篇服务注册
  • 3篇本体
  • 3篇WEB服务
  • 2篇语义互操作
  • 2篇网络
  • 2篇领域本体
  • 2篇管理模型
  • 2篇管理模型研究
  • 2篇分布式
  • 2篇分布式WEB
  • 2篇分布式结构
  • 2篇RGPS
  • 2篇UDDI
  • 1篇代数
  • 1篇代数方法
  • 1篇虚拟化
  • 1篇银行
  • 1篇银行领域
  • 1篇语义WEB

机构

  • 12篇武汉大学
  • 5篇湖北大学

作者

  • 6篇李兵
  • 5篇曾诚
  • 3篇何克清
  • 3篇彭蓉
  • 1篇宁达
  • 1篇崔竞松
  • 1篇余敦辉
  • 1篇何扬帆
  • 1篇曾祥勇
  • 1篇马于涛
  • 1篇伍伟
  • 1篇万彩平
  • 1篇余智涛

传媒

  • 2篇武汉大学学报...
  • 1篇计算机学报
  • 1篇华中科技大学...
  • 1篇微电子学与计...

年份

  • 1篇2010
  • 5篇2009
  • 6篇2008
共 5 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种检测TAL-freeness的代数方法
2008年
时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.
彭蓉崔竞松曾祥勇
关键词：时间自动机
Web服务注册管理模型中的语义互操作性研究被引量：1
2009年
针对目前不同Web服务注册管理标准之间(如UDDI,ebXML等)无法进行互操作的问题,运用元模型互操作框架(metamodel framework for interoperability,MFI)和本体技术,建立了一种支持语义互操作的Web服务注册管理模型的体系架构,运用MFI中的本体演化规则保证了本体在演化前后的一致性,从而保证基于本体的不同Web服务注册库的互操作性.构建了一个基于MFI的Web服务注册管理模型的原型系统,实验结果表明该原型系统的Web服务查全率比单一Web服务模型高.
曾诚何克清李兵万彩平余智涛
一种基于O-RGPS领域建模框架的按需模型选择方法被引量：1
2009年
在O-RGPS(Ontology annotated Domain Role/Goal/Process/Service Model Repository)领域建模框架的指导下,提出了一种支持按需模型选择的方法.该方法利用领域本体和领域模型之间的基于本体标注的语义关联,在语素相似度计算和目标相似度计算的基础上,提出了期望目标需求自动建模算法,达到按需模型选择的目的,通过一个城市交通领域实例验证了此方法的有效性.
宁达彭蓉
关键词：领域本体相似度计算
基于本体的语义Web服务注册平台研究
提出了一种基于本体的语义Web服务注册模型,结合Jena实现语义Web服务的语义查询和推理.应用元模型互操作框架（MFI）中的本体注册元模型标准,以实现与其他注册模型的语义互操作,并给出了一个基于该模型的语义Web服务注...
伍伟李兵曾诚
关键词：语义WEB服务本体语义互操作WEB服务注册
文献传递
一种改进的分布式Web服务注册管理模型研究
目前比较流行的Web服务注册管理模型UDDI存在实际使用情况较差的问题.主要原因在于:集中式的管理导致其随着服务数量的增加变得较难管理和维护;另一方面,目前UDDI只能提供基于关键字的目录查找,造成了服务查找有效性较差的...
曾诚何克清李兵
关键词：WEB服务UDDI分布式结构
文献传递
基于错误传播概率网络的软件回归测试用例选择
软件测试是保证软件质量的重要方法,回归测试是软件测试和维护过程中的重要过程。传统的回归测试方法开销较大,如何提高回归测试的效率和减少成本,测试用例的选择就成为一个需要解决的问题。软件内部结构对软件质量有重要影响。因此,对...
周晓燕李兵潘伟丰覃叶宜
关键词：软件网络
文献传递
基于加权类网络的面向对象软件系统耦合度分析
模块独立性是软件设计的重要原则。具有良好独立性的模块划分,系统可靠性强,易于理解和维护。模块独立性反映了软件的质量,因此,分析软件的模块独立性对评价软件质量具有重要作用。软件工程使用内聚度和耦合度评价模块独立性,高内聚和...
覃叶宜李兵潘伟丰周晓燕
关键词：面向对象软件加权网络耦合度
一种改进的分布式Web服务注册管理模型研究被引量：4
2008年
目前比较流行的Web服务注册管理模型UDDI存在实际使用情况较差的问题.主要原因在于:集中式的管理导致其随着服务数量的增加变得较难管理和维护;另一方面,目前UDDI只能提供基于关键字的目录查找,造成了服务查找有效性较差的问题.文中提出了一种改进的分布式服务注册管理模型(pUDDI),利用分布式结构和Web服务池机制减轻Web服务注册中心的负担和提高注册库中服务查找的有效性.
曾诚何克清李兵
关键词：WEB服务UDDI分布式结构
NRST及其在需求过程调度中的应用
网络式软件作为基于Internet这一开放环境运行的软件的一个典型代表,其全开放运行机制使得需求过程的自动调度尤为重要.为此,首先将网络式软件的需求状态（NRS）划分为6个状态,并利用网络式软件需求状态跟踪（NRST）图...
余敦辉何克清李兵毛海燕
文献传递
云计算的栈模型研究
云计算包含了两个方面的含义:一方面是底层构建的云计算平台基础设施,是用来构造上层云服务的基础;另外一方面是构建在这个基础平台之上的云计算服务层.首先综述了云计算的研究现状,然后重点给出了云计算的栈模型结构.并在此基础上针...
曾诚李兵何克清
关键词：云计算虚拟化互操作性
文献传递
全选 清除 导出
共2页<12>
聚类工具0