Re: product types in OCL 2.0



Date view Thread view Subject view Author view Attachment view

From: Andrzej Wasowski (andrzej_wasowski@yahoo.com)
Date: Mon 24 Feb 2003 - 13:48:18 GMT


Herman,

You are definitely right. But what about modelling a product of three
types? (not two nested products which is somewhat a different thing)

andrzej

 --- Herman Balsters <h.balsters@bdk.rug.nl> wrote: > Gerrit,
> 
> I don't think that there is any ambiguity in the definition of 
> 
> a->prod(b)->prod(c)
> 
> The only way that you can read it is
> 
> (a->prod(b))->prod(c)  ( = (AxB)xC )
> 
> because
> 
> a->(prod(b)->prod(c))
> 
> is syntactically not correct. Also, if you wish to represent
> 
> Ax(BxC)  then this can be done by
> 
> a->prod(b->prod(c))
> 
> Do you agree?
> 
> -herman


=====
PS.Please reply to: wasowski@data.pl

__________________________________________________
Do You Yahoo!?
Everything you'll ever need on one web page
from News and Sport to Email and Music Charts
http://uk.my.yahoo.com

Date view Thread view Subject view Author view Attachment view