An algebraic theory of object-oriented systems

Author

Lu, Xue-Miao ; Dillon, Tharam S.

Author_Institution

Dept. of Comput. Sci. & Comput. Eng., La Trobe Univ., Bundoora, Vic., Australia

Volume

6

Issue

3

fYear

1994

fDate

6/1/1994 12:00:00 AM

Firstpage

412

Lastpage

419

Abstract

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them

Keywords

abstract data types; formal specification; object-oriented databases; object-oriented programming; abstract data types; algebraic specification; algebraic theory; complex database models; hierarchical approach; multiple inheritance; nested relations; net objects; object-oriented paradigms; object-oriented programming; object-oriented systems; polymorphism; Algebra; Calculus; Computer languages; Helium; Intelligent systems; Object oriented databases; Object oriented modeling; Object oriented programming; Software design; Spatial databases;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.334861

Filename

334861