房丽娜 作品数:12 被引量:48 H指数:3 供职机构: 武汉大学 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于元模型的本体演化方法研究 房丽娜关键词:本体 本体演化 元模型 语义WEB WEB服务 基于Web应用的MVC架构实现——AWDF 被引量:24 2005年 Agile Web Development Framework(AWDF)开发框架是作者提出的一种新型的Web开发框架,它基于MVC模型2,用于Web应用的开发。通过与struts的比较提出了AWDF的优势所在,并对AWDF的设计思想、框架模式、各个组成部分的定义功能及责任作了详细的描述。此构架的优势在于与其它框架相比,它的简单易用使得降低系统的复杂度和系统的开发成本成为可能;并且AWDF框架采用可复用的数据验证的机制来提高系统的可复用性,从而使得在大型系统的开发中使用此构架成为可能。 房丽娜 唐胜群 曾奕 李宁关键词:STRUTS CONTROLLER 数据字典 用范畴论和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网 BPEL WEB服务 本体集成中上下文驱动协调(英文) 2007年 为了解决本体集成中因上下文的不同所引起的语义不协调的问题,提出了一个上下文驱动的协调机制.该机制基于先前的工作,即一种基于上下文的形式化Context-SHOIQ (D+) DL,采用描述逻辑和范畴论显示表示本体的上下文信息.为了扩展这个形式化,添加了4个迁移规则(包含、选择、优先和映射规则),用来规定输入到集成上下文中的内容;还添加了3个互操作能力依次递增的上下文集成操作(输入、部分协调和完全协调).该机制不是完备的,但足以解决提出的5种语义不协调的问题,有助于本体从一个上下文集成到另一个上下文. 李玲 唐胜群 肖如良 房丽娜 邓新国 徐有威 徐杨关键词:语义WEB 上下文 本体集成 电子政务网格层次体系结构研究 被引量:11 2005年 为适应目前我国电子政务系统建设的发展,使用最新的网格技术,提出了一种电子政务网格的层次体系结构,说明了该体系结构的设计原理,介绍了实现该体系结构使用的一些关键技术和该体系结构的特点。 黄钢 林子禹 韩剑 房丽娜关键词:网格 电子政务 体系结构 GLOBUS TOOLKIT