dum-serverinvite-state.dot

这是国外的resip协议栈

//  names start with cap are states
//  names start with app:: are appliction handlers
//  names start with dum:: are dum interface to application
//  names start with lower case are actions
//  names start with on are events

//  Note:  not all Assert transitions are shown here
digraph UAS {
  rankdir=LR;
  node [shape = box];

  //////////////////////////////////////////
  // UAS - offer in INVITE
  Start -> Offer                                        [ label = "onInvite-offer/app::onNewSession,app::onOffer" ];

  Offer -> OfferProvidedAnswer                          [ label = "dum::provideAnswer/store::answer" ];
  Offer -> EarlyOffer                                   [ label = "dum::provisional/send::1xx,timer::1xx" ]; // include early-media
  Offer -> Assert                                       [ label = "dum::accept/assert" ];
  Offer -> Terminated                                   [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  Offer -> Terminated                                   [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  Offer -> Terminated                                   [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  Offer -> Terminated                                   [ label = "onCancel/app::onTerminated,send::200C,send::487I" ]; 
  Offer -> Terminated                                   [ label = "onBye/app::onTerminated,send::200B,send::487I" ]; 

  OfferProvidedAnswer -> Accepted                       [ label = "dum::accept/send::2xx-answer,timer::2xx,timer::NoAck,app::onConnected" ];
  OfferProvidedAnswer -> EarlyProvidedAnswer            [ label = "dum::provisional/send::1xx,timer::1xx" ]; // include early-media
  OfferProvidedAnswer -> Terminated                     [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  OfferProvidedAnswer -> Terminated                     [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  OfferProvidedAnswer -> Terminated                     [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  OfferProvidedAnswer -> Terminated                     [ label = "onCancel/app::onTerminated,send::200C,send::487I" ];
  OfferProvidedAnswer -> Terminated                     [ label = "onBye/app::onTerminated,send::200B,send::487I" ]; 

  Accepted -> Connected                                 [ label = "onACK" ];
  Accepted -> Accepted                                  [ label = "onCANCEL/send::200C" ]; 
  Accepted -> Accepted                                  [ label = "onTimer2xx/resend::2XXI" ];
  Accepted -> Terminated                                [ label = "onACK-answer/send::BYE" ];
  Accepted -> Terminated                                [ label = "onTimerNoACK/app::onAckNotReceived(),app::onTerminated(GeneralFailure),send::BYE" ];
  Accepted -> Terminated                                [ label = "onBye/app::onTerminated,send::200B" ]; 
  Accepted -> WaitingToHangup                           [ label = "dum::end" ];
  Accepted -> WaitingToOffer                            [ label = "dum::provideOffer/saveOffer" ];
  Accepted -> WaitingToRequestOffer                     [ label = "dum::requestOffer/saveOffer" ];

  WaitingToOffer -> SentUpdate                          [ label = "onACK/send::UPDATE-offer" ]; 
  WaitingToOffer -> SentReinvite                        [ label = "onACK/send::INVITE-offer" ]; 
  WaitingToOffer -> WaitingToOffer                      [ label = "onCANCEL/send::200C" ]; 
  WaitingToOffer -> WaitingToOffer                      [ label = "onTimer2xx/resend::2XXI" ];
  WaitingToOffer -> Terminated                          [ label = "onACK-answer/send::BYE" ];
  WaitingToOffer -> Terminated                          [ label = "onTimerNoACK/app::onAckNotReceived(),app::onTerminated(GeneralFailure),send::BYE" ];
  WaitingToOffer -> Terminated                          [ label = "onBye/app::onTerminated,send::200B" ]; 
  WaitingToOffer -> WaitingToHangup                     [ label = "dum::end" ];

  WaitingToRequestOffer -> SentReinviteNoOffer          [ label = "onACK/send::INVITE" ]; 
  WaitingToRequestOffer -> WaitingToRequestOffer        [ label = "onCANCEL/send::200C" ]; 
  WaitingToRequestOffer -> WaitingToRequestOffer        [ label = "onTimer2xx/resend::2XXI" ];
  WaitingToRequestOffer -> Terminated                   [ label = "onACK-answer/send::BYE" ];
  WaitingToRequestOffer -> Terminated                   [ label = "onTimerNoACK/app::onAckNotReceived(),app::onTerminated(GeneralFailure),send::BYE" ];
  WaitingToRequestOffer -> Terminated                   [ label = "onBye/app::onTerminated,send::200B" ]; 
  WaitingToRequestOffer -> WaitingToHangup              [ label = "dum::end" ];

  EarlyOffer -> EarlyOffer                              [ label = "onTimer1xx/resend::1xx" ];
  EarlyOffer -> EarlyOffer                              [ label = "dum::provisional/send::1xx,timer::1xx" ];
  EarlyOffer -> EarlyProvidedAnswer                     [ label = "dum::provideAnswer/store::answer" ];
  EarlyOffer -> Assert                                  [ label = "dum::accept/assert" ];
  EarlyOffer -> Terminated                              [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyOffer -> Terminated                              [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyOffer -> Terminated                              [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  EarlyOffer -> Terminated                              [ label = "onCancel/send::200C,send::487I" ];
  EarlyOffer -> Terminated                              [ label = "onBye/app::onTerminated,send::200B,send::487I" ];

  EarlyProvidedAnswer -> EarlyProvidedAnswer            [ label = "dum::provisional/send::1xx,timer::1xx" ]; // include early-media
  EarlyProvidedAnswer -> Accepted                       [ label = "dum::accept/send::2xx-answer,timer::2xx,timer::NoAck,app::onConnected" ];
  EarlyProvidedAnswer -> Terminated                     [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyProvidedAnswer -> Terminated                     [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyProvidedAnswer -> Terminated                     [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  EarlyProvidedAnswer -> Terminated                     [ label = "onCancel/app::onTerminated,send::200C,send::487I" ]; 
  EarlyProvidedAnswer -> Terminated                     [ label = "onBye/app::onTerminated,send::200B,send::487I" ]; 
  //////////////////////////////////////////


  //////////////////////////////////////////
  // UAS - no offer in INVITE
  Start -> NoOffer                                      [ label = "onInvite/app::onNewSession,app::onOfferRequired" ];

  NoOffer -> ProvidedOffer                              [ label = "dum::provideOffer/store::offer" ];
  NoOffer -> EarlyNoOffer                               [ label = "dum::provisional/send::1xx,timer::1xx" ]; // include early-media
  NoOffer -> Assert                                     [ label = "dum::accept/assert" ];
  NoOffer -> Terminated                                 [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  NoOffer -> Terminated                                 [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  NoOffer -> Terminated                                 [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  NoOffer -> Terminated                                 [ label = "onCancel/app::onTerminated,send::200C,send::487I,dum::destroy" ]; 
  NoOffer -> Terminated                                 [ label = "onBye/app::onTerminated,send::200B,send::487I,dum::destroy" ]; 

  ProvidedOffer -> EarlyProvidedOffer                   [ label = "dum::provisional/send::1xx-early,timer::1xx" ]; 
  ProvidedOffer -> AcceptedWaitingAnswer                [ label = "dum::accept/send::2XXI-offer,timer::2xx,timer::NoAck" ];
  ProvidedOffer -> Terminated                           [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  ProvidedOffer -> Terminated                           [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  ProvidedOffer -> Terminated                           [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  ProvidedOffer -> Terminated                           [ label = "onCancel/app::onTerminated,send::200C,send::487I,dum::destroy" ]; 
  ProvidedOffer -> Terminated                           [ label = "onBye/app::onTerminated,send::200B,send::487I,dum::destroy" ]; 

  EarlyNoOffer -> EarlyNoOffer                          [ label = "onTimer1xx/resend::1xx" ];
  EarlyNoOffer -> EarlyNoOffer                          [ label = "dum::provisional/send::1xx,timer::1xx" ];
  EarlyNoOffer -> EarlyProvidedOffer                    [ label = "dum::provideOffer/store::offer" ];
  EarlyNoOffer -> Assert                                [ label = "dum::accept/assert" ];
  EarlyNoOffer -> Terminated                            [ label = "dum::end/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyNoOffer -> Terminated                            [ label = "dum::reject/send::4XXI,app::onTerminated,dum::destroy" ];
  EarlyNoOffer -> Terminated                            [ label = "dum::redirect/send::3XXI,app::onTerminated,dum::destroy" ];
  EarlyNoOffer -> Terminated                            [ label = "onCancel/app::onTerminated,send::200C,send::487I,dum::destroy" ];
  EarlyNoOffer -> Terminated                            [ label = "onBye/app::onTerminated,send::200B,send::487I,dum::destroy" ];

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