RésuméIn self-adaptive systems, an adaptation strategy can apply to several im-plementations of a target system. Reusing this strategy requires models of the target system that are independent of its implementation. In particular, conﬁguration ﬁles must be transformed into abstract conﬁgurations, but cor-rectly synchronizing these two representations is not trivial. We propose an approach that uses putback-based bidirectional programming to guarantee that this synchronization is correct by construction. We demonstrate the correctness of our approach and how it handles typical features of conﬁgu-ration ﬁles, such as implicit default values and context overriding. We also show that our approach can be used to migrate conﬁguration ﬁles from one implementation to another.
We illustrate our approach with a case study, where we use the same abstract model to adapt two web server implementations. For each imple-mentation, we provide a bidirectional program that correctly synchronizes the conﬁguration ﬁle with an abstract model of the conﬁguration. A ﬁrst scenario demonstrates that the same changes on the abstract model pro-duce, for each implementation, a new conﬁguration that correctly reﬂects the changes made to the abstract model, without side eﬀects. A second sce-nario validates the migration of a conﬁguration ﬁle from the format used by one web server implementation to another.
|la date de réponse||1 sept. 2016|
|Superviseur||PIERRE-YVES SCHOBBENS (Promoteur)|