您的位置: 专家智库 > >

国家自然科学基金(60736015)

作品数:14 被引量:97H指数:5
相关作者:吕建陶先平马晓星曹春金芝更多>>
相关机构:南京大学中国科学院中国科学院数学与系统科学研究院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 13篇期刊文章
  • 1篇会议论文

领域

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

主题

  • 2篇语境
  • 2篇软件工程
  • 2篇软件体系结构
  • 2篇上下文
  • 2篇体系结构
  • 2篇图文法
  • 2篇ARTEMI...
  • 1篇动态语境
  • 1篇移动AGEN...
  • 1篇英文
  • 1篇映射
  • 1篇语法分析
  • 1篇语法制导
  • 1篇制导
  • 1篇软件AGEN...
  • 1篇上下文感知
  • 1篇上下文建模
  • 1篇普适计算
  • 1篇资源管理
  • 1篇资源描述

机构

  • 9篇南京大学
  • 3篇中国科学院
  • 3篇中国科学院数...
  • 2篇中国科学院研...
  • 1篇河海大学
  • 1篇德克萨斯大学
  • 1篇香港理工大学
  • 1篇江苏中烟工业...

作者

  • 6篇吕建
  • 5篇陶先平
  • 4篇曹春
  • 4篇马晓星
  • 3篇金芝
  • 2篇谢德平
  • 2篇马骏
  • 2篇邢阳
  • 1篇张康
  • 1篇蔡广军
  • 1篇吴晓
  • 1篇赵彬
  • 1篇葛季栋
  • 1篇余萍
  • 1篇吴庆曦
  • 1篇曹建农
  • 1篇韩秀清
  • 1篇吴步丹
  • 1篇曾晓勤
  • 1篇张璟璟

