Component Substitution through Dynamic Reconfigurations release_qvq2hbjjv5hkhbio3rsmpu6goi

by Arnaud Lanoix, Olga Kouchnarenko

Released as a article .

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)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2014-04-03
Version   v1
Language   en ?
arXiv  1404.0848v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4c40b500-5971-4486-a32c-d67fc1a08926
API URL: JSON