Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9655966 | Electronic Notes in Theoretical Computer Science | 2005 | 16 Pages |
Abstract
This paper presents a graph-based formalism for object-oriented class structure specifications. The formalism combines labelled graphs with partial orders, to adequately model the (single) inheritance relation among objects and the overriding relation between methods within derived classes. The semantics of system extension by inheritance and aggregation is then defined as colimits in a suitable category of object-oriented system specifications and their morphisms.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Ana Paula Lüdtke Ferreira, Leila Ribeiro,