Issue No. 03 - June (1994 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.334861
<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>
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
X. Yu and T. Dillon, "An Algebraic Theory of Object-Oriented Systems," in IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 412-419, 1994.