| 植入式安全性质监控技术 |
| |
| 引用本文： | 彭中,毛晓光,谢彬.植入式安全性质监控技术[J].计算机工程,2008,34(Z1). |
| |
| 作者姓名： | 彭中 毛晓光 谢彬 |
| |
| 作者单位： | 1. 国防科技大学计算机学院,长沙,410073
2. 华东计算技术研究所,上海,200233 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 针对安全性质,提出一种植入式监控方法.使用OCL(Object Constraint Language)实现安全性质在模型上的描述,并将OCL约束转化为Java监控代码,从而实现监控信息由模型到代码的映射.该方法采用AOP(Aspect-Oriented Programming)技术将监控代码植入目标系统,使软件在运行时具备安全性质的监控能力.
|
| 关 键 词： | 安全性质 监控 对象约束语言 面向方面编程 |
Embedded Monitoring Technology for Safety Property |
| |
| PENG Zhong,MAO Xiao-guang,XIE Bin.Embedded Monitoring Technology for Safety Property[J].Computer Engineering,2008,34(Z1). |
| |
| Authors: | PENG Zhong MAO Xiao-guang XIE Bin |
| |
| Affiliation: | PENG Zhong~1,MAO Xiao-guang~1,XIE Bin~2 (1.School of Computer,National University of Defense Technology,Changsha 410073,2.East China Institute of Computer Technology,Shanghai 200233) |
| |
| Abstract: | An embedded monitoring approach for safety property is presented.Safety property is described on the model by OCL(Object Constraint Language).The OCL constraints are transformed to Java code.A mapping from model to code of monitoring information is built.By adopting AOP(Aspect-Oriented Programming) technology to insert monitor code into target system,this approach makes software system have the ability of monitoring safety property at runtime. |
| |
| Keywords: | safety property monitoring Object Constraint Language(OCL) Aspect-Oriented Programming(AOP) |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
