Temporal superimposition of aspects for dynamic software architecture

  • Authors:

  • Carlos E. Cuesta;María del Pilar Romay;Pablo de la Fuente;Manuel Barrio-Solórzano

  • Affiliations:

  • Kybele, Departamento de Lenguajes y Sistemas Informáticos ESCET, Universidad Rey Juan Carlos, Madrid, Spain;Departamento de Sistemas Informáticos Escuela Politécnica Superior, Universidad Europea de Madrid, Spain;Depto. de Informática (Arquitectura, C. Computación y Lenguajes) E.T.S. Ingeniería Informática, Universidad de Valladolid, Spain;Depto. de Informática (Arquitectura, C. Computación y Lenguajes) E.T.S. Ingeniería Informática, Universidad de Valladolid, Spain

  • Venue:
  • FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The well-known Separation of Concerns Principle has been revisited by recent research, suggesting to go beyond the limits of traditional modularization. This has led to the definition of an orthogonal, invasive composition relationship, which can be used all along the software development process, taking several different forms. The object-like entity known as aspect is the best known among them, but in the most general case it can be defined as a new kind of structure. Software Architecture must be able to describe such a structure. Moreover, as most Adls have a formal foundation, this can be used to provide an adequate formalization for the aspectual composition relationship, which is still under discussion. In this paper, we propose to base this architecture-level definition in the concept of superimposition, integrating the resulting framework into the process-algebraic, dynamic Adl named ${\mathcal{P}i\mathcal{L}ar}$. This language has a reflective design, which allows us to define that extension without redefining the semantics; in addition, the extended syntax can be used to avoid the use of reflective notions. Nevertheless, the language must provide the means to define general patterns to guide the weaving. Such patterns must not only identify locations in the architecture, but also the adequate states of the corresponding process structure. Therefore, we suggest to use temporal logic, specifically the μ-calculus, as the quantification mechanism. To illustrate this approach, we expose a case study in which all these ideas are used, and conclude by discussing how the combination of temporal logic and aspect superimposition, in this context, provides also an alternative way to describe architectural dynamism.