Behavioral Subtyping Relations for Active Objects
作者： Heike Wehrheim
关键词: Interpretation (logic) 、 Variety (cybernetics) 、 Algorithm 、 Context (language use) 、 Inheritance (object-oriented programming) 、 Subtyping 、 Computer science 、 Theoretical computer science 、 Hierarchy (mathematics)
摘要: In this paper we investigate the object-oriented notion of subtyping in context behavioral formalisms. Behavioral formalisms are used to describe dynamic behavior active objects, viz. protocols interaction that objects have obey. Subtyping OO-formalisms is closely related concept inheritance. The central issue choice relations among classes principle substitutability: an instance subtype should be usable wherever supertype was expected. Depending on interpretation “usable”, obtain a variety relations: stronger relations, allowing sharing instances different clients, and weaker restricting possibilities interference clients instance. taxonomically ordered hierarchy. Substitutability formalized via testing scenarios, which provide alternative characterizations for relations.
springer.com
sci-hub.se 参考文章(37)
Gary T. Leavens, Krishna Kishore Dhara, Mutation, Aliasing, Viewpoints, Modular Reasoning, and Weak Behavioral Subtyping ,(2001)
Giuseppe Scollo, Ed Brinksma, Chris Steenbergen, Lotos specifications, their implementations and their tests Conformance testing methodologies and architectures for OSI protocols. pp. 468- 479 ,(1995)
H. Bowman, C. Briscoe-Smith, J. Derrick, B. Strulo, On behavioural subtyping in LOTOS formal methods for open object based distributed systems. pp. 335- 351 ,(1997) , 10.1007/978-0-387-35261-9_23
Clemens Fischer, Heike Wehrheim, Behavioural Subtyping Relations for Object-Oriented Formalisms algebraic methodology and software technology. pp. 469- 483 ,(2000) , 10.1007/3-540-45499-3_33
Bertrand Meyer, Object-oriented software construction (2nd ed.) Prentice-Hall, Inc.. ,(1997)
Heike Wehrheim, Behavioural subtyping and property preservation formal methods for open object-based distributed systems. pp. 213- 231 ,(2000) , 10.1007/978-0-387-35520-7_11
Clemens Fischer, How to Combine Z with Process Algebra ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation. pp. 5- 23 ,(1998) , 10.1007/978-3-540-49676-2_2
H. Bowman, J. Derrick, A Junction Between State Based and Behavioural Specification Formal Methods for Open Object-Based Distributed Systems. pp. 213- 239 ,(1999) , 10.1007/978-0-387-35562-7_18
Anna Mikhajlova, Emil Sekerinski, Class Refinement and Interface Refinement in Object-Oriented Programs formal methods. pp. 82- 101 ,(1997) , 10.1007/3-540-63533-5_5
Pierre America, Designing an Object-Oriented Programming Language with Behavioural Subtyping Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages. pp. 60- 90 ,(1990) , 10.1007/BFB0019440