×

Behavioural subtyping relations for object-oriented formalisms. (English) Zbl 0983.68030

Rus, Teodor (ed.), Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20-27, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1816, 469-483 (2000).
Summary: We investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OO-formalisms is closely related to the concept of inheritance. The central issue in die choice of subtyping relations among classes is the principle of substitutability: an instance of the subtype should be usable wherever an instance of the supertype was expected. Depending on the interpretation of “usable”, we obtain a variety of subtyping relations: stronger subtyping relations, allowing one to share the subtype instance among different clients without any change compared with the supertype, and weaker relations, restricting the possibilities of interference of different clients on the subtype instance. The subtyping relations are taxonomically ordered in a hierarchy. The concept of “usability” is formalised via testing scenatios, which provide alternative characterisations for the subtyping relations.
For the entire collection see [Zbl 0939.00039].

MSC:

68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

Software:

LOTOS
PDFBibTeX XMLCite