国家自然科学基金(60503028)
- 作品数:4 被引量:8H指数:2
- 相关作者:孙艳春黄罡陈泓婕梅宏孙连山更多>>
- 相关机构:北京大学教育部更多>>
- 发文基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 从需求规约到软件体系结构——一个实例研究
- 2005年
- 软件需求工程和软件体系结构设计是软件开发中的两个早期关键活动.如何自动或半自动地实现从需求规约到软件体系结构的变换一直是学术界和产业界关注的难题.目前,实践中仍然没有系统化的、有效的方法、技术、工具和过程指导从需求规约到软件体系结构的变换.本文基于一个实际项目一奥运会注册制证子系统的软件体系结构建模,探讨了从需求规约到软件体系结构变换的经验性过程,并分析了变换过程中涉及的关键问题。以期为获得一个一般性变换过程奠定基础.
- 孙连山孙艳春陈泓婕梅宏
- 关键词:需求规约软件体系结构
- 特征模型中非功能需求建模初探被引量:4
- 2006年
- 在需求模型中准确、完整地规约与非功能需求(NFR)相关的语义是实现NFR的前提,也是需求建模的难点.本文探讨了特征模型中NFR的建模方法,该方法显式区分功能和非功能特征,根据精化关系将处于不同抽象层次上的非功能特征组织成树状结构,支持对NFR的系统化处理.该方法扩展特征模型以显式描述特定于NFR的语义,还给出了基于知识库(特别是中间件特征模型构成的知识库)识别并精化NFR的过程.该方法在奥运信息系统建模中得到了应用.
- 孙连山黄罡孙艳春陈泓婕梅宏
- 关键词:中间件非功能需求
- 一种基于Agent的高可用性网构软件自动构建方法被引量:1
- 2006年
- Internet环境开放、动态的本质,计算实体自身的自主性和独立性以及网络连接的不稳定性等,均对保障软件系统可用性提出了新的要求.提出了一种基于Agent的高可用性软件构造方法.该方法使用Agent建模网络环境中的自主计算实体,在计算实体及其连接方式的可用性未知的情况下,由Agent通过学习,在运行一段时间后自适应地构造出可用性较优的软件系统.实验表明,基于该方法构建的系统能达到较高的可用性,并能在环境发生变化时自适应地调整自身的行为.
- 庄磊孙熙周立焦文品
- 关键词:网构软件可用性AGENT
- 一种软件体系结构设计决策的建模工具被引量:3
- 2009年
- 体系结构设计在整个软件生命周期中起到关键作用,而设计知识的蒸发会导致系统演化花费代价高、涉众之间交流出现障碍、体系结构制品的复用受到限制等问题,为此需要在软件体系结构层次对设计决策进行显式化的建模。基于一种以决策为中心的体系结构设计方法,实现了一个软件体系结构设计决策的建模工具。该工具帮助架构师对体系结构设计中的问题、方案、决策、理由等核心概念进行建模,完成从需求到体系结构的设计过程,并实现了自动化的候选体系结构方案的合成和部分设计理由的捕捉。该工具还提供了体系结构设计模型与设计决策之间的相互追踪性,以及帮助实现体系结构设计过程中设计决策知识的复用。
- 肖赛崔晓峰孙艳春黄罡
- 关键词:软件体系结构软件体系结构设计