Component Substitution through Dynamic Reconfigurations

Arnaud Lanoix
(LINA CNRS and Nantes University )
Olga Kouchnarenko
(FEMTO-ST CNRS and University of Franche-Comté )

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework—a model with dynamic reconfigurations making the system evolve—with a new reconfiguration operation which "substitutes" components by other components, and to study its impact on sequences of dynamic reconfigurations.

Firstly, we define substitutability constraints which ensure the component encapsulation while performing reconfigurations by component substitutions. Then, we integrate them into a substitutability-based simulation to take these substituting reconfigurations into account on sequences of dynamic reconfigurations. Thirdly, as this new relation being in general undecidable for infinite-state systems, we propose a semi-algorithm to check it on the fly. Finally, we report on experimentations using the B tools to show the feasibility of the developed approach, and to illustrate the paper's proposals on an example of the HTTP server.

In Bara Buhnova, Lucia Happe and Jan Kofroň: Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), Grenoble, France, 12th April 2014, Electronic Proceedings in Theoretical Computer Science 147, pp. 32–46.
Published: 2nd April 2014.

ArXived at: http://dx.doi.org/10.4204/EPTCS.147.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org