您的位置: 专家智库 > >

文献类型

  • 9篇期刊文章
  • 2篇学位论文
  • 1篇会议论文

领域

  • 12篇自动化与计算...
  • 1篇电子电信

主题

  • 3篇WEB服务
  • 2篇语义WEB
  • 2篇体系结构
  • 2篇本体
  • 2篇OWL
  • 1篇代码
  • 1篇代码实现
  • 1篇电子政务
  • 1篇信息集成
  • 1篇形式化
  • 1篇英文
  • 1篇有色PETR...
  • 1篇元模型
  • 1篇政务
  • 1篇知识库
  • 1篇知识库更新
  • 1篇智能体
  • 1篇软件复用
  • 1篇上下文
  • 1篇数据字典

机构

  • 12篇武汉大学
  • 1篇华中师范大学
  • 1篇湖南财经高等...

作者

  • 12篇房丽娜
  • 5篇肖如良
  • 5篇唐胜群
  • 5篇邓新国
  • 5篇李玲
  • 3篇徐有威
  • 3篇林子禹
  • 2篇李宁
  • 2篇曾奕
  • 2篇徐扬
  • 1篇张文涛
  • 1篇徐杨
  • 1篇杨艳
  • 1篇李秀军
  • 1篇黄钢
  • 1篇叶俊民
  • 1篇韩剑
  • 1篇董红斌
  • 1篇陈伟清

传媒

  • 3篇计算机工程与...
  • 2篇Journa...
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇计算机科学
  • 1篇全国语域we...

年份

  • 2篇2008
  • 3篇2007
  • 2篇2006
  • 3篇2005
  • 2篇2004
12 条 记 录,以下是 1-10
排序方式:
基于元模型的本体演化方法研究
房丽娜
关键词:本体本体演化元模型语义WEBWEB服务
基于Web应用的MVC架构实现——AWDF被引量:24
2005年
Agile Web Development Framework(AWDF)开发框架是作者提出的一种新型的Web开发框架,它基于MVC模型2,用于Web应用的开发。通过与struts的比较提出了AWDF的优势所在,并对AWDF的设计思想、框架模式、各个组成部分的定义功能及责任作了详细的描述。此构架的优势在于与其它框架相比,它的简单易用使得降低系统的复杂度和系统的开发成本成为可能;并且AWDF框架采用可复用的数据验证的机制来提高系统的可复用性,从而使得在大型系统的开发中使用此构架成为可能。
房丽娜唐胜群曾奕李宁
关键词:STRUTS数据字典
用范畴论和SHOIQ(D)DL形式化上下文被引量:1
2007年
为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ(D)内提出了一个基于上下文的Context-SHOIQ(D)形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.
肖如良唐胜群李玲房丽娜邓新国
关键词:描述逻辑上下文信息集成
基于QoS的组合服务优化选择问题建模与求解被引量:3
2007年
提出了一种支持Web服务动态组合的框架,并在此基础上对Web服务组合中的服务优化选择问题建模,根据用户设置的QoS约束条件,将服务优化选择问题分成3类,并分别给出了相应的服务选择算法。实验证明算法在保证一定优度的同时亦具有良好的时间性能。
杨艳房丽娜张文涛叶俊民
关键词:QOS
自适应Web服务工作流体系结构的研究被引量:8
2005年
通过在Web服务中引入语义成分,采用DAML-S来描述Web服务,提出了一个自适应Web服务工作流的体系结构,然后深入讨论了其中的两个核心模型:Web服务自动发现模型和Web服务自动交互模型。
李秀军林子禹房丽娜
关键词:工作流WEB服务语义WEB
扩展OWL:聚合集成协作的本体和智能体(英文)
为了解决本体之间、本体与外部智能体之间协作的困难问题,提出了一个本体聚合集成协作的方法,与当前方法不同之处在于不使用owl:import而采取添加新的协作接口(agent-link和on- tology-link);讨论...
肖如良唐胜群李玲房丽娜徐扬徐有威邓新国
关键词:本体智能体
文献传递
修正的逻辑程序知识库更新方法
2004年
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
曾奕董红斌李宁房丽娜
关键词:知识库更新逻辑程序
有色Petri网协作模型的BPEL代码实现被引量:1
2008年
Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。
邓新国林子禹陈伟清肖如良李玲房丽娜
关键词:PETRI网BPELWEB服务
Context-driven reconciliation in ontology integration
2007年
In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ (D + ) DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules (InclusionRule, SelectionRule, PreferenceRule, and MappingRule), that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability (import, partial reconciliation, and full reconciliation). While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.
李玲唐胜群肖如良房丽娜邓新国徐有威徐杨
关键词:CONTEXTRECONCILIATION
电子政务网格层次体系结构研究被引量:11
2005年
为适应目前我国电子政务系统建设的发展,使用最新的网格技术,提出了一种电子政务网格的层次体系结构,说明了该体系结构的设计原理,介绍了实现该体系结构使用的一些关键技术和该体系结构的特点。
黄钢林子禹韩剑房丽娜
关键词:网格电子政务体系结构GLOBUSTOOLKIT
共2页<12>
聚类工具0