A relational model for object-oriented designs

Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

88 Downloads (Pure)

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 He’s Unifying Theories of Programming (UTP). We also consider object reference in terms of object identity as values and mutually dependent methods.
Original languageEnglish
Title of host publicationProgramming languages and systems
PublisherSpringer Verlag
Pages415-436
ISBN (Print)3540237240
Publication statusPublished - 2004
Event2nd Asian Symposium on Programming Languages and Systems - Taipei, Taiwan, Province of China
Duration: 4 Nov 20046 Nov 2004

Conference

Conference2nd Asian Symposium on Programming Languages and Systems
Abbreviated titleAPLAS 2004
CountryTaiwan, Province of China
CityTaipei
Period4/11/046/11/04

Bibliographical note

Author can archive post-print (ie final draft post-refereeing).

Fingerprint Dive into the research topics of 'A relational model for object-oriented designs'. Together they form a unique fingerprint.

  • Cite this

    He, J., Liu, Z., Li, X., & Qin, S. (2004). A relational model for object-oriented designs. In Programming languages and systems (pp. 415-436). Springer Verlag.