Developing correct adapters for software architectural dynamic reconfiguration

Applications in pervasive environments have to operate under highly dynamic and unpredictable operating conditions. One particular difficulty is guaranteeing compatibility between the architectural descriptions of applications and the execution environments when constructing them from existing components. Several mismatches can be captured at init time or during their executions implying that applications cannot be executed in the given context due to, e.g., heterogeneity of network interfaces of connection, etc. To deal with a such difficulty, applications must be able to adapt themselves to overcome the captured mismatches using adapters. In this article, we propose a fine-grained template to define these adapters. Using this template will facilitate the creation and integration of adapters into an application's architecture to ensure its execution. Moreover, we formally check using Event-B that the adapters integration is correctly done. We also give an overview of some results of our evaluations to assess the scalability of the adapters.