------------------------SDT2oq^BTS----------------------------------------------------ObjectName----------------------------------------ObjectType----------------------------------------!%&()LinkEndpoints--------------------------------1------------------------------------------------- ,BTS------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------5--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[8(! process BTS)]}-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------#()[(! l! 22!(d)[(! l)[(! 6)[ (! 6d! )]][ #(! 6)][2z(! 6^! d!S)[8(! )][}(!^!"^)[(! 6!Z)][3(! 6^! d!S)[8(! waitInit)]]]]]]}illing_report_t; /* CIF End Text */ /* CIF TEXT (70, 1()[(! 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(!u (mobile_id, x, IMEI) comment 'Note that the second parameter is not stored in BTS_id.')]]][(!!" )[6(! 6^! d!S)[8(! )][1(!& X !"X & )[7(! 6X!! !S)[8(!$ /* MS_PIDs(mobile_id) :=  sender */)]]][(!R!"R)[(! 6^! d!S!)[8(! logOn)][1(!&X!"X&)[7 (! 6X!! !S)[8(!& (mobile_id, BTS_id, IMEI) via BC)]]][(!L!"L)[(! 6!Z)][3(! 6^ ! d!S)[8(! -)]]]]]]]]]]]]}X&)[7(! 6X!! !S)[8(! (mobile_id, BTS_id, IMEI) via BC /* CIF NEXTSTATE (601, 548), (160, 80) */ /*9 CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]]]}odified */)][()[()][()[(! call_req(caller, called) via BC /* CIF NEXTSTATE (1128, 590), (176, 80) */ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)][()[(! l! 22!(d)[2(! l)[5(! 6)[8(! 6d! )]][ ;(! 6)][3(! 6! d!S)[8(! r3()][()[(! ran4finitionPageCIF OUTPUT (1866, 337), (250, 80) */5finitionPageecific Geode TextMode 4 */ /* CIF KeDefinitionPagede Modified */)][()[ -eady)][(!^!"^)[(! 6! d!S!)[8(! call_req)][1(!X!"&X)[7(! 6!! !S)[8(! (caller, called, BTS1))]]][(!X!"X)[6(! 6X! d!S)[8(! )][1(!X!"X)[7(! 6X!! !S)[8(! /* MS_PID := sender */ MS1 := caller comment 'To respond to this mobile during authentication.')]]][(!!")[(! 6! d!S!)[8(! call_req)][1(!XLL!"LXL)[7(! 6!! !S)[8(! (caller, called, ) via BC)]]][(!~F!"F~)[(! 6F!Z)][3(! 6F!  d!S)[8(! waitRandom)]]]]]]]]]]]]}!"LXL)[7(! 6!! !S)[8(! (caller, called, ) via BC /* CIF NEXTSTATE (1128, 590), (176, 80) */ @/* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!~F!"F~)[(! 6F!Z)][3(! 6F! d!S)[8(! waitRandom /* CIF COMMENT (1319, 579), (218, 106) */ /* CIF Keep Specific Geode TextMode 3 */ /* CIF Keep Specific Geode Modified */)]]]]]]]]]]]]}e 4 */ /* CIF Keep Specific Geode Modified */)][ ()[()][()[( ()[(! l! 22!(d)[>(! l)[A(! 6)[D(! 6d! )]][ G(! 6)][3(! 6^^! d!S)[8(! waitRandom)][(!!")[(! 6^! d!S!)[8(! randomNr)][1(!&&X&!"X&&&&)[7(! 6X!! !S)[8(! (rand))]]][(!X!"X)[(! 6^! d!S!)[8(! randomNr)][1(!&X!"X&)[7(! 6X!! !S)[8(!# (rand, MS1) via MS/* to MS_PID */)]]][(! R!"R )[(! 6R!Z)][3(! 6^R! d!S)[8(! waitEncryptedNr)]]]]]]]]]]}p Specific Geode Modified */)]]][(! R!"R )[(! 6R!Z)][3(! 6^R! d!S)[8(! waitEncryptedNr)]]]]]]]]]]}} /* CIF Keep Specific Geode Modified */)][F()[()][I()[(! getReport(caller) via BC /()[(! l! 22!(d)[J(! l)[M(! 6)[P(! 6d! )]][ S(! 6)][3(! 6^! d!S)[8(! r eady)][(!&X!"X&)[(! 6^X! d!S!)[8(! call_conf)][1(!&X!"X&)[7!(! 6XX!! !S)[8(! (called_status, called))]]][(! !" )[(! 6^ ! d!S!)[8(! cal"l_conf)][1(!&RXR!"XR&R)[7(! 6X !! !S)[8(!8 (called_status, called) via MS/* to MS_PIDs(called) */)]]][(!#!")[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]}} 4 */ /* CIF Keep Specific Geode Modified */)]]][(!!")[(! 6!Z)][3(! 6^! d!S)[8(! -)]]]]]]]]]]}}MS(BTS_id, parispizza, IMEI3) via MS3 /* CIF OUTPUT (70, 984), (227, 97) */ /* CIF Keep Specific Geode ()[(! l! 22!(d)[V(! l)[Y(! 6)[\(! 6d! )]][ _(! 6)][3=(! 6^! d!S)[8(! r'6c Geode Modified */)][()[()][7finitionPage(! ready)]]]]]]]]]]]]]8finitionPage(! waitEncryptedNr)]DefinitionPage()][()[ %5A-eady)][R(!!")[U(! 6! d!S!)[8(! giveReport)][1-(!X&&!"&&&X&)[7*((! 6!! !S)[8(! (bil_report, called))]]][X(!X!"X)[[(! 6! d!S!)[8(! give2(!4!5!7)[!(! DefinitionPage!)[!(! 1!!2!3)[!(! 2!!3)[!(! 3!!3)[!(! 4!!p!%()PageOrder-------------------------------------1-------------------------------------------------10initionPage------------------------------------11initionPage------------------------------------ )OU!%()HeadingText-----------------------------------10------------------------------------------------2-------------------------------------------------8------------------------------------------------- OA*\I()[w(!GSDL)]}-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------()[(! l! 22!(d)[h(! l)[k(! 6)[n(! 6d! )]][ t(! 6)][9w(! 62^! !S)[8(!/ n.ewtype MS_PIDs_t ARRAY( Mobile_ID_t, PID); endnewtype; dcl BTS_id BTS_ID_t /* replaces context parameters. */, mobile_id Mobile_ID_t, x BTS_ID_t /* not used */, IMEI IMEI_t, caller, called Mobile_ID_t, /* MS_PID PID, */ MS1 Mobile_ID_t, / BTS1 BTS_ID_t, /* MS_PIDs MS_PIDs_t, */ reason reason_t, called_status called_state_t, resp, rand natural, bil_report billing_report_t; /* CIF End Text */ /* CIF TEXT (70, 120), (447, 50) */ /* CIF Keep Specific Geode Font 'fixed' 0 'fixed' 'fixed'*/ /* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */ /* Base Transceiver Station */ /* CIF End Text */ /* CIF CurrentPage 1 */ /* CIF START (103, 200), (160, 80) */ /* CIF Keep Specific Geode TextMode 14 */ /* CIF Keep Specific Geode Modified */ )]]]]}--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------2Report)][13(!X!"X)[70(! 6!! !S)[8(!5 (bil_report, called) via MS/* to MS_PIDs(called) */)]]][^(! R!"3R )[(! 6R!Z)][3a(! 6R! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][^(! R!"R )[(! 6R!Z)][3a(! 6R! d!S)[8(! -)]]]]]]]]]]}}-------------------------------------------------------------------------------------------------------------$()[(! l! 22!(d)[b(! l)[e(! 6)[h(! 6d! )]][ k(! 6)][3d(! 6! d!S)[8(! w6aitInit)][g(!^!"^)[j(! 6! d!S!)[8(! initBTS)][19(!X!"&X)[767(! 6!! !S)[8(! (BTS_id))]]][m(!X!"X)[p(! 6X! d!S!)[8(! initMS)][1?8(!X!"X)[7<(! 6X!! !S)[8(!) (BTS_id, Marie, IMEI1) /* via MS1 */)]]][s(!!"9)[v(! 6! d!S!)[8(! initMS)][1E(!X!"X)[7B(! 6!! !S)[8(!( (BTS_:id, John, IMEI2) /* via MS2 */)]]][y(!!")[|(! 6! d!S!)[8(! initMS)][1K(!X!";X)[7H(! 6!! !S)[8(!. (BTS_id, parispizza, IMEI3) /* via MS3 */)]]][(!!")[(! 6! <d!S!)[8(! initMS)][1Q(!X!"X)[7N(! 6!! !S)[8(!- (BTS_id, lyonpizza, IMEI4) /* via MS4 */)]]]=[(!@!"@)[(! 6!Z)][3(! 6! d!S)[8(! ready)]]]]]]]]]]]]]]]]}! d!S!)[8(! initMS)][1Q(!X!"X)[7N(! 6!! !S)[8(! (BTS_id, lyonpizza, IMEI4) /* via MS4 */ /* CIF NEXTSTATE (103, 1111), (160, 80) */ ?/* CIF Keep Specific Geode TextMode 4 */ /* CIF Keep Specific Geode Modified */)]]][(!@!"@)[(! 6!Z)][3(! 6! d!S)[8@(! ready)]]]]]]]]]]]]]]]]}------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------"4()[(! l! 22!(d)[n(! l)[q(! 6)[t(! 6d! )]][ w(! 6)][3(! 6,^! d!S)[8(! wBaitEncryptedNr)][(!!")[+(! 6,! d!S)[8(! *)]]][(!"!")C[(! 6&! d!S!)[8(! encryptedNr)][1W(!& &!" &&&)[7T(! 6 !! !S)[8(! (resp, BDTS1))]]][(!X!"X)[(! 6&! d!S!)[8(! encryptedNr)][1](! !" )[7ZE(! 6 !! !S)[8(! (resp) via BC)]]][(! !" )[(! 6!Z)][3(! 6&! d!SF)[8(! ready)]]]]]]]]]]}/* CIF Keep Specific Geode Modified */)]]][(! R!"R )[(! 6R!Z)][3(! 6&R! d!S)[8(%! ready)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------->()[(! l! 22!(d)[z(! l)[}(! 6)[(! 6d! )]][ (! 6)][3(! 6,^! d!S)[8(! rJ9-------------------------------------------------DefinitionPage------------------------------------------------------------------------------------------------------------------------------------------ --------H-----------------eady)][(!!")[ (! 6,! d!S!)[8(! com_start)][1(!&&&!"&&&&)[7K(! 6&!! !S)[8(! (caller, BTS1))]]][ (!X!"X)[(! 6,! d!S!)[8(! com_start)][L1(!&!"&)[7(! 6&!! !S)[8(! (caller) via BC)]]][(! R!"R )[M(! 6R!Z)][3(! 6,R! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(! R!"R )[(! 6rR!Z)][3(! 6,R! d!S)[8(! -)]]]]]]]]]]}---------------------------------------------------------------------------------------------------------------------------------------------------------gG()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6^,! d!S)[8(! rPeady)][@(!!")[C(! 6^! d!S!)[8(! getReport)][1!(!&X!"X&)[7Q(! 6X!! !S)[8(! (caller, BTS1))]]][F(!&!"&)[I(! 6^! d!S!)[8(! getReport)][R1'(!&X!"X&)[7$(! 6X!! !S)[8(! (caller) via BC)]]][L(! !" )[S(! 6 !Z)][3O(! 6^ ! d!S)[8(! -)]]]]]]]]]]} */ /* CIF Keep Specific Geode Modified */)]]][L(! !" )[(! 6r !Z)][3O(! 6^ ! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------------------------------------------------------------eN()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,^! d!S)[8(! rVeady)][+(!!")[.(! 6,! d!S!)[8(! call_reject)][1(!&&&!"&&&&)[7W(! 6&!! !S)[8(! (reason))]]][1(!X!"X)[4(! 6,! d!S!)[8(! call_reject)][1X(!&!"&)[7(! 6&!! !S)[8(!% (reason, MS1) via MS/* to MS_PID */)]]][7(! R!"RY )[(! 6R!Z)][3:(! 6,R! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][7(! R!"R )[(! 6R!Z)][3:(! 6,R! d!S)[8(! -)]]]]]]]]]]}}--------------------------------------------------------------------------------------------------------------------------------------yT()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,! d!S)[8(! r_11------------------------------------------------12------------------------------------------------13------------------------------------------------14------------------------------------------------ U[dj5-------------------------------------------------8------------------------------------------------------------------------------------------------------------------------------------------------------- --------A--------&I--------2---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- ------------------------+]------------eady)][(!^!"^)[(! 6,! d!S!)[8(! call_resp)][1(!&!"&)[7`(! 6&!! !S)[8(!) (called_status, caller, called, BTS1))]]][(!!")[(! 6,! d!S!)[8a(! call_resp)][1(!&!"&)[7(! 6&!! !S)[8(!, (called_status, caller, called) via BC)]]][(! b!" )[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]} 4 */ /* CIF Keep Specific Geode Modified */)]]][(! !" )[(! 6!Z)][3(! 6,! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------Z()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3(! 6,,! d!S)[8(! reeady)][(!!")[(! 6,! d!S!)[8(! call_ind)][1(!&!"&)[7f(! 6&!! !S)[8(! (caller, called))]]][(!&!"&)[(! 6,! d!S!)[8(! call_ind)][g1(!&!"&)[7(! 6&!! !S)[8(!1 (caller, called) via MS/* to MS_PIDs(called) */)]]][(! !"h )[(! 6 !Z)][3(! 6, ! d!S)[8(! -)]]]]]]]]]]}e 4 */ /* CIF Keep Specific Geode Modified */)]]][(! !" )[(! 6 !Z)][3(! 6, ! d!S)[8(! -)]]]]]]]]]]}}-----------------------------------------------------------------------------------------------------------------------c()[(! l! 22!(d)[(! l)[(! 6)[(! 6d! )]][ (! 6)][3 (! 6^! d!S)[8(! rkeady)][(!^!"^)[(! 6^! d!S!)[8(! com_finish)][1 (!&X!"X&)[7l(! 6X!! !S)[8(! (caller, called, BTS1))]]][(!!")["(! 6^! d!S!)[8(! comm_finish)][1(!&X!"X&)[7 (! 6X!! !S)[8(! (caller, called) via BC)]]][%(!!"n)[(! 6!Z)][3((! 6^! d!S)[8(! -)]]]]]]]]]]}e 4 */ /* CIF Keep Specific Geode Modified */)]]][%(!!")[(! 6!Z)][3((! 6^! d!S)[8(! -)]]]]]]]]]]}-----------------------------------------------------------------------------------------------------------------------------------}i3)[!(! 5!!3)[!(! 6!!3)[!(! 7!!3)[! (! 8!!3)[! (! 9!!3)[! (! 10!!q3)[! (! 11!!3)[! (! 12!!3)[!(! 13!!3)[!(! 14!!3)]]]]]]]]]]]]]]]}------------------------------------------------------