国家高技术研究发展计划(2006AA01Z178)
- 作品数：4 被引量：6H指数：1
- 相关作者：毛晓光洪贵唐赞岳雷晏王戟更多>>
- 相关机构：国防科学技术大学北京市遥感信息研究所华东计算技术研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML的可信概念模型
- 随着计算机在国民经济和国防领域中的广泛应用,可信性质已经成为评价计算机系统非功能性的重要指标.从形式化表示机制的角度,本文应用UML语言建立了计算机系统的可信概念模型.首先给出了可信概念的高层次抽象UML类图,然后分别描...
- 王承松毛晓光雷晏王燕妮
- 关键词：高可信UML
- 文献传递
- 植入式安全性质监控技术
- 2008年
- 针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力。
- 彭中毛晓光谢彬
- 关键词：安全性质对象约束语言面向方面编程
- 一个集成的软件可靠性工程环境被引量：1
- 2007年
- 针对软件可靠性工程实施中发现的核心问题,本文介绍了我们在软件可靠性关键技术上取得的突破,以及以此为支撑的集成环境SREE。该系统依托Eclipse,支持软件可靠性工程的关键活动:使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。
- 唐赞岳毛晓光王戟徐锡山董威
- 关键词：工程环境
- 面向方面软件开发:理念和观察被引量：4
- 2007年
- 面向方面软件开发是近年来软件开发领域出现的一个重要的前沿研究方向。本文从软件开发方法和方面的哲学基础探讨面向方面软件开发(AOSD)的根本和理念,并以此为指导,追寻其发展历程,明确AOSD未来发展的目标和核心关注点。
- 洪贵毛晓光
- 关键词：面向方面软件开发
- 基于AOP技术的软件性质监控框架被引量：1
- 2010年
- 针对软件运行时可信保障存在的相关问题,提出了基于AOP技术的软件性质监控框架。本框架使用OCL(Object Constraint Language)和UML Profile的SPT(Schedulability,Performance and Time)规范实现了软件性质在模型上的描述,基于描述并独立于被监控软件自动生成监控方面,将监控方面编织入被监控软件,从而使被监控软件具有运行时软件性质监控能力。
- 雷晏毛晓光王承松
- 关键词：对象约束语言面向方面编程
