Lightweight Formal Analysis of Aspect-Oriented Models

In aspect-oriented modeling at early stages of the software development, model descriptions with various abstraction levels are involved so that two kinds of model transformation, refinement as well as weaving, should be considered. We adapt a role-based aspect-oriented modeling method and define a notion of aspect weaving as role merging. We further adapt Alloy, a lightweight formal specification language and analysis tool, for verification as well as precise model descriptions. Thanks to the declarative style of expressing constraints in Alloy, we can formally express role merging clearly and add it incrementally.

[1]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[2]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[3]  Bart De Decker,et al.  Security Through Aspect-Oriented Programming , 2001, Network Security.

[4]  Siobhán Clarke,et al.  Theme: an approach for aspect-oriented analysis and design , 2004, Proceedings. 26th International Conference on Software Engineering.

[5]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[6]  Tommi Mikkonen,et al.  Formalizing design patterns , 1998, Proceedings of the 20th International Conference on Software Engineering.

[7]  Trygve Reenskaug,et al.  Working with objects - the OOram software engineering method , 1995 .

[8]  Alan Fekete,et al.  Lightweight Analysis of Object Interactions , 2001, TACS.

[9]  K.J. Lieberherr,et al.  Controlling the complexity of software designs , 2004, Proceedings. 26th International Conference on Software Engineering.

[10]  Dirk Riehle,et al.  Role model based framework design and integration , 1998, OOPSLA '98.

[11]  Hidehiko Masuhara,et al.  Compilation Semantics of Aspect-Oriented Programs , 2002 .

[12]  Tetsuo Tamai,et al.  Objects and roles: modeling based on the dualistic view , 1999, Inf. Softw. Technol..

[13]  Alejandra Cechich,et al.  A formal basis for object-oriented patterns , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[14]  Indrakshi Ray,et al.  Using aspects to design a secure system , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

[15]  Dirk Riehle.  Composite design patterns , 1997, OOPSLA '97.

[16]  Motoshi Saeki,et al.  Behavioral specification of GOF design patterns with LOTOS , 2000, Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000.

[18]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[19]  Manu Sridharan,et al.  A micromodularity mechanism , 2001, ESEC/FSE-9.