UM  > 科技學院  > 電腦及資訊科學系
A relational model for object-oriented designs
Jifeng H.; Liu Z.; Li X.; Qin S.
2004
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN3029743
Volume3302Pages:415
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.

KeywordObject Orientation Refinement Semantics Utp
DOI10.1007/978-3-540-30477-7_28
URLView the original
Language英语
The Source to ArticleScopus
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Recommended Citation
GB/T 7714
Jifeng H.,Liu Z.,Li X.,et al. A relational model for object-oriented designs[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2004,3302:415.
APA 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.
MLA Jifeng H.,et al."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(2004):415.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Jifeng H.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Jifeng H.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Jifeng H.]'s Articles
[Liu Z.]'s Articles
[Li X.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.