传媒

  • 2篇电子学报
  • 2篇南京大学学报...
  • 1篇计算机研究与...
  • 1篇模式识别与人...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇中国科学(E...
  • 1篇计算机科学
  • 1篇Scienc...
  • 1篇Journa...

年份

  • 1篇2011
  • 5篇2010
  • 2篇2009
  • 6篇2008
14 条 记 录,以下是 1-10
排序方式:
On environment-driven software model for Internetware被引量:17
2008年
Internetware is envisioned as a general software paradigm for the application style of resources integration and sharing in the open, dynamic and uncertain platforms such as the Internet. Continuing the agent-based Internetware model presented in a previous paper, in this paper, after an analysis of the behavioral patterns and the technical challenges of environment-driven applications, a software-structuring model is proposed for environment-driven Internetware applications. A series of explorations on the enabling techniques for the model, especially the modeling, management and utilization of context information are presented. Several prototypical systems have also been built to prove the concepts and evaluate the techniques. These research efforts make a further step toward the Internetware paradigm by providing an initial framework for the construction of context-aware and self-adaptive software application systems in the open network environment.
Lǔ Jian MA XiaoXing TAO XianPing CAO Chun HUANG Yu YU Ping
关键词:软件工程语境
一种图文法制导的软件体系结构开发环境Artemis-GADE被引量:2
2010年
图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性.
邢阳谢德平马晓星曹春吕建
关键词:软件体系结构语法制导开发环境
智能空间的资源管理及其应用研究被引量:8
2010年
资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.
张璟璟汪亮陶先平吕建
关键词:资源管理资源映射
一个描述可视化语言上下文属性化的图文法框架(英文)
2008年
针对目前已有的上下文相关图文法的描述规范过于复杂或不太直观,提出了一个新的上下文相关图文法的形式框架:上下文属性化的图文法CAGG.该文法将产生式的上下文信息刻画成相关结点的上下文属性来解决嵌入问题.而且进一步分析了合流的CAGG产生式集合的基本特征,并基于此设计了合流产生式集合的判定算法,从而为构造高效的语法分析算法奠定了基础.通过与已有上下文相关图文法的对比分析可知,CAGG图文法的形式更为简洁和直观,因而更适于且更易于应用到可视化语言描述领域.
邹阳曾晓勤韩秀清张康
关键词:可视化语言图文法语法分析合流
需求驱动的服务Agent协作及其协商框架被引量:3
2008年
传统的面向服务计算模式通常是包含中央控制结点的集中控制结构,多 Agent 理论和技术提供了另一种角度看待服务计算.本文将 Web 看成一种主动服务实体,即服务 Agent,服务计算模式演变为一种非集中式的、分布式结构.服务 Agent 主动发现需求并在需求吸引下聚集,通过功能本体和自动机制设计,得到需求解决方案.形成需求解决方案后,协作方案选择可以被归结为二部图上的0-1整数规划,这是一个 NP 完全问题.本文给出一种多 A-gent 协商框架,服务请求方和各服务 Agent 通过有限次协商交互最终达成协议,该协议选定服务 Agent 解决需求的一种协作方案.通过模拟对协商框架进行验证.
汤健郑丽伟金芝
关键词:服务AGENT
面向网构软件的环境驱动模型与支撑技术研究被引量:24
2008年
以开放网络环境下的网构软件需求为切入点,在前期基于Agent的网构软件模型等工作的基础上,分析了环境驱动的网构软件系统的行为模式和技术需求,提出了一个面向网构软件的环境驱动结构模型;以环境上下文建模、管理与使用为核心,研究了一系列相关的关键支撑技术,并构建了若干实验原型系统;初步形成了一种可适用于构建可自主感知并自动适应开放网络环境的软件系统需要的技术框架体系,从而在网构软件模型的研究上取得了进一步的进展.
吕建马晓星陶先平曹春黄宇余萍
关键词:软件工程网构软件上下文自适应
层次化网关转发的agent迁移技术与应用
2010年
随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移;但是由于Internet中存在大量的私有网络,且现阶段agent适移技术在支撑agent自由穿越各个私有网络方面存在不足,制约了基于移动agent的应用的普及.针对这一问题,本文提出了一个"层次化网关转发agent迁移方案".在该方案中,本文根据网络的拓扑结构提出了互联网络节点"层次化网络编址",并在此基础上给出了"地址解析/转发算法".此外,为了消除此方案对网关、代理服务器等关键节点的依赖,本文给出了基于"配对转发服务"的实现方案,在保证透明性的前提下完成逻辑上的网关功能,进一步增强"层次化网关转发agent迁移方案"的灵活性和实用性.最后,本文给出了基于此荐技术的一个"文件同步软件"应用实例实现.
吴晓马骏陶先平吕建
基于环境本体的Web服务投影描述方法被引量:3
2009年
服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。以环境本体为基础,提出了一种投影描述方法,给出了该方法描述所需信息及描述产生的结果,陈述了描述的步骤。该方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且还可以刻画服务作用环境的特征。
蔡广军金芝
关键词:环境本体
基于集合的上下文建模和操作
上下文感知是普适计算的最主要特征之一,它要求系统能够依据当前的上下文调节自身的行为。现今关于上下文相关的形式化工作主要集中在两个方面:上下文表示以及系统行为建模;而在关于如何对"上下文进行操作"这一方面的形式化工作却很少...
马骏曹建农马超陶先平
关键词:上下文感知上下文建模普适计算集合论
文献传递
面向服务的建模:一种全过程复用的方法被引量:30
2008年
面向服务的计算是Internet环境下的一种新型软件架构理念,即通过集成分布的服务构建软件.面向服务建模是面向服务计算中的重要研究内容.一方面,面向服务的软件同传统软件一样,需要首先对应用需求进行建模.另一方面,面向服务的计算需要实现分布复用和快速集成,这对面向服务的建模提出了新的要求.文中提出一种基于全过程复用的面向服务的建模方法,即提出构建特定应用领域的本体系统,包含相互关联着的多个不同类型的本体.不同层次的软件资产关联到这些本体上,支持面向服务建模的不同阶段,包括应用框架建模、业务流程建模、合作模式建模以及组合服务建模等.当出现新的服务软件应用需求时,通过本体系统的引导复用软件资产,最后构造出服务软件模型.
吴步丹金芝赵彬
共2页<12>
聚类工具0