| digraph G { |
| rankdir=TB |
| labelloc=t; label="HLR Proxy MM FSM" |
| |
| top,top2,top3[shape=invtriangle,label="(1)"] |
| |
| top -> READY |
| |
| new [label="proxy_cache_subscr_new()\n/ proxy_cache_subscr_from_db()",shape=box] |
| READY [style=bold] |
| HIBERNATE [shape=note,label="Hibernate\n (keep in DB)"] |
| CLEAR [shape=box,label="Clear DB entry\n (discard completely)"] |
| WAIT_AUTH_TUPLES [style=bold] |
| WAIT_SUBSCR_DATA [style=bold] |
| WAIT_GSUP_ISD_RESULT [style=bold] |
| |
| home_fsm [label="Proxy to Home HLR FSM",shape=box3d] |
| {rank=same;READY,home_fsm} |
| |
| |
| new -> {READY,home_fsm} |
| |
| READY -> {event_lu_req,event_auth_info_req} [arrowhead=none] |
| |
| event_auth_info_req [shape=rarrow,label="Rx GSUP\nSend Auth Info Request\nfrom MSC"] |
| event_auth_info_req -> junction_send_auth_info_req |
| junction_send_auth_info_req [shape=diamond,label="Unused\nauth tuples\navailable?"] |
| junction_send_auth_info_req -> action_send_auth_info [label="yes"] |
| junction_send_auth_info_req -> emit_need_tuples [label="no"] |
| emit_need_tuples [shape=lpromoter,label="emit\n HOME_EV_CHECK_TUPLES\n to Home FSM"] |
| emit_need_tuples->WAIT_AUTH_TUPLES |
| WAIT_AUTH_TUPLES -> rx_ev_rx_auth_tuples [arrowhead=none] |
| rx_ev_rx_auth_tuples [shape=rpromoter,label="receive\n MM_EV_RX_AUTH_TUPLES"] |
| rx_ev_rx_auth_tuples -> action_send_auth_info |
| action_send_auth_info [shape=larrow,label="Tx GSUP\nSend Auth Info Result\nwith fresh auth tuples\n to MSC"] |
| action_send_auth_info -> emit_check_tuples |
| emit_check_tuples [shape=lpromoter,label="emit\n HOME_EV_CHECK_TUPLES\n to Home FSM"] |
| emit_check_tuples -> top2 |
| WAIT_AUTH_TUPLES -> junction_check_auth_fallback [label="Timeout",style=dashed] |
| junction_check_auth_fallback -> action_do_auth_fallback [label="yes",style=dashed] |
| action_do_auth_fallback [shape=larrow,label="Tx GSUP\nSend Auth Info Result\nwith recycled auth tuple\n(GSM AKA only)"] |
| junction_check_auth_fallback [shape=diamond,label="Re-usable\nauth tuples\navailable?"] |
| junction_check_auth_fallback -> action_fail_auth [label="no",style=dashed] |
| action_fail_auth [shape=larrow,label="Tx GSUP\nSend Auth Info Error\npending re-connection to\nthe home HLR"] |
| {action_do_auth_fallback,action_fail_auth} -> top2 [style=dashed] |
| |
| event_lu_req [shape=rarrow,label="Rx GSUP\nUpdate Location Request\nfrom MSC"] |
| event_lu_req -> emit_lu_req |
| emit_lu_req [shape=lpromoter,label="emit\n HOME_EV_CONFIRM_LU"]; |
| emit_lu_req -> junction_check_subscriber_data |
| junction_check_subscriber_data [shape=diamond,label="Subscriber\nData\nknown?"] |
| junction_check_subscriber_data -> WAIT_SUBSCR_DATA [label=no] |
| WAIT_SUBSCR_DATA -> rx_ev_subscr_data [arrowhead=none] |
| rx_ev_subscr_data [shape=rpromoter,label="receive\n MM_EV_RX_SUBSCR_DATA"]; |
| rx_ev_subscr_data -> action_subscr_data_req |
| junction_check_subscriber_data -> action_subscr_data_req [label="yes"] |
| action_subscr_data_req [shape=larrow,label="Tx GSUP\n Insert Subscriber Data\n Request to MSC"] |
| action_subscr_data_req -> WAIT_GSUP_ISD_RESULT |
| WAIT_GSUP_ISD_RESULT -> tx_gsup_isd_res [arrowhead=none] |
| tx_gsup_isd_res [shape=rarrow,label="Rx GSUP\n Insert Subscriber Data Result\nfrom MSC"] |
| tx_gsup_isd_res -> top3 |
| |
| {WAIT_GSUP_ISD_RESULT,WAIT_SUBSCR_DATA} -> action_lu_reject [label="Timeout",style=dashed] |
| action_lu_reject [shape=larrow,label="Tx GSUP\nUpdate Location Error\nto MSC\npending reconnect of home HLR"] |
| action_lu_reject -> top3 [style=dashed] |
| |
| READY -> HIBERNATE [label="Timeout"] |
| READY -> rx_ev_subscr_invalid [arrowhead=none] |
| rx_ev_subscr_invalid[shape=rpromoter,label="receive\n MM_EV_SUBSCR_INVALID"] |
| rx_ev_subscr_invalid -> tx_purge_req |
| tx_purge_req [shape=larrow,label="Tx GSUP\nPurge MS Request"] |
| tx_purge_req -> note_purge [style=dotted] |
| note_purge [shape=note,label="Don't care about\nPurge MS Result"] |
| tx_purge_req -> CLEAR |
| {CLEAR,HIBERNATE} -> TERM |
| TERM[shape=octagon][style=bold] |
| |
| } |