9. Composition of the cancellation model program in Figure 14.7 with the scenario in Figure 14.8.
The labels on the states show the value of mode.
FSM(0, AcceptingStates(0),
Transitions(t(0,Cancel(2),0), t(0,ReqSetup(2),0), t(0,ResSetup(2),0),
t(0,Cancel(3),0), t(0,ReqSetup(3),0), t(0,ResSetup(3),0)),
Vocabulary("ResWork", "ReqWork"))
Figure 14.10. Another scnenario used to restrict the cancellation model program.
the cancellation model program, then the complexity increases quadratically in the
number of states (is proportional to the square of the number of states) as is shown
in Figure 14.11, because the modes of distinct message IDs are independent.
14.2.4 Commands feature
The third protocol feature that we consider specifies that if a request and a response
message have the same message identifiers then the command fields must also be
the same (see Figure 14.12). The action vocabulary of this model program includes
all the action symbols besides Cancel.
Advanced Topics 235
0
Cancel
2
ReqSetup
1 ReqSetup
ResSetup
Cancel
4
ReqSetup
3
Cancel
ResSetup Cancel
ReqSetup
7
Cancel
ResSetup
ResSetup
8
Cancel
5
Cancel
ResSetup
Cancel
ReqSetup
ResSetup
ResSetup
Cancel
6
Cancel
ResSetup
Cancel
ResSetup
ResSetup
Cancel
ReqSetup
ResSetup
Cancel ResSetup
Cancel
Figure 14.11. Composition of the cancellation model program in Figure 14.
Pages:
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313