Abstract: 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.

Key words: Object Constraint Language(OCL), Aspect Oriented Programming(AOP), monitor framework

摘要： 基于面向方面编程技术提出一种软件性质监控框架。该框架根据对象约束语言的约束条件生成监控方面，对监控方面与被监控软件进行编织，使软件在运行时具备发现约束违背的能力。使用模型约束检查工具USE可以进一步分析违约信息，实现其在模型上的可视化呈现。

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

CLC Number: 

• TP311.5