Open the file cnx2.com with a text editor, and if necessary add a return in the two lines: Next-Transition 1 /* "No" * / 16 The DLC number (of type DLCident) of the new connection is 1, and the corresponding instance number of process DLC (given by the Simulator) is 2. Interactive Simulation 61 to get: Next-Transition 1 / * "No" * / Add a return in the line containing Go if necessary. Transform the absolute file names into relative file names (remove pathnames such as C:\ etc. before cnx1.com) Remove the following line, redundant with Include-File cnx1.com execute-command-script cnx1.com The file cnx2.com should now contain: Define-MSC-Trace-Channels on Start-Interactive-MSC-Log 0 /* Basic MSC * / Include - File cnx1.com Output-To L EstabReq (1) <<Block DLCa>> dispatch Next-Transition Next-Transition Next-Transition 1 /* "No" * / Next-Transition Output-To L_EstabResp <<Block DLCb>> dispatch Next-Transition Next-Transition Next-Transition 1 /* "No" * / Next-Transition Next-Transition Output-To L_DataReq (1, 39) <<Block DLCa>> dispatch 1 /* "No" * / Q. Save the MSC: in the MSC Editor, select File > Save As, enter cnx2.msc and press OK. 4.2.5.2 Simulate an attempt to create too many connections You will simulate to see what happens if you try to create more connections than allowed. The maximum number of parallel connections in our model is maxDLC + 1 = 2. Figure 3.12 shows that this number corresponds to the maximum number of instances of process DLC, identical to the size of the array DLCs, declared in Figure 3.14. A. If you exited from the Simulator since Section 4.2.5.1, launch the Simulator and replay the command script cnx2.com: two instances of process DLC exist on each side of the system, the maximum is reached. B. Press the Send To button: select L_EstabReq and press OK, enter the value 0 for the parameter of signal L_EstabReq and press OK. 62 Validation of Communications Systems with SDL C. Select the target process < < Block DLCa >> dispatch and press OK. D. Press the Transition button: you see in the MSC