计算机工程 ›› 2009, Vol. 35 ›› Issue (13): 17-19,6.doi: 10.3969/j.issn.1000-3428.2009.13.006

• 软件技术与数据库 • 上一篇    下一篇

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

彭 中,毛晓光   

  1. (国防科技大学计算机学院,长沙 410073)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-07-05 发布日期:2009-07-05

Aspect Oriented Monitor Framework Based on OCL

PENG Zhong, MAO Xiao-guang   

  1. (School of Computer, National University of Defense Technology, Changsha 410073)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-07-05 Published:2009-07-05

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

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

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

中图分类号: