您的位置: 专家智库 > >

国家自然科学基金(60233010)

作品数:29 被引量:366H指数:9
相关作者:梅宏吕建黄罡金芝胡昊更多>>
相关机构:北京大学南京大学中国科学院数学与系统科学研究院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 29篇期刊文章
  • 3篇会议论文

领域

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

主题

  • 8篇软件体系结构
  • 8篇体系结构
  • 5篇网构软件
  • 3篇中间件
  • 3篇本体
  • 2篇软件开发
  • 2篇软件体系结构...
  • 2篇软件体系结构...
  • 2篇软件维护
  • 2篇体系结构描述...
  • 2篇描述语言
  • 2篇结构描述语言
  • 2篇环境本体
  • 2篇SOFTWA...
  • 2篇WEB
  • 2篇APPROA...
  • 2篇MIDDLE...
  • 2篇AGENT
  • 1篇导论
  • 1篇电信

机构

  • 13篇北京大学
  • 8篇南京大学
  • 4篇中国科学院
  • 4篇中国科学院数...
  • 2篇中国科学院研...
  • 1篇清华大学
  • 1篇计算机软件新...

作者

  • 10篇梅宏
  • 9篇吕建
  • 6篇金芝
  • 6篇黄罡
  • 4篇胡昊
  • 3篇陶先平
  • 3篇焦文品
  • 2篇孙连山
  • 2篇孙熙
  • 2篇徐锋
  • 2篇陆汝钤
  • 2篇牟克典
  • 2篇陈韬略
  • 2篇侯丽珊
  • 2篇陈泓婕
  • 2篇韩婷婷
  • 2篇孙艳春
  • 2篇杨杰
  • 1篇李兴宇
  • 1篇赵海燕

