基于OCL的面向方面监控框架  

Aspect Oriented Monitor Framework Based on OCL

作　　者：彭中[1] 毛晓光[1] 

机构地区：[1]国防科技大学计算机学院,长沙410073

出　　处：《计算机工程》2009年第13期17-19,60,共4页Computer Engineering

基　　金：国家自然科学基金资助项目(60503032);国家"863"计划基金资助项目(2006AA01Z178;2007AA010301)

摘　　要：基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面,对监控方面与被监控软件进行编织,使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息,实现其在模型上的可视化呈现。This paper presents a monitor framework for software properties based on the techniques of Aspect Oriented Programming（AOP）. This framework generates monitoring aspects from Object Constraint Language（OCL） constraints. By weaving monitor aspects with software monitored, the software can find any runtime violation of constraints. The information of violation of constraints can be analyzed further by using UML Specification Environment（USE）. After the analysis, the information of violation will be shown on the model.

关 键 词：对象约束语言 面向方面编程 监控框架 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]