RE: SDL-News: syntax for the enabling condition


Subject: RE: SDL-News: syntax for the enabling condition
From: VINCENT Daniel FTRD/DTL/LAN (daniel.vincent#rd.francetelecom.fr)
Date: Tue Nov 28 2000 - 08:03:09 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 VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> to sdlnews -----

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

Become an SDL Forum Society member <
http://www.sdl-forum.org/Society/members.htm
<http://www.sdl-forum.org/Society/members.htm> >
The originator of this message is responsible for its content.
-----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 Serge Boroday <sboroday#crim.ca> to sdlnews ---
For extra SDL Forum Society benefits join at <
http://www.sdl-forum.org/Society/members.htm
<http://www.sdl-forum.org/Society/members.htm> >
For help, email "majordomo#sdl-forum.org" with the body of your email as:
or (iff this does not answer your question) email:
owner-sdlnews#sdl-forum.org

--End text from VINCENT Daniel FTRD/DTL/LAN <daniel.vincent#rd.francetelecom.fr> 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