RE: SDL-News: syntax for the enabling condition


Subject: RE: SDL-News: syntax for the enabling condition
From: Bruneau, Sylver (sylver.bruneau#matranortel.com)
Date: Tue Nov 28 2000 - 09:56:51 GMT


Become an SDL Forum Society member <http://www.sdl-forum.org/Society/members.htm>
The originator of this message is responsible for its content.
-----From "Bruneau, Sylver" <sylver.bruneau#MatraNortel.com> to sdlnews -----

Hello everybody!
Serge, it is syntactically correct but it does the following thing :
if the value of V is not 1, then the received signal X is consumed by the
system, but when V is equal to 1, you should enter in an endless loop (not
sure of what Z.100 tell about that, it may depends on signal and continious
signal priorities). Anyway, it is useless to do such a thing ! What you can
do is to tell that if V is equal to 1, then you go to state S2 (for example)
!

So if you want to go to another state if V is equal to 1, do this, but if
you want to consume a received signal only if V is equal to 1, use the
method Daniel told you !

Sylver BRUNEAU

> -----Message d'origine-----
> De: VINCENT Daniel FTRD/DTL/LAN
> [SMTP:daniel.vincent#rd.francetelecom.fr]
> Date: mardi 28 novembre 2000 09:03
> : 'Serge Boroday'; sdlnews#sdl-forum.org
> Objet: RE: SDL-news: syntax for the enabling condition
>
> Hi Sergei,
>
> It would be syntactically correct if you put a transition under INPUT X;
>
> BUT, it will probably not make what you expect :
>
> The correct construction is rather :
>
> -----------
> / /\ /! \
> ! \ ! !
> ! \ ! !
> \ \/ --- /
> -----------
> !
> !
> ----------------------
> ! !
> --------------
> \ X !
> / !
> --------------
> !
> / V = 1 \
> \ /
> !
> etc
>
> Thus, X will be consumed only if V=1, and instead will be left in the
> input
> queue (saved), if no other input X can consume it, until something changes
> in the process instance.
>
>
> -----Message d'origine-----
> De: Serge Boroday [ mailto:sboroday#crim.ca <mailto:sboroday#crim.ca> ]
> Date: mardi 28 novembre 2000 00:06
> ?: sdlnews#sdl-forum.org
> Objet: SDL-news: syntax for the enabling condition
>
> -----From Serge Boroday <sboroday#crim.ca> to sdlnews -----
>
> Dear SDL Experts,
>
> Could you, please, tell me
>
> a) is the following a syntactically correct SDL state?
>
> b) is it supposed to define an input
> guarded with an enabling conditions?
>
>
> -----------
> / /\ /! \
> ! \ ! !
> ! \ ! !
> \ \/ --- /
> -----------
> !
> !
> ----------------------
> ! !
> --------------
> \ - - ! / -- -- /! \
> \ \/ ! / \ / --- ! \
> / /\ ! \ \/ --- ! /
> / - - ! \ --- /
> -------------- !
> !
> \!/
> V
> this figure is -----------
> best viewed with / /\ /! \
> a fixed width font ! \ ! !
> ! \ ! !
> \ \/ --- /
> -----------
>
>
> Thank you in advance,
> Serge Boroday, research assistant,
> Centre de Recherche Informatique
> de Montreal (CRIM),
> Montreal, Canada
>
>

--End text from "Bruneau, Sylver" <sylver.bruneau#MatraNortel.com> to sdlnews ---
For extra SDL Forum Society benefits join at <http://www.sdl-forum.org/Society/members.htm>



This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT