A Relational Model for Object-Oriented Designs

He, J.; Liu, Z.; Li, X.; Qin, S.; Chin, W.-N.

doi:10.1007/978-3-540-30477-7_28

A Relational Model for Object-Oriented Designs

He, J.; Liu, Z.; Li, X.; Qin, S.; Chin, W.-N.

Authors

J. He

Z. Liu

X. Li

S. Qin

W.-N. Chin

Abstract

This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich variety of features including subtypes, visibility, inheritance, dynamic binding and polymorphism. The language is expressive enough for the specification of object-oriented designs and programs. We also propose a calculus based on this model to support both structural and behavioural refinement of object-oriented designs. We take the approach of the development of the design calculus based on the standard predicate logic in Hoare and Hes Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.

Citation

He, J., Liu, Z., Li, X., Qin, S., & Chin, W. (2004). A Relational Model for Object-Oriented Designs. In Programming languages and systems : Second Asian Symposium, APLAS 2004, 4-6 November 2004, Taipei, Taiwan ; proceedings (415-436). https://doi.org/10.1007/978-3-540-30477-7_28

Conference Name	Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004)
Conference Location	Taipei, Taiwan
Start Date	Nov 4, 2004
End Date	Nov 6, 2004
Publication Date	Nov 1, 2004
Deposit Date	Nov 17, 2009
Publicly Available Date	Dec 10, 2009
Pages	415-436
Series Title	Lecture notes in computer science
Series Number	3302
Series ISSN	0302-9743,1611-3349
Book Title	Programming languages and systems : Second Asian Symposium, APLAS 2004, 4-6 November 2004, Taipei, Taiwan ; proceedings.
ISBN	9783540237242
DOI	https://doi.org/10.1007/978-3-540-30477-7_28
Keywords	Object orientation, Refinement, Semantics, UTP.