The challenges of pervasive and mobile computing environments, which are highly dynamic
and unpredictable, have motivated the development of self-adaptive software systems …

As dynamic software architecture use becomes more widespread, a variety of formal
specification languages have been developed to gain a better understanding of the …

Self-adaptive software systems are an emerging class of systems that adjust their behavior
at runtime to achieve certain functional or quality of service objectives. The construction of …

For several different reasons, such as changes in the business or technological
environment, the configuration of a system may need to evolve during execution. Support for …

In the past years, Software Architecture has attracted increased attention by academia and
industry as the unifying concept to structure the design of complex systems. One particular …

Dynamic architectural change is defined as the addition and removal of components and
connectors. Dynamic software architectures are those architectures that modify their …

A mathematical semantics is proposed for the notion of architectural connector, in the style
defined by Allen and Garlan, that builds on Goguen's categorical approach to General …

We propose a formal specification language for dynamically reconfigurable component-
based systems, based on temporal logic. The main aim of the language is to allow one to …

We develop a notion of higher-order connector towards supporting the systematic
construction of architectural connectors for software design. A higher-order connector takes …

Self-adaptive software continually evaluates and modifies its own behavior to meet
changing demands. One of the key issues in constructing such software is that of planning …