Component Substitutability via Equivalencies of Component-Interaction Automata

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

Year of publication 2006
Type Article in Proceedings
Conference Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'06)
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords component-based systems; reconfiguration correctness; component substitutability; independent implementability
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.