By Topic

The ins and outs of objects

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Potter, J. ; Microsoft Res. Inst., Macquarie Univ., Sydney, NSW, Australia ; Noble, J. ; Clarke, D.

Aggregation and containment are important concepts in object-oriented modeling. In component-based approaches to software development, aggregation and containment are touted as one of the primary mechanisms for component reuse. Containment relationships are typically implemented with object references in most object-oriented programming languages. This encourages the sharing of component objects between aggregates, but does not yield faithful representations of the containment relationships. We investigate structural relationships which are inherent in object graphs defined by inter-object references. For an arbitrary object graph, we construct an ownership tree determined by separability properties within the object graph. This tree provides a simple, yet clear definition of the interior and exterior for individual objects, capturing an appropriate notion of object containment. To be useful in dynamic systems, such structural properties need to be invariant across the behaviour of the system. We discuss connections between such structural invariants for object graphs with our related work on flexible aliasing protection.

Published in:

Software Engineering Conference, 1998. Proceedings. 1998 Australian

Date of Conference:

13-13 Nov. 1998