------------------------SDT23z`BSC----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------1------------------------------------------------- /BSC------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process BSC)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------#()[(! l! 22!(d)[z(! l)[}(! 6)[(! 6d! )]][ (! 6)][2z(! 6^,! d!S)[8(! )][}(!!")[(! 6!Z)][3(! 6^! d!S)[8(! waitInit)]]]]]]}d Text */ /* CIF TEXT (505, 120), (447, 50) */ /* CIF ()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^,! d!S)[8(! ready)][(!!")[(! 6^! d!S!)[8(! logOn)][1(!&X!"X&)[7(! 6X!! !S)[8(! (mobile_id, BTS_id, IMEI))]]][(!&!"&)[6(! 6^! d!S)[8(! )][1( !&X!"X&)[7(! 6X!! !S)[8(! BTS_PIDs(BTS_id) := sender)]]][(! !" )[ (! 6^! d!S!)[8(! logOn)][1(!&X!"X&)[7(! 6X!! !S)[8(!& (mobile_id, BTS_id,  IMEI) via MS)]]][(!!")[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]]]}bile_id, BTS_id, IMEI) via MS /* CIF NEXTSTATE (663, 625), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6^ ! d!S)[8(! -)]]]]]]]]]]]]}(! sendShortcut(called) via BSCSCM /* CIF NEXTSTATE (1021, 567), (288, 79) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)][()[(?()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^! d!S)[8(! r3 */ /* CIF Keep Specific Geode Modified */)][4finitionPage()][()[(!5finitionPagend) to BTS_PID /* CIF NEXTSTATE (215DefinitionPage80) */ /* CIF Keep Specific Geode Te 0eady)][(!!")[(! 6! d!S!)[8(! call_req)][1(!X&&!"&&&X&)[7(! 6!! !S)[8(! (caller, called))]]][(!X!"X)[6(! 6! d!S)[8(! )][1(!X!"X)[7(! 6!! !S)[8(! BTS_PID := sender)]]][(! !" )[(! 6! d!S!)[8(! sendShortcut)][1(!X!"X)[7(! 6!! !S)[8(! (called) via BSCSCM)]]][(!!")[(! 6!Z)][3(! 6! d!S)[8(! waitPhoneNumber)]]]]]]]]]]]]} sendShortcut)][1(!XLL!"LXL)[7(! 6!! !S)[8(! (called) via BSCSCM /* CIF NEXTSTATE (1021, 567), (288, 79) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!~!"~)[(! 6!Z)][3(! 6! d!S)[8(! waitPhoneNumber)]]]]]]]]]]]]}-)]]]]]]][ ()[ ()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,! d!S)[8(! waitRandom)][(!^^!"^^)[+(! 6! d!S)[8(! *)]]][(!"^^XX!"X^)[(! 6! d!S!)[8(! randomNr)][1(!!")[7(! 6!! !S)[8(! (rand))]]][(!X&XX!"XXX&)[(! 6X! d!S!)[8(! randomNr)][1(!!")[7(! 6X!! !S)[8(! (rand) to BTS_PID)]]][(!XX!"XX)[(! 6X!Z)][3(! 6! d!S)[8(! waitEncryptedNr)]]]]]]]]]]}p Specific Geode Modified */)]]][(!XX!"XX)[(! 6X!Z)][3(! 6! d!S)[8(! waitEn"cryptedNr)]]]]]]]]]]}r) /* CIF OUTPUT (2658, 882), (318, 83) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)][L()[()][O()[(! getReport(caller) via MS /* CIF NEXTSTATE (2737, 99()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^^! d!S)[8(! ready)][(!!")[(! 6^! d!S!)[8(! call_conf)][1(!&&X&!"X&&&&)[7 (! 6X!! !S)[8(!& (called_status, called, calledBTS))]]][(!X!"X)[(! 6^! d!S!)[8!(! call_conf)][1(!&X!"X&)[7(! 6X!! !S)[8(!3 (called_status, called) to BTS_PIDs(calledBTS))]]][(! "!" )[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]}e 4 */ /* CIF Keep Specific Geode Modified */)]]][(! !" )[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]}DECISION (212, 450), (220, 66) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific ()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3C(! 6^,! d!S)[8(! r&6)[(! initBTS(Paris11) via BTS1 /*7finitionPage, 728), (234, 72) */ /* CIF Keep Spe8finitionPagetMode 3 */ /* CIF Keep Specific GeodDefinitionPage[()[()][ $+:0eady)][X(!!")[[(! 6^! d!S!)[8(! giveReport)][1](!&X!"X&)[7Z'(! 6X!! !S)[8(!# (bil_report, called, calledBTS))]]][^(!&!"&)[a(! 6^! d!S!)[8((! giveReport)][1c(!&X!"X&)[7`(! 6X!! !S)[8(!1 (bil_report, called) to BTS_PIDs( calledBTS))]]][d(!)!")[(! 6!Z)][3g(! 6^! d!S)[8(! -)]]]]]]]]]]}4 */ /* CIF Keep Specific Geode Modified */)]]][d(!!")[(! 6!Z)][3g(! 6^! d!S)[8(! -)]]]]]]]]]]}! encryptedNr(resp) via MS /* CIF NEXTSTATE (2090, 768), (192, 80) */ /* CIF Keep Specific Geod#()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3j(! 6^^! d!S)[8(! w4(!4+!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)[!(! 4!!y!%()PageOrder-------------------------------------1-------------------------------------------------10initionPage------------------------------------11initionPage------------------------------------ ,QW!%()HeadingText-----------------------------------10------------------------------------------------13------------------------------------------------8------------------------------------------------- Qf:-^sJ()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ t(! 6)][9w(! 62^! !S)[8(!M n1ewtype BTS_PIDs_t ARRAY( BTS_ID_t, PID); endnewtype; dcl BSC_id BSC_ID_t, BTS_id BTS_ID_t, IMEI IMEI_t, mobile_id, caller, called mobile_ID_t, rand NATURAL, resp NATURAL, BTS_PID PID, BTS_PIDs BTS_PIDs_t, calledBTS BTS_ID_t, calle2d_status called_state_t, reason reason_t, bil_report billing_report_t;)]]]]}F End Text */ /* CIF TEXT (505, 120), (447, 50) */ /* CIF Keep Specific Geode Font 'fixed' 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TextMode 4 */ /* CIFP Keep Specific Geode Modified */ /* Base Station Controller */ /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF START (242, 120), (160, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ )]]]]}------------------------xaitPhoneNumber)][(!!")[+(! 6^! d!S)[8(! *)]]][m(!"!")5[p(! 6X! d!S!)[8(! getPhoneNumber)][1i(! &R&!"R&& &)[7f(! 6R!! !S)[8(! (call6ed))]]][s(!X!"X)[v(! 6X! d!S!)[8(! call_req)][1o(! R!"R )[7l7(! 6R!! !S)[8(! (caller, called) via MS)]]][y(!!")[(! 6!Z)][3|(! 6X! d8!S)[8(! waitRandom)]]]]]]]]]]}F Keep Specific Geode Modified */)]]][y(!!")[(! 6!Z)][3|(! 6X! d!S)[83(! waitRandom)]]]]]]]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------&*()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6! d!S)[8(! w;aitInit)][(!^!"^)[(! 6! d!S!)[8(! initBSC)][1u(!^!",^)[7r<(! 6!! !S)[8(! (BSC_id))]]][(!X!"X)[ (! 6X! d!S)[8(! BSC_id)][(!=L!"L)[8(! 6! (Lyon1))][(! 6L! d!S!)[8(! initBTS)][1(!^~~!"~^>~)[7(! 6L!! !S)[8(! (Lyon11) via BTS1)]]][(!F!"F)[(! 6F! d!S!)[8(!? initBTS)][1(!^xx!"x^x)[7(! 6F!! !S)[8(! (Lyon12) via BTS2)]]][(!"~~!"@~)[(! 6~!)][(! 6! d!S!)[8(! initSCM)][1(!!")[7(! 6A!! !S)[8(! (BSC_id) via BSCSCM)]]][(!~~:!"~:~)[(! 6~:!Z)][3(! 6:! d!S)[8(!B ready)]]]]]]]]][(!"~~L!"~L)[8(! 6! (Paris1))][(! 6L! d!S!)[8(! initBTS)][1{(C!~~!"~~)[7x(! 6L!! !S)[8(! (Paris11) via BTS1)]]][(!~~F!"~F~)[(! D6F! d!S!)[8(! initBTS)][1(!xx!"xx)[7~(! 6F!! !S)[8(! (Paris12) via BTS2)]]][E(!~~!"~~)[)()]]]]]]]]]]]]]}~~!"~~)[7x(! 6L!! !S)[8(! (Paris11) via BTS1 /* CIF` OUTPUT (70, 728), (234, 72) */ /* CIF Keep Specific Geode TextMode 3 */ /* CIF Keep Specific Geode Modified */)]]][(!~~F!"~F~)[(! 6F! d!S!)[8G(! initBTS)][1(!xx!"xx)[7~(! 6F!! !S)[8(! (Paris12) via BTS2 /* CIF ANSWER (391, 546), (101, 50) */ /* CIF Keep SpecificH Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!~~!"~~)[)()]]]]]]]]]]]]]}x)[)()]]]]]]]]]]]]]}-----------------------------------------------------------9()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,,! d!S)[8(! wK9-------------------------------------------------DefinitionPage------------------------------------------------------------------------------------------------------------------------------------------ --------I0----------------aitEncryptedNr)][(!!")[+(! 6,! d!S)[8(! *)]]][(!"!")L[(! 6&! d!S!)[8(! encryptedNr)][1(! !" )[7(! 6 !! !S)[8(! (resp))]M]][(!&X!"X&)[(! 6&X! d!S!)[8(! encryptedNr)][1(! !" )[7N(! 6 X!! !S)[8(! (resp) via MS)]]][(!!")[(! 6!Z)][3(! 6&! d!S)[8O(! ready)]]]]]]]]]]}/* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6&! d!S)[8(! ready)]]]]]]]]]]}----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------F()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,,! d!S)[8(! rReady)][ (!!")[(! 6,! d!S!)[8(! com_start)][1-(!&!"&)[7*S(! 6&!! !S)[8(! (caller))]]][(!&X!"X&)[(! 6,X! d!S!)[8(! com_start)][13T(!&!"&)[70(! 6&X!! !S)[8(! (caller) via MS)]]][(!!")[(! U6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6l!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------aP()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,! d!S)[8(! rXeady)][F(!^!"^)[I(! 6,! d!S!)[8(! getReport)][1Q(!&!"&)[7NY(! 6&!! !S)[8(! (caller))]]][L(!&!"&)[O(! 6,&! d!S!)[8(! getReport)][1WZ(!X&X!"&XX)[7T(! 6&&!! !S)[8(! (caller) via MS)]]][R(!!")[(! [6!Z)][3U(! 6,! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][R(!!")[(! 6l!Z)][3U(! 6,! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------_V()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][32(! 6,! d!S)[8(! ra11------------------------------------------------12------------------------------------------------13------------------------------------------------14------------------------------------------------ W]fl5-------------------------------------------------8------------------------------------------------------------------------------------------------------------------------------------------------------- --------:--------%J--------2---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------._------------eady)][1(!^!"^)[4(! 6,! d!S!)[8(! call_reject)][1E(!&!"&)[7Bb(! 6&!! !S)[8(! (reason))]]][7(!&!"&)[:(! 6,&! d!S!)[8(! call_reject)][1cK(!X&X!"&XX)[7H(! 6&&!! !S)[8(! (reason) to BTS_PID)]]][=(!!")[d(! 6!Z)][3@(! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][=(!!")[(! t6!Z)][3@(! 6,! d!S)[8(! -)]]]]]]]]]]}-------------------------------------------------------------------------------------------------------------------------------------------------------i\()[(! l! 22!(d)[ (! l)[ (! 6)[(! 6d! )]][ (! 6)][3M(! 6,! d!S)[8(! rgeady)][(!^!"^)[(! 6,! d!S!)[8(! call_resp)][1!(!&!"&)[7h(! 6&!! !S)[8(!# (called_status, caller, called))]]][(!X!"X)[(! 6,X! d!S!)[8(i! call_resp)][1'(!&!"&)[7$(! 6&X!! !S)[8(!, (called_status, caller, called) via MS)]]][(!!"j)[(! 6!Z)][3 (! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3 (! 6,! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------------e()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3\(! 6,! d!S)[8(! rmeady)][(!^!"^)[(! 6,! d!S!)[8(! call_ind)][1 (!&!"&)[7n(! 6&!! !S)[8(! (caller, called, calledBTS))]]][(!X!"X)[(! 6,X! d!S!)[8(! o call_ind)][1(!&!"&)[7 (! 6&X!! !S)[8(!- (caller, called) to BTS_PIDs( calledBTS))]]][(!!"p)[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]}----------------------------------------------------------------------------------------------------------------k()[(! l! 22!(d)["(! l)[%(! 6)[((! 6d! )]][ +(! 6)][3k(! 6,! d!S)[8(! rt14------------------------------------------------15------------------------------------------------------------------------------------------------------------------------------------------------------ --------lr----------------eady)][(!^!"^)["(! 6,! d!S!)[8(! com_finish)][19(!&!"&)[76u(! 6&!! !S)[8(! (caller, called))]]][%(!X!"X)[((! 6,X! d!S!)[8(! com_finivsh)][1?(!&!"&)[7<(! 6&X!! !S)[8(! (caller, called) via MS)]]][+(!R!"Rw)[(! 6R!Z)][3.(! 6,R! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][+(!R!"R)[(! 6R!Z)][3.(! 6,R! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------------------------------------------wq3)[!(! 5!!3)[!(! 6!!3)[!(! 7!!3)[! (! 8!!3)[! (! 9!!3)[! (! 10!!z3)[! (! 11!!3)[! (! 12!!3)[!(! 13!!3)[!(! 14!!3)[!(! 15!!3)]]]]]]]]]]]]]]]]}---------