e 4.42, shows that the SDL model complies with the MSC in Figure 3.5. The MSC generated contains the values of the signal parameters, such as the DLC number, here equal to 0. sim1 inst_1_dlca.dispatch inst_1_atob inst_1_btoa inst_1_dlcb.dispatch PROCESS/ PROCESS/ PROCESS/ PROCESS/ v76test/dlca/ v76test/ v76test/ v76test/dlcb/ dispatch(1) inst_1_dlca.dlc datalink/ datalink/ dispatch(1) lestabreq(0) atob(1) btoa(1) PROCESS/ v76test/ dlca/dlc(1) v76frame( sabme : (.0.) ) t320(12.0) v76frame( sabme : (.0.) ) I_estabind( 0 inst_1_dlcb.dlc l_estabresp PROCESS/ v76test/ dlcb/dlc(1) v76frame( ua : (.0.) v76frame( ua : (.0.) ) v76frame ( ua : (.0.) _estabconf( 0) Figure 4.42 The MSC generated by the Simulator F. Type the following command into the Simulator to save the current simulation scenario³5 into the file cnx1.scn: save cnx1 Later, you can load cnx1.scn into the Simulator to automatically replay the recorded scenario. G. While the Simulator is running, you cannot modify or save the MSCs. To avoid exiting from the Simulator, you can enter the following command into the Simulator to save the current MSC into the file cnx1.msc: msc cnx1 Do not exit from the Simulator. 35 Do not confuse the Simulator scenario, which is the recording of the transition execution, and the graphical simulation trace stored in the form of an MSC scenario. Interactive Simulation 79 4.3.2.3 Play the other scenarios Once the DLC connection is established (if not, play again the scenario described in Section 4.3.2.2), continue the simulation, playing three more scenarios (important: play them in sequence, that is, never reinitialize the Simulator, and always select decision_lose_the_frame('No')) A. Simulate XID, described in Figure 3.4. B. Simulate data transfer from A to B, described in Figure 3.6. Select the correct transition (i.e. use DLC 0, not DLC 1, which was not established). C. Simulate DLC release, described in Figure 3.8. Select the correct transition (i.e. release DLC 0, not DLC 1, which was not established). D. The current step num