A Unified Formal Model for Supporting Aspect-Oriented Dynamic Software Architecture

The management of software evolution as well as the maintenance of its complexity is of two most important problems to be solved by software engineering. Several solutions have been considered, one of them being the separation of concerns. These concepts have been extended along the life cycle of software development and thus, aspect oriented software development (AOSD) arose and shed new light on software evolution problems. In this paper we focus on the seamless integration of AOSD and software architecture to support dynamic software evolution in architecture level. Thus we propose an incremental aspect-oriented (AO) architecture modeling approach. In the approach we introduce a unified formal model, namely aspect weaving connector (AWC), to formalize the underlying mechanisms of aspect dynamic weaving in architecture level. Meanwhile, we introduce a simple and seamless extension of ACME ADL to support the modular representation of architectural aspects, components, AWC and their composition forms. For the unified connector model has been applied in our implemented framework for dynamic software architecture, a case study on adaptive JPS (Java pet store) is illustrated to show the advantages of this approach and the unified model.

[1]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[2]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[3]  Mónica Pinto,et al.  A Dynamic Component and Aspect-Oriented Platform , 2005, Comput. J..

[4]  Cláudio Sant'Anna,et al.  Reflections on architectural connection: seven issues on aspects and ADLs , 2006, EA '06.

[5]  Liang Zhang,et al.  An intelligent connector based framework for dynamic architecture , 2005, The Fifth International Conference on Computer and Information Technology (CIT'05).

[6]  Pablo de la Fuente,et al.  Temporal Superimposition of Aspects for Dynamic Software Architecture , 2006, FMOODS.

[7]  Lidia Fuentes,et al.  DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development , 2003, GPCE.

[8]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[9]  Jennifer Pérez,et al.  PRISMA: towards quality, aspect oriented and dynamic software architectures , 2003, Third International Conference on Quality Software, 2003. Proceedings..

[10]  Donald C. Hambrick,et al.  Building Effective International Joint Venture Leadership Teams in China , 1999 .

[11]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.

[12]  Thomas Ledoux,et al.  Aspect-Oriented Software Development , 2003 .

[13]  Ingmar Björkman,et al.  Outsiders in the Middle Kingdom: Expatriate managers in Chinese-Western joint ventures , 1994 .

[14]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[15]  Sonja Treven,et al.  International training: the training of managers for assignment abroad , 2003 .

[16]  Jan Selmer,et al.  Cross‐cultural training and expatriate adjustment in China: Western joint venture managers , 2005 .

[17]  Jonathan Aldrich,et al.  Open Modules: Modular Reasoning About Advice , 2005, ECOOP.