Other formats:
BibTeX
LaTeX
RIS
@article{720980,
author = {Černá, Ivana and Vařeková, Pavlína and Zimmerová, Barbora},
article_number = {1},
keywords = {component-based systems; reconfiguration correctness; component substitutability; independent implementability},
language = {eng},
issn = {1571-0661},
journal = {Electronic Notes in Theoretical Computer Science},
title = {Component Substitutability via Equivalencies of Component-Interaction Automata},
volume = {182},
year = {2007}
}
TY - JOUR
ID - 720980
AU - Černá, Ivana - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2007
TI - Component Substitutability via Equivalencies of Component-Interaction Automata
JF - Electronic Notes in Theoretical Computer Science
VL - 182
IS - 1
SP - 39
EP - 39
PB - Elsevier
SN - 15710661
KW - component-based systems
KW - reconfiguration correctness
KW - component substitutability
KW - independent implementability
N2 - We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any system where its implementation satisfies the specification given by the environment), in view of an underlying formalism called Component-interaction automata. Our aim is to offer a formal characterization of preconditions that lead to reconfiguration correctness (proper component substitution and safe independent implementation). Such preconditions then guarantee that the updated system remains equivalent to the former one and hence there is no need to verify it again. The contribution of the paper is twofold. First, we formally define three relations that allows us to compare behaviours of two components with respect to reconfiguration correctness. Namely, the equivalence relation, specification--implementation relation, and substitutability relation. Second, we formally characterize the problem of component substitutability for both equivalent and non-equivalent components, and the problem of independent implementability. The characterizations are captured in several propositions which are proved in the text.
ER -
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. \textit{Electronic Notes in Theoretical Computer Science}. Elsevier, vol.~182, No~1, p.~39-55. ISSN~1571-0661. 2007.
|
