links between objects



Date view Thread view Subject view Author view

Leonor Barroca (l.barroca@open.ac.uk)
Wed, 19 Jul 2000 12:53:17 +0100


Dear all I should find it out in the OCL book but I don't have it on hand and need to sort this one out. I would be very grateful if someone could confirm or otherwise the following. When in a postcondition I want to express that there is a link between objects a and b is it enough to say it in one direction or do I have to say it in both directions? I am specifying operations at a high level of abstraction and at a point where associations are all bidirectional. Thanks Leonor


Date view Thread view Subject view Author view