The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - June (1994 vol.6)
pp: 412-419
ABSTRACT
<p>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.</p>
INDEX TERMS
abstract data types; formal specification; object-oriented programming; object-oriented databases; algebraic theory; object-oriented systems; algebraic specification; net objects; object-oriented paradigms; nested relations; complex database models; object-oriented programming; multiple inheritance; polymorphism; hierarchical approach; abstract data types
CITATION
X.-M. Yu, T.S. Dillon, "An Algebraic Theory of Object-Oriented Systems", IEEE Transactions on Knowledge & Data Engineering, vol.6, no. 3, pp. 412-419, June 1994, doi:10.1109/69.334861
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool