Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/114611
Title: | A relational model for object-oriented designs | Authors: | Jifeng, H. Liu, Z. Li, X. Qin, S. |
Keywords: | Object Orientation Refinement Semantics UTP |
Issue Date: | 2004 | Citation: | Jifeng, H.,Liu, Z.,Li, X.,Qin, S. (2004). A relational model for object-oriented designs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3302 : 415-436. ScholarBank@NUS Repository. | 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. © Springer-Verlag 2004. | Source Title: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | URI: | http://scholarbank.nus.edu.sg/handle/10635/114611 | ISSN: | 03029743 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.