Other formats:
BibTeX
LaTeX
RIS
@inproceedings{698722,
author = {Černá, Ivana and Vařeková, Pavlína and Zimmerová, Barbora},
address = {Macao},
booktitle = {Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)},
keywords = {component-based systems; reconfiguration correctness; component substitutability; independent implementability},
language = {eng},
location = {Macao},
pages = {115-130},
publisher = {UNU-IIST},
title = {Component Substitutability via Equivalencies of Component-Interaction Automata},
year = {2006}
}
TY - JOUR
ID - 698722
AU - Černá, Ivana - Vařeková, Pavlína - Zimmerová, Barbora
PY - 2006
TI - Component Substitutability via Equivalencies of Component-Interaction Automata
PB - UNU-IIST
CY - Macao
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. In \textit{Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)}. Macao: UNU-IIST. p.~115-130. ISSN~1571-0661. 2006.
|
