dum-serverinvite-state.dot

这是国外的resip协议栈

  EarlyProvidedOffer -> Terminated                      [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyProvidedOffer -> Terminated                      [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  EarlyProvidedOffer -> Terminated                      [ label = "onCancel/app::onTerminated,send::200C,send::487I,dum::destroy" ]; 
  EarlyProvidedOffer -> Terminated                      [ label = "app::onTerminated,onBye/send::200B,send::487I,dum::destroy" ]; 

  AcceptedWaitingAnswer -> Connected                    [ label = "onACK-answer/onAnswer" ];
  AcceptedWaitingAnswer -> AcceptedWaitingAnswer        [ label = "onCANCEL/send::200C" ]; 
  AcceptedWaitingAnswer -> AcceptedWaitingAnswer        [ label = "onPRACK/send::2XXP,send::2XXI-offer" ];
  AcceptedWaitingAnswer -> Terminated                   [ label = "onTimer2xx/resend::2XXI" ]; // !jf! destroy?
  AcceptedWaitingAnswer -> Terminated                   [ label = "onTimerNoACK/send::BYE" ];
  AcceptedWaitingAnswer -> WaitingToHangup              [ label = "dum::end" ];
  // reject is not allowed once accepted


  //////////////////////////////////////////


  Start -> ReceivedOfferReliable                        [ label = "onInvite-offer-rel/app::onNewSession,app::onOffer" ];
  Start -> NoOfferReliable                              [ label = "onInvite-rel/app::onNewSession,app::onOfferRequired" ];

  ReceivedOfferReliable -> ReceivedOfferReliableProvidedAnswer [ label = "dum::provideAnswer" ];
  ReceivedOfferReliable -> Terminated                   [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  ReceivedOfferReliable -> Terminated                   [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  ReceivedOfferReliable -> Terminated                   [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];

  ReceivedOfferReliableProvidedAnswer -> FirstSentAnswerReliable [ label = "dum::provisional/send::1xx-answer,timer::1xx" ];
  ReceivedOfferReliableProvidedAnswer -> Accepted                [ label = "dum::accept/send::2xx,timer::2xx" ];
  ReceivedOfferReliableProvidedAnswer -> Terminated              [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  ReceivedOfferReliableProvidedAnswer -> Terminated              [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  ReceivedOfferReliableProvidedAnswer -> Terminated              [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];

  NoOfferReliable -> NoOfferReliable                    [ label = "dum::provisional/send::1xx,timer:1xx" ];
  NoOfferReliable -> ProvidedOfferReliable              [ label = "dum::provideOffer/store::offer" ];
  NoOfferReliable -> Terminated                         [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  NoOfferReliable -> Terminated                         [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  NoOfferReliable -> Terminated                         [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];

  ProvidedOfferReliable -> FirstSentOfferReliable       [ label = "dum::provisional/send::1xx-offer,timer:1xx" ];
  ProvidedOfferReliable -> AcceptedWaitingAnswer        [ label = "dum::accept/send::2xx-offer,timer:2xx,timer::NoAck" ];
  ProvidedOfferReliable -> Terminated                   [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  ProvidedOfferReliable -> Terminated                   [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];

  FirstSentOfferReliable -> FirstSentOfferReliable      [ label = "onTimer/resend::1xx" ];
  FirstSentOfferReliable -> NegotiatedReliable          [ label = "onPRACK/200P,app::onAnswer" ];
  FirstSentOfferReliable -> Terminated                  [ label = "onTimeout/send:5XXI,app::onTerminated,dum::destroy" ];
  FirstSentOfferReliable -> Terminated                  [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];  
  FirstSentOfferReliable -> Terminated                  [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ]; 
  FirstSentOfferReliable -> Terminated                  [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];

  FirstSentAnswerReliable -> FirstSentAnswerReliable    [ label = "onTimer/resend::1xx,timer::1xx" ];
  FirstSentAnswerReliable -> AcceptedAwaitingPrack      [ label = "dum::accept/queue::2xx" ];
  FirstSentAnswerReliable -> NegotiatedReliable         [ label = "onPRACK/200P" ];
  FirstSentAnswerReliable -> WaitingToTerminate         [ label = "dum::end" ];
  FirstSentAnswerReliable -> Terminated                 [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];  
  FirstSentAnswerReliable -> Terminated                 [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  FirstSentAnswerReliable -> Terminated                 [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];

  AcceptedAwaitingPrack -> AcceptedAwaitingPrack        [ label = "onTimer/resend:1xx" ];
  AcceptedAwaitingPrack -> Accepted                     [ label = "onPRACK/send::200P,send::200I" ];
  AcceptedAwaitingPrack -> Terminated                   [ label = "onTimeout/send:5XXI,app::onTerminated,dum::destroy" ];
  AcceptedAwaitingPrack -> Terminated                   [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  AcceptedAwaitingPrack -> Terminated                   [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];

  NegotiatedReliable -> NegotiatedReliable              [ label = "onPRACK/send::200P" ]; 
  NegotiatedReliable -> NegotiatedReliable              [ label = "dum::provisional/send::1xx,timer::1xx" ];
  NegotiatedReliable -> NegotiatedReliable              [ label = "onTimer/resend::1xx" ];
  NegotiatedReliable -> Accepted                        [ label = "dum::accept/send::2xx,timer::2xx" ];
  NegotiatedReliable -> ReceivedUpdate                  [ label = "onUpdate/app::onOffer" ];
  NegotiatedReliable -> SentUpdate                      [ label = "dum::provideOffer/send::UPDATE" ];
  NegotiatedReliable -> Terminated                      [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  NegotiatedReliable -> Terminated                      [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ]; 
  NegotiatedReliable -> Terminated                      [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ]; 

  Accepted -> Connected                                 [ label = "onACK" ];
  Accepted -> Accepted                                  [ label = "onCANCEL/send::200C" ]; 
  Accepted -> Accepted                                  [ label = "onPRACK/send::2XXP,send::2XXI,timer::2xx" ];
  Accepted -> Accepted                                  [ label = "onTimer2xx/resend::2XXI" ];
  Accepted -> Terminated                                [ label = "onTimerNoACK/send::BYE" ];
  Accepted -> WaitingToHangup                           [ label = "dum::end" ];
  Accepted -> Terminated                                [ label = "onBye/send::200B,app::onTerminated,dum::destroy" ];
  // reject is not allowed once accepted

  SentUpdate -> SentUpdateAccepted                      [ label = "dum::accept/send::2xxI" ];
  SentUpdate -> NegotiatedReliable                           [ label = "on2XXU" ];
  SentUpdate -> Terminated                              [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  SentUpdate -> Terminated                              [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ]; 
  SentUpdate -> Terminated                              [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ]; 

  SentUpdateAccepted -> Accepted                        [ label = "on2xxU/app::onAnswer" ];
  SentUpdateAccepted -> Accepted                        [ label = "on4XXU/app::onOfferRejected" ];
  SentUpdateAccepted -> WaitingToHangup                 [ label = "dum::end" ];
  // reject is not allowed once accepted

  ReceivedUpdate -> ReceivedUpdateWaitingAnswer         [ label = "dum::accept/queue::2xx" ];
  ReceivedUpdate -> NegotiatedReliable                       [ label = "dum::provideAnswer/send::200U-answer" ];
  ReceivedUpdate -> Terminated                          [ label = "dum::end/send::488U,send::4XXI,app::onTerminated,dum::destroy" ];
  ReceivedUpdate -> Terminated                          [ label = "dum::reject/send::488U,send::4XXI,app::onTerminated,dum::destroy" ]; 
  ReceivedUpdate -> Terminated                          [ label = "dum::redirect/send::488U,send::3XXI,app::onTerminated,dum::destroy" ]; 

  ReceivedUpdateWaitingAnswer -> Accepted               [ label = "dum::provideAnswer/send::2XXU-answer,send::2XXI" ];
  ReceivedUpdateWaitingAnswer -> Terminated             [ label = "dum::end/send::488U,send::4XXI,dum::destroy" ];
  // reject is not allowed once accepted

  WaitingToTerminate -> Terminated                      [ label = "onPRACK/send::4xx,dum::destroy" ];
  // reject is not allowed once accepted

  WaitingToHangup -> Terminated                         [ label = "onPRACK/send::BYE" ];
  WaitingToHangup -> Terminated                         [ label = "onACK/send::BYE" ];
  WaitingToHangup -> Terminated                         [ label = "onTimerNoACK/send::BYE" ];
  // reject is not allowed once accepted
}