AN ALGEBRAIC-THEORY OF OBJECT-ORIENTED SYSTEMS

This paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms an d those defined with nested relations in complex database models. An a lgebraic specification is set up that involves structures of net objec ts, accesses of net objects, and some features of object-oriented prog ramming, such as multiple inheritance and polymorphism. Objects and th eir relationships are then characterized formally in the modeling, whi ch utilizes the hierarchical approach in the algebraic theory of abstr act data types, and is further developed by adding mechanisms from exi sting object systems. Categories of net objects are presented with the properties of accesses among them.