Subject: RE: Gate connection
From: Thomas Weigert (thomas.weigert#motorola.com)
Date: Mon Mar 11 2002 - 13:21:47 GMT
Martin,
could you please elaborate on this issue? How do you, in the abstract
syntax, distinguish between a gate on y1 and a gate on y2? Note that both y1
and y2 are instance sets of the same agent type.
Thanks, Thomas.
> -----Original Message-----
> From: Prinz, Andreas [mailto:prinz#DResearch.de]
> > Consider an agent type X with a gate G. Now consider another
> > agent Y which
> > contains two instance sets of agents, y1:Y and y2:Y (both of type Y)
> > connected by a channel.
> >
> > How do you differentiate, in the abstract representation of
> > the system, the
> > instance of gate G on y1 and the instance of gate G on y2?
>
> I remember that we discussed this very issue at length when
> we prepared the semantics. Finally Martin was able to convince
> us that it is possible to uniquely address every instance,
> i.e. in this case every single gate. This is due to the fact
> that after all you are addressing the instances, even when
> they reside within types. In the example above the difference
> would be that in one path you had y1 and in the other y2.
> Maybe Martin can explain this better than me.
>
> > As far as I can see, the only representation of gates we have
> > is in types.
> > But this does not allow us to distinguish the different
> > instances of gates.
> > There must be, I think, something in the abstract syntax that
> > would allow us
> > to say that, for example, the channel above is between the
> > gate G of y1 and
> > the gate G of y2.
>
> Yes, that is true. However, if we are able to distinguish
> between y1 and y2, then we are also able to distinguish
> between G on y1 and G on y2.
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT