邓新国
- 作品数:6 被引量:3H指数:1
- 供职机构:武汉大学计算机学院软件工程国家重点实验室更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 用范畴论和SHOIQ(D)DL形式化上下文被引量:1
- 2007年
- 为了解决在动态环境下不断进化的本体知识库和资源整合所带来的上下文环境问题,作者从范畴论的角度在一种描述逻辑SHOIQ(D)内提出了一个基于上下文的Context-SHOIQ(D)形式系统,文章对其语法、语义,以及有关推理和知识表示的若干元语言进行了论述,最后讨论了该形式系统实现异构信息集成的方法.
- 肖如良唐胜群李玲房丽娜邓新国
- 关键词:描述逻辑上下文
- 扩展OWL:聚合集成协作的本体和智能体(英文)
- 为了解决本体之间、本体与外部智能体之间协作的困难问题,提出了一个本体聚合集成协作的方法,与当前方法不同之处在于不使用owl:import而采取添加新的协作接口(agent-link和on- tology-link);讨论...
- 肖如良唐胜群李玲房丽娜徐扬徐有威邓新国
- 关键词:本体智能体
- 文献传递
- 有色Petri网协作模型的BPEL代码实现被引量:1
- 2008年
- Web服务业务流程执行语言(BPEL)提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri(CPNs)可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。
- 邓新国林子禹陈伟清肖如良李玲房丽娜
- 关键词:PETRI网BPELWEB服务
- 扩展OWL:聚合集成协作的本体和智能体(英文)
- 2006年
- 为了解决本体之间、本体与外部智能体之间协作的困难问题,提出了一个本体聚合集成协作的方法,与当前方法不同之处在于不使用owl:import而采取添加新的协作接口(agent-link和on-tology-link);讨论了为外部智能体及本体所做的语法接口,叙述了本体与外部智能体和本体协作的元方法.该方法致力于从OWL自身来解决这个协作问题,而且容易跟踪本体协作过程中新增知识的上下文.
- 肖如良唐胜群李玲房丽娜徐扬徐有威邓新国
- 关键词:本体智能体
- 基于结构化定理的BPMN结构化方法被引量:1
- 2009年
- 在基于标准模型驱动业务流程的开发环境中,需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。实验结果表明,该方法是有效的。
- 邓新国林子禹肖如良
- 本体集成中上下文驱动协调(英文)
- 2007年
- 为了解决本体集成中因上下文的不同所引起的语义不协调的问题,提出了一个上下文驱动的协调机制.该机制基于先前的工作,即一种基于上下文的形式化Context-SHOIQ (D+) DL,采用描述逻辑和范畴论显示表示本体的上下文信息.为了扩展这个形式化,添加了4个迁移规则(包含、选择、优先和映射规则),用来规定输入到集成上下文中的内容;还添加了3个互操作能力依次递增的上下文集成操作(输入、部分协调和完全协调).该机制不是完备的,但足以解决提出的5种语义不协调的问题,有助于本体从一个上下文集成到另一个上下文.
- 李玲唐胜群肖如良房丽娜邓新国徐有威徐杨
- 关键词:语义WEB上下文本体集成