彭中
- 作品数：4 被引量：2H指数：1
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于OCL的面向方面监控框架被引量：1
- 2009年
- 基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。
- 彭中毛晓光
- 关键词：对象约束语言面向方面编程
- 植入式安全性质监控技术
- 针对安全性质,提出一种植入式监控方法.使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射.该方法采用AO...
- 彭中毛晓光谢彬
- 关键词：安全性质对象约束语言面向方面编程
- 文献传递
- 基于AOP的软件性质监控技术研究
- 随着软件复杂度的提高,软件失效和故障问题日渐突出,软件可信性越来越受到人们的关注。针对软件实施运行时监控是提高软件可信性的一种有效途径。然而,传统的软件监控技术存在着一维实现技术与多维监控需求之间的失配,导致了代码的缠结...
- 彭中
- 关键词：面向方面编程对象约束语言ASPECTJ
- 植入式安全性质监控技术
- 2008年
- 针对安全性质,提出一种植入式监控方法。使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射。该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力。
- 彭中毛晓光谢彬
- 关键词：安全性质对象约束语言面向方面编程
