用于支持契约的AOP代码生成器的研究与实现

Research and Implementation of an AOP Code Generator for Supporting Contracts

面向方面编程(AOP)是一种新兴的编程方法,其核心思想是分离程序中的关注点,并提供某种机制,以表达横切多个组件的关注点。契约式设计(DbC)是构建高可靠面向对象系统的设计方法,它通过规定组件间的行为契约来保证程序的正确性。本文简单介绍了AOP和DbC,然后通过尝试在Observer设计模式中加入契约,研究了使用AOP支持DbC的方法,进而设计和实现了一个AOP代码生成器,并分析了该生成器的特点。

Aspect-Oriented Programming (AOP) is a burgeonin programming methodology,of which the core idea is to separate the concerns in programs and provide a mechanism to represent the concerns that crosscut multiple components. Design by Contract (DbC) is a design methodology to construct high reliable object-oriented system. It guarantees the correctness of programs by specifying the behavioral contracts between components. This paper firstly gives an introduction to AOP and DbC, then researches the approach to supporting DbC by applying AOP with an attempt to support DbC in Observer design pattern. It also gives a detail description of the design and implementation of an AOP code generator and its remarkable features.