Subject: MSC-News: Incomplete messages
From: Dmitry Zhukov (dmjr#ispras.ru)
Date: Wed Aug 19 1998 - 13:00:34 GMT
The originator of this message is responsible for its content.
-----From Dmitry Zhukov <dmjr#ispras.ru> to mscnews -----
Dear MSC community,
I have a question of incomplete message events in MSC'96.
Consider the following example from Recommendation Z.120,
section 6.6:
msc failure; inst Initiator, Responder;
instance Initiator;
condition Disconnected shared all;
in ICONreq from env;
set T;
out ICON to lost Responder; /* output event */
condition Wait_For_Resp shared all;
timeout T;
out IDISinf to env;
condition Disconnected shared all;
endinstance;
instance Responder;
condition Disconnected shared all;
in ICON from Initiator; /* input event */
condition Wait_For_Responder shared all;
condition Disconnected shared all;
endinstance;
endmsc;
As described in section 4.3,
An incomplete message is a message which is either an output
(where the input is lost) or an input (where the output is
unknown)
But in the example above the input is specified for the
lost message ICON. How should one understand this example ?
Is it correct ?
Best regards,
Dmitry
-----End text from Dmitry Zhukov <dmjr#ispras.ru> to mscnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
help
or (iff this does not answer your question) email: owner-mscnews#sdl-forum.org
This archive was generated by hypermail 2a23 : Wed Jun 19 2013 - 13:16:38 GMT