Towards Aspect-oriented Model-driven Code Generation in the Formal Design Analysis Framework

Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the rapid development of high quality code. Errors are reduced and the consistency between the design and the code is retained, in comparison with a purely manual approach. Here, we propose a model driven code generation approach for aspect-oriented development. The approach has three main steps. An aspect-oriented design is defined first. Previous work in the formal design analysis framework (FDAF) is used; the model is captured using FDAF’s extended UML notation. Second, the aspect-oriented visual design model is translated into the formal text based notation XML. Third, the XML specification is translated into aspect-oriented code stubs, using the AspectJ programming language. FDAF has been extended in this work to support aspect-oriented model driven code generation. The approach is illustrated using an on-line banking system.