Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.


Durham Research Online
You are in:

A relational model for object-oriented designs.

He, J. and Liu, Z. and Li, X. and Qin, S. (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. Berlin: Springer, pp. 415-436. Lecture notes in computer science. (3302).

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.

Item Type:Book chapter
Keywords:Object orientation, Refinement, Semantics, UTP.
Full text:PDF (Copyright agreement prohibits open access to the full-text) - Accepted Version
Publisher-imposed embargo
(248Kb)
Status:Peer-reviewed
Publisher Web site:http://dx.doi.org/10.1007/978-3-540-30477-7_28
Record Created:17 Nov 2009 12:50
Last Modified:09 Oct 2014 10:40

Social bookmarking: del.icio.usConnoteaBibSonomyCiteULikeFacebookTwitterExport: EndNote, Zotero | BibTex
Usage statisticsLook up in GoogleScholar | Find in a UK Library