Component Substitution through Dynamic Reconfigurations
release_qvq2hbjjv5hkhbio3rsmpu6goi
by
Arnaud Lanoix, Olga Kouchnarenko
2014
Abstract
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 text/plain
format
Archived Files and Locations
application/pdf 1.2 MB
file_e4jnyedx5rgufbzlisscqxsbri
|
arxiv.org (repository) web.archive.org (webarchive) |
1404.0848v1
access all versions, variants, and formats of this works (eg, pre-prints)