Behavioural subtyping relations for Object-Oriented formalisms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1816, Issue , 2000, Pages 469-483

  Fischer, Clemens ^a   Wehrheim, Heike ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

BEHAVIOURAL SUBTYPING; OBJECT ORIENTED; SUBTYPING RELATION; SUBTYPINGS; SUPERTYPE;

FORMAL LANGUAGES;

EID: 84974687043     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_33     Document Type: Conference Paper

References (24)

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. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25-59, 1987.
3. H. Bowman, C. Briscoe-Smith, J. Derrick, and B. Strulo. On behavioural subtyping in LOTOS. In H. Bowman and J. Derrick, editors, FMOODS 97, pages 335-351. Chapman & Hall, 1997.
4. C. Balzarotti, F. De Cindio, and L. Pomello. Observation equivalences for the semantics of inheritance. In P. Ciancarini and R. Gorrieri, editors, FMOODS ’99, 1999.
5. H. Bowman and J. Derrick. A junction between state based and behavioural specification. In P. Ciancarini, F. Fantechi, and R. Gorrieri, editors, FMOODS ’99, pages 213-239. Kluwer, 1999.
6. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.
7. E. Brinksma, G. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In B. Sarikaya and G. v.Bochmann, editors, PSTV, pages 349-358. Elsevier, 1987.
8. E. Cusack. Refinement, conformance and inheritance. Formal Aspects of Computing, 3:129-141, 1991.
9. K. K. Dhara and G. T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proceedings of the 18th International Conference on Software Engineering, pages 258-267. IEEE Computer Society Press, 1996.
10. Rocco De Nicola and Matthew Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
11. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1, volume 6. Springer, 1985.
12. C. Fischer. CSP-OZ: A combination of Object-Z and CSP. In H. Bowman and J. Derrick, editors, FMOODS ’97, volume 2, pages 423-438. Chapman & Hall, 1997.
13. C. Fischer and H. Wehrheim. A hierarchy of behavioural subtyping relations (full version). Technical Report TRCF-99-1, University of Oldenburg, October 1999. http://semantik.Informatik.Uni-Oldenburg.DE/˜wehrheim
14. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
15. B. Liskov. Data abstraction and hierarchy. SIGPLAN Notices, 23(5):17-34, May 1988.
16. G. T. Leavens and D. Pigozzi. A complete algebraic characterization of behavioral subtyping. to appear in Acta Informatica, see also ftp://ftp.cs.iastate.edu/pub/techreports/TR96-15/TR.ps.gz.
17. B. Liskov and J. Wing. A behavioural notion of subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811-1841, 1994.
18. G.T. Leavens and W.E. Weihl. Specification and verification of object-oriented programs using supertype abstraction. Acta Informatica, 32:705-778, 1995.
19. B. Meyer. Object-Oriented Software Construction. ISE, 2. edition, 1997.
20. O. Nierstrasz. Regular types for active objects. In O. Nierstrasz and D. Tsichritzis, editors, Object-oriented software composition, pages 99-121. Prentice Hall, 1995.
21. A. Rensink and R. Gorrieri. Action refinement as an implementation relation. In M. Bidoit and M. Dauchet, editors, TAPSOFT ’97, volume 1214 of LNCS, pages 772-786, 1997.
22. W.M.P. van der Aalst and T. Basten. Life-cycle inheritance-a Petri-net-based approach. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets, number 1248 in LNCS, pages 62-81. Springer, 1997.
23. J. Waldo. The Jini architecture for network-centric computing. Communications of the ACM, 42(7):76-82, 1999.
24. P. Wegner and B. Zdonik. Inheritance as an incremental modification mechanism or What like is and isn’t like. In ECOOP’88, volume 322 of LNCS. Springer, 1988.