传媒

  • 7篇计算机工程与...
  • 5篇计算机研究与...
  • 5篇中国科学(E...
  • 4篇电子学报
  • 3篇Scienc...
  • 2篇南京大学学报...
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇Journa...

年份

  • 1篇2008
  • 1篇2007
  • 17篇2006
  • 4篇2005
  • 7篇2004
  • 1篇2003
  • 1篇2002
29 条 记 录,以下是 1-10
排序方式:
一种Web Services QOS属性描述模型
2006年
随着Web Services的应用日趋广泛,Web Services的服务质量(QoS)成为了关注重点,如何清晰、全面地描述Web Services的QoS信息成为了有效选择、使用及管理Web Services的关键.本文通过分析现有的Web Services QoS方面的研究工作,给出了一个用于描述Web Services QoS的属性模型,并给出了相应的应用实例.
张静邵凌霜赵俊峰谢冰
关键词:WEBSERVICES服务质量
一种Java EE应用服务器的EJB3.0元数据框架被引量:1
2006年
针对EJB3.0条件下元数据处理所面临的问题,本文提出了一种EJB3.0元数据框架.它不仅提供元数据注释的解析、部署描述符的解析和元数据信息的存储访问控制等元数据服务,而且具有良好的内部结构,可以根据变化方便维护和更新.同时,该框架具有较高的功能独立性,实现了与应用服务器其他模块的松耦合.该框架已经在Java EE应用服务器PKUAS上实现.
王梓又周明辉曹东刚李瑞超梅宏
关键词:应用服务器元数据
ABCTool中软件体系结构运行视图的可视化
2006年
对运行系统的理解是软件维护的关键,而软件体系结构(SA)是理解大型软件系统的重要依据.SA运行视图以运行时软件体系结构(RSA)为基础,用易于理解的方式反映软件的实时状态和行为,并将用户对SA的操作转化为对软件系统的实时调整.本文介绍ABCTool对运行视图的可视化支持.该视图结合软件设计阶段的信息,为软件维护人员提供一个直观的界面,协助其监视软件的运行状态,发现软件存在的问题,并实现对软件的动态调整.本文以J2EE蓝图程序为例展示该运行视图的应用过程.
宋晖杨杰黄罡梅宏
关键词:软件体系结构软件维护
网构软件的研究与进展被引量:125
2006年
随着Internet的快速发展与普及,如何在开放、动态、难控的网络环境下实现各类资源的共享和集成已经成为计算机软件技术面临的重要挑战之一,为了应对挑战,许多新理念、新概念、新模型、新方法和新技术应运而生.在系统分析以面向对象方法与技术为代表的经典软件方法与技术体系不足的基础上,从软件方法学及其技术支撑的角度,通过对软件技术发展趋势与挑战的思考与分析,初步凝练出了网构软件的概念框架、基本特征、逻辑内涵与关键技术.然后,在此总体构架之下,对近年来出现的各种相关的软件新概念、新模型、新方法和新技术从基本理念开放化、软件实体主体化、软件协同分离化、运行机制自适应、开发方法群体化、外部环境显式化、安全保障可信化、系统管理自治化、技术体系系统化等多个侧面加以系统的综述与介绍;最后,在综合分析的基础上提炼出进一步的研究问题.
吕建马晓星陶先平徐锋胡昊
关键词:网构软件软件技术
一种以软件体系结构为中心的网构软件开发方法被引量:46
2006年
作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.作为一种以软件复用为核心思想、以软件构件为基本实体、以软件体系结构为中心、以软件中间件为运行支撑的软件开发方法学,ABC(architecture based component composition)方法能够有力支持网构软件的开发.其中,基于特征的领域建模以及特定应用的特征模型剪裁方法和技术,反映了网构软件在问题空间实现自底向上、从“无序”到“有序”的构造过程;基于自适应软件体系结构的分析与设计方法,支持自适应网构软件的开发;具有反射机制、支持自主构件的中间件平台则为网构软件的运行,尤其是网构软件结构的自适应和实体的自适应提供支撑机制.
梅宏黄罡赵海燕焦文品
关键词:网构软件软件体系结构
非规范软件需求管理被引量:4
2004年
对软件需求阶段的非规范信息进行有效管理有助于改进需求获取过程 ,提高需求质量 .本文主要讨论了软件开发过程中常见的非规范需求并提出了以容忍不一致性的需求推理为核心的管理框架 ,来有效管理模糊需求信息、冗余需求信息等与不一致信息密切相关的非规范需求信息 .
牟克典金芝陆汝钤
基于知识的UML图形文档自动生成被引量:4
2004年
基于领域本体的需求获取使得用领域术语描述用户需求,并进行应用模型的自动分析成为可能,以尽可能地保证需求描述的正确性和完整性。从以领域概念为背景的应用模型,到以软件概念为基础的应用软件模型,是需求工程要完成的一个实质性跨越。UML是目前软件需求描述的一个实际上的标准。该文主要论述了从基于领域本体的应用需求描述到基于UML的软件需求文档的自动转换过程,文章提出建立从领域本体概念到UML概念映射规则库,以及根据UML概念填写用XML表示的UML图元模板的规则库,设计并实现了一个基于规则的,从应用需求概念到UML图元模板的自动转换工具。
李娜金芝
关键词:企业本体UML需求规格说明
基于反射式软件中间件的运行时软件体系结构被引量:43
2004年
提出一种基于软件体系结构(SA)的软件维护与演化方法.通过运行时软件体系结构(RSA),系统的运行状态与行为以SA的形式展现,且操纵该SA视图能导致运行系统进行相应改变,这种因果关联通过反射式软件中间件实现.作为一个准确、实时、语义丰富、可操作的SA视图,RSA视构件与连接子为“白盒”实体,以精确、完整地描述运行系统.同时,通过扩展传统的SA描述语言,以形式化描述RSA,并使之具备继承设计阶段SA所富含语义的天然能力.本方法在反射式J2EE应用服务器PKUAS中得到实现,并通过性能测试考察了RSA对运行系统整体性能的影响.
黄罡梅宏杨芙清
关键词:软件体系结构软件维护J2EE软件开发
鲁棒环境演算类型演化系统的扩充(英文)被引量:2
2004年
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。
陈韬略冯扬悦吕建韩婷婷
关键词:进程代数环境演算
一种基于Agent的高可用性网构软件自动构建方法被引量:1
2006年
Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对保障软件系统可用性提出了新的要求.提出了一种基于Agent的高可用性软件构造方法.该方法使用Agent建模网络环境中的自主计算实体,在计算实体及其连接方式的可用性未知的情况下,由Agent通过学习,在运行一段时间后自适应地构造出可用性较优的软件系统.实验表明,基于该方法构建的系统能达到较高的可用性,并能在环境发生变化时自适应地调整自身的行为.
庄磊孙熙周立焦文品
关键词:网构软件可用性AGENT
共4页<1234>
聚类工具0