Behavioural Subtyping Relations for Object-Oriented Formalisms Export

@inbook{citeulike:4375623, abstract = {In this paper 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 the 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 scenarios, which provide alternative characterisations for the subtyping relations.}, address = {Berlin, Heidelberg}, author = {Fischer, Clemens and Wehrheim, Heike}, booktitle = {Lecture Notes in Computer Science}, chapter = {Chapter 33}, citeulike-article-id = {4375623}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-45499-3_33}, citeulike-linkout-1 = {http://www.springerlink.com/content/p6uywe78tfwple0l}, doi = {10.1007/3-540-45499-3_33}, editor = {Rus, Teodor}, isbn = {978-3-540-67530-3}, journal = {Algebraic Methodology and Software Technology}, keywords = {2000, object, subtyping}, pages = {469--483}, posted-at = {2009-04-22 15:39:41}, priority = {4}, publisher = {Springer Berlin Heidelberg}, title = {Behavioural Subtyping Relations for Object-Oriented Formalisms}, url = {http://dx.doi.org/10.1007/3-540-45499-3_33}, volume = {1816}, year = {2000} }

TY - CHAP ID - citeulike:4375623 L3 - citeulike-article-id:4375623 N2 - In this paper 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 the 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 scenarios, which provide alternative characterisations for the subtyping relations. JF - Algebraic Methodology and Software Technology SN - 978-3-540-67530-3 AD - Berlin, Heidelberg EP - 483 TI - Behavioural Subtyping Relations for Object-Oriented Formalisms PB - Springer Berlin Heidelberg VL - 1816 T2 - Lecture Notes in Computer Science SP - 469 KW - 2000 KW - object KW - subtyping AU - Fischer, Clemens AU - Wehrheim, Heike A2 - Rus, Teodor PY - 2000/// UR - http://dx.doi.org/10.1007/3-540-45499-3_33 ER -