bgp_fsm_4271.dot 1.9 KB

12345678910111213141516171819202122232425262728293031323334
  1. digraph {
  2. rankdir=LR
  3. //concentrate=true
  4. nojustify="true"
  5. Idle -> Connect [ label="ManualStart\l|AutomaticStart" ]
  6. Idle -> Active [ label="ManualStart_with_PassiveTcpEstablishment\l|AutomaticStart_with_PassiveTcpEstablishment" ]
  7. Connect -> Idle [ label="ManualStop"]
  8. Connect -> Connect [ label="ConnectRetryTimer_Expires\l|TcpConnection_Valid\l|Tcp_CR_Invalid\l|Tcp_CR_Acked && DelayOpen == True\l|TcpConnectionConfirmed && DelayOpen == True\l" ]
  9. Connect -> OpenSent [ label="DelayOpenTimer_Expires\l|Tcp_CR_Acked && DelayOpen == False\l|TcpConnectionConfirmed && DelayOpen == False\l" ]
  10. Connect -> Active [ label="TcpConnectionFails && DelayOpenTimer == \"running\"\l" ]
  11. Connect -> Idle [ label="TcpConnectionFails && DelayOpenTimer == \"not running\"\l" ]
  12. Connect -> OpenConfirm [ label="BGPOpen && DelayOpenTimer == \"running\"" ]
  13. Connect -> Idle [ label="NotifMsg|*\l" ]
  14. Active -> Idle [ label="ManualStop\l|TcpConnectionFails\l|NotifMsg|*" ]
  15. Active -> Connect [ label="ConnectRetryTimer_Expires" ]
  16. Active -> OpenSent [ label="DelayOpenTimer_Expires" ]
  17. Active -> Active [ label="(Tcp_CR_Acked\l|TcpConnectionConfirmed)\l&& DelayOpen = True" ]
  18. Active -> OpenSent [ label="(Tcp_CR_Acked|TcpConnectionConfirmed)\l&& DelayOpen = False" ]
  19. Active -> OpenConfirm [ label="BGPOpen && DelayOpenTimer == \"running\"" ]
  20. OpenSent -> Idle [ label="ManualStop\l|AutomaticStop\l|HoldTimer_Expires\l|NotifMsg\l|OpenCollisionDump\l" ]
  21. OpenSent -> Active [ label="TcpConnectionFails" ]
  22. OpenSent -> OpenConfirm [ label="BGPOpen" ]
  23. OpenConfirm -> Idle [ label="ManualStop\l|AutomaticStop\l|HoldTimer_Expires\l|TcpConnectionFails\l|NotifMsg\l|BGPOpen|*\l"]
  24. OpenConfirm -> Established [ label="KeepAliveMsg|"]
  25. OpenConfirm -> OpenConfirm [ label="KeepaliveTimer_Expires" ]
  26. Established -> Idle [ label="OpenCollisionDump|*"]
  27. Established -> Established [ label="Tcp_CR_Invalid|KeepAliveMsg|UpdateMsg"]
  28. }