| 1 |
|
| 2 |
machine_name : "BGP"; |
| 3 |
machine_reference : "http://www.inetdaemon.com/tutorials/internet/ip/routing/bgp/operation/finite_state_model.shtml"; |
| 4 |
machine_version : 1.0.0; |
| 5 |
|
| 6 |
machine_author : "John Haugeland <stonecypher@gmail.com>"; |
| 7 |
machine_license : MIT; |
| 8 |
|
| 9 |
jssm_version : >= 5.0.0; |
| 10 |
|
| 11 |
|
| 12 |
|
| 13 |
Idle -> [Idle Connect]; |
| 14 |
Connect -> [Idle Connect OpenSent Active]; |
| 15 |
Active -> [Idle Connect OpenSent Active]; |
| 16 |
OpenSent -> [Idle Active OpenConfirm]; |
| 17 |
OpenConfirm -> [Idle OpenSent OpenConfirm Established]; |
| 18 |
Established -> [Idle Established]; |
| 19 |
|
| 20 |
|
| 21 |
|
| 22 |
# from https://github.com/StoneCypher/jssm/blob/main/src/machines/linguist/bgp.fsl |