Re: transitive closure concept



Date view Thread view Subject view Author view Attachment view

From: Gerrit Renker (gerrit_renker@yahoo.co.uk)
Date: Wed 21 Jan 2004 - 17:45:47 GMT


Hi,

this has been an open issue since the 1998 Amsterdam manifesto on OCL,
so the fact that you can not do it in OCL has already celebrated its
5th birthday :( Can recommend Z, closures being a built-in.

Gerrit

--- SainTiss <saintiss@arklinux.org> wrote: > -----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-----
> 
> 
> 
> 
> To remove yourself from this list please mail
> puml-list-request@cs.york.ac.uk
> with a message containing the word "unsubscribe".
>  

________________________________________________________________________
Yahoo! Messenger - Communicate instantly..."Ping" 
your friends today! Download Messenger Now 
http://uk.messenger.yahoo.com/download/index.html

Date view Thread view Subject view Author view Attachment view