Subject: FW:
From: Rick Reed TSE (rickreed#tseng.co.uk)
Date: Fri Mar 08 2002 - 15:10:08 GMT
-- Rick Reed - rickreed#tseng.co.uk Tel:+44 1455 55 96 55 Fax:+44 1455 55 96 58 Mob.:+44 7970 50 96 50---------- > From: Andreas Prinz <prinz#dagstuhl.de> > Date: Thu, 7 Mar 2002 15:52:21 +0100 (MET) > > Dear Rick, > as far as I understand, every channel gets connected > to a gate after several transformations. That is why > we do not have the state machine or agent there. > The gate should be unique here. > > The relevant portion of Z.100 does state: > If <gate> is specified, the channel is connected to that gate. > The gate and the channel must have at least one common element in their > signal lists in the same direction. If no <gate> is specified, the following > rules apply: > a) if the channel endpoint is an agent or state machine and that agent/state > contains a <channel to channel connection> for the channel, > the channel is connected to the implicit gate introduced by > the <channel to channel connection>; > b) if the channel endpoint is a state, the channel is connected to the > implicit gate of that state machine (see Annex F), > otherwise the channel introduces an implicit gate on the agent or state > mentioned in <channel endpoint>. This gate obtains the <signal list> of > the respective <channel path>s as its corresponding gate constraint. > The channel is connected to that gate. > > The same is specified in Z.100.F2, where first in > the transformations part a gate is generated everywhere > and afterwards the agent /state machine is ignored > in the mapping. > > Hope that helps. > > Best regards, > Andreas > >
This archive was generated by hypermail 2a23 : Mon May 05 2008 - 20:30:55 GMT