transitive closure concept



Date view Thread view Subject view Author view Attachment view

From: SainTiss (saintiss@arklinux.org)
Date: Wed 21 Jan 2004 - 16:07:47 GMT


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

Is there some kind of "transitive closure" concept in OCL?

For example, suppose one would like to specify as a metamodel constraint that 
a UML class should be "connected" to every other class by means of one or 
more associations. So if A->B then A is connected to B, and if A->B->C then A 
is also (indirectly) connected to C. 

Is there a way to do this sort of thing in OCL, or is it just impossible to 
specify these sorts of constraints?

Thanks,

Hans

- -- 
Ark Linux - Linux for the Masses (http://arklinux.org)

Capitalism: 
You don't have any cows. The bank will not lend you money to buy cows, 
because you don't have any cows to put up as collateral.

Representative Democracy:
You have two cows. Your neighbors pick someone to tell you who gets the milk. 

In a world without walls and fences, who needs windows and gates?

Hans Schippers
2LIC INF
UA 2003-2004
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQFADqPTXlnUYIbmLOQRAt2ZAKCGg7lpI8Lco5/26MA/0P8EU5i3KgCgiFIu
JS0buN/Dmpt3s/KntVLoE+Q=
=qf5c
-----END PGP SIGNATURE-----

Date view Thread view Subject view Author view Attachment view