*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,20,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,22,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,33,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,91,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,125,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,146,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,214,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,220,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,236,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,250,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,260,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,281,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,312,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,330,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,334,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,349,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,106,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,111,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,116,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,121,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,144,9) 2 GENERATOR String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,76,11) 2 GENERATOR Array #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,164,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,171,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,192,11) 2 GENERATOR Own #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,352,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,362,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,161,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite4.4\sdt\sdtdir\wini386\predef.sdl,162,9) *********************************************************************** ** SYSTEM ControlSystem ** #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy",4,1,8) *********************************************************************** 2 SIGNAL InCard #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),140(60,25),1,8) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),123(35,42),1,1) 2 SIGNAL Close #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),140(60,25),1,16) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),132(25,62),1,1) 2 SIGNAL Open #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),140(60,25),1,23) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),132(25,62),1,7) 2 SIGNAL NewUser #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),140(60,25),1,29) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),132(25,62),1,13) 2 CHANNEL C1 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),122(67,42),1,1) CONNECTION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),134(7,47),1,1) 2 CHANNEL C2 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),131(76,62),1,1) CONNECTION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),170(7,72),1,1) 2 BLOCK ControlSystem #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk",4,1,7) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45),1,1) CHANNEL #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45),1,1) REFERENCE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem2.ssy"(1),119(105,45),1,1) *********************************************************************** ** BLOCK ControlSystem ** <> ** #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk",4,1,7) *********************************************************************** 3 SIGNAL InCard #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),1,8) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),129(37,55),1,1) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),119(45,55),1,1) 3 SIGNAL InCode #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),1,16) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),138(120,52),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),125(45,80),1,1) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),131(80,50),1,1) 3 SIGNAL Ask #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),1,33) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),147(165,87),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),146(80,70),1,1) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),128(80,55),1,1) 3 SIGNAL Answer #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),2,2) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),156(145,87),1,1) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),170(80,110),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),143(55,105),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),146(115,105),1,1) 3 SIGNAL Close #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),2,18) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),165(32,77),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),215(115,115),1,1) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),239(155,75),1,1) 3 SIGNAL Open #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),2,25) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),165(32,77),1,8) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),194(115,75),1,1) 3 SIGNAL NewUser #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),233(45,25),2,30) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),165(32,77),1,14) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),245(155,95),1,1) 3 SIGNALROUTE K1 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),128(40,42),1,1) CONNECTION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),128(40,42),1,1) 3 SIGNALROUTE K3 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),137(118,42),1,1) 3 SIGNALROUTE K2 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),164(33,70),1,1) CONNECTION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),164(33,70),1,1) 3 SIGNALROUTE K4 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),146(165,77),1,1) 3 SIGNALROUTE K5 #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),155(150,77),1,1) 3 PROCESS CardReader #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45),1,1) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45),1,1) REFERENCE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),116(60,45),1,1) 3 PROCESS CheckPoint #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45),1,1) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45),1,1) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45),1,1) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45),1,1) REFERENCE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),119(135,45),1,1) 3 PROCESS Processor #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr",4,1,9) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95),1,1) SIGNALROUTE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95),1,1) REFERENCE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\ControlSystem1.sbk"(1),122(140,95),1,1) *********************************************************************** ** PROCESS CardReader ** <> ** #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr",4,1,9) *********************************************************************** 4 DCL i #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),131(80,30),1,5) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),125(45,80),1,8) 4 STATE Generate #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),146(45,30),1,1) NEXTSTATE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CardReader1.spr"(1),158(10,55),1,1) *********************************************************************** ** PROCESS CheckPoint ** <> ** #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr",4,1,9) *********************************************************************** 4 TIMER T #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),227(160,30),1,7) SET #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),212(115,95),1,11) 4 DCL i #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),134(120,30),1,5) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),131(80,50),1,8) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),146(80,70),1,5) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),170(80,110),1,8) DECISION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),182(120,50),1,1) 4 DCL j #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),134(120,30),1,16) OUTPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),146(80,70),1,7) 4 STATE Generate #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),128(80,30),1,1) NEXTSTATE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),122(25,50),1,1) 4 STATE WaitAnswer #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),167(80,90),1,1) NEXTSTATE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\CheckPoint1.spr"(1),167(80,90),1,1) *********************************************************************** ** PROCESS Processor ** <> ** #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr",4,1,9) *********************************************************************** 4 DCL i #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),131(115,30),1,5) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),128(80,55),1,5) DECISION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),137(80,80),1,1) 4 DCL j #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),131(115,30),1,16) INPUT #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),128(80,55),1,7) DECISION #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),137(80,80),1,3) 4 STATE Generate #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),125(80,30),1,1) NEXTSTATE #SDTREF(SDL,"D:\\Study\\8 Semester\\Практикум\\Задание 2\\Var.22.New\\Processor1.spr"(1),119(35,55),1,1)