Title: Developing correct adapters for software architectural dynamic reconfiguration

Authors: Djamel Belaïd; Imen Ben Lahmar; Walid Gaaloul

Addresses: CNRS UMR SAMOVAR, Institut Mines-Telecom/Telecom SudParis, 9 rue Charles Fourier, 91000 Evry, France ' CNRS UMR SAMOVAR, Institut Mines-Telecom/Telecom SudParis, 9 rue Charles Fourier, 91000 Evry, France ' CNRS UMR SAMOVAR, Institut Mines-Telecom/Telecom SudParis, 9 rue Charles Fourier, 91000 Evry, France

Abstract: 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.

Keywords: pervasive computing; architectural reconfiguration; adaptive systems; adapter templates; correctness; Event-B; service-oriented architecture; SOA; autonomic computing; autonomic applications; composite services; service components.

DOI: 10.1504/IJAACS.2016.079622

International Journal of Autonomous and Adaptive Communications Systems, 2016 Vol.9 No.3/4, pp.201 - 222

Published online: 06 Oct 2016 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article