ABSTRACT

This introduction presents an overview of the key concepts discussed in the subsequent chapters of this book. The book provides a general introduction to the research on software self-adaptation. It presents the conceptual framework for self-adaptation in an open environment. The book introduces the ontology-based context modeling techniques, and also presents a middleware platform to support the framework. It deals with specific issues of adaptive application migration and service interaction. The book explains the solution for adaptive component-level application migration with users’ mobility in the open environment. It details the connector-based adaptation techniques for service discovery and multi-mode interaction in heterogeneous networks. The book analyses the graph transformation-based adaptation modeling. It also details the techniques of modeling and verification of the enactment part of self-adaptation, that is, dynamic evolution, so as to assure the adaptation is consistent with the specification. The book provides the formal modeling and analysis of decision-making process of self-adaptation.