Další formáty:
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Á a Barbora ZIMMEROVÁ. Component Substitutability via Equivalencies of Component-Interaction Automata. \textit{Electronic Notes in Theoretical Computer Science}. Elsevier, 2007, roč.~182, č.~1, s.~39-55. ISSN~1571-0661.
|