Behavioural subtyping and property preservation

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 213-231

  Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Behavioural subtyping; inheritance; process algebra; refinement

Indexed keywords

ALGEBRA; FORMAL LANGUAGES; SYSTEMS ANALYSIS;

BEHAVIOURAL SUBTYPING; INCREMENTAL DEVELOPMENT; INHERITANCE; LIVENESS PROPERTIES; OBJECT ORIENTED DESIGN; PROCESS ALGEBRAS; PROPERTY PRESERVATION; REFINEMENT;

FORMAL METHODS;

EID: 84868281858     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_11     Document Type: Conference Paper

References (19)

1. P. America. Designing an object-oriented programming language with behavioural subtyping. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS. Springer, 1991.
2. C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS '99, Formal methods for open object-based distributed systems, 1999.
3. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, Formal methods for open object-based distributed systems, pages 335-351. Chapman & Hall, 1997.
4. H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, Formal methods for open object-based distributed systems FMOODS '99, pages 213-239. Kluwer, 1999.
5. E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v.Bochmann, editors, Protocol Specification, Testing and Verification VI, pages 349-358. Elsevier, 1987.
6. E. Cusack. Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129-141, 1991.
7. Krishna Kishore Dhara and Gary T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, pages 258-267. IEEE Computer Society Press, March 1996. A corrected version is Iowa State University, Dept. of Computer Science TR #95-20c.
8. C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, AMAST 2000: International Conference on Algebraic Methodology And Software Technology. Springer, 2000. to appear.
9. D. Harel and O. Kupferman. On the inheritance of state-based object behaviour. Technical Report MCS99-12, The Weizmann Institute of Science, Israel, 1999.
10. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
11. G.T. Leavens and W.E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32:705-778, 1995.
12. B. Liskov and J. Wing. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, 1994.
13. B. Meyer. Object-Oriented Software Construction. ISE, 2. edition, 1997.
14. O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-oriented software composition, pages 99-121. Prentice Hall, 1995.
15. Object Management Group. OMG Unified Modeling Language Specification, June 1999. version 1.3.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
17. W.M.P. van der Aalst and T. Basten. Life-cycle inheritance - a Petrinet-based approach. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, number 1248 in LNCS, pages 62-81. Springer, 1997.
18. J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42(7):76-82, 1999.
19. P. Wegner and B. Zdonik. Inheritance as an incremental modification mechanism or What like is and isn't like. In ECOOP'88: European Conference on Object-Oriented Programming, volume 322 of Lecture Notes in Computer Science. Springer, 1988.