Formal description of the jumpstart just-in-time signaling protocol using EFSM
Abdül Halim Zaim, Ilya Baldin, Mark Cassada, George N. Rouskas, Harry G. Perros, Daniel S. Stevenson · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2002
We present a formal protocol description for a Just-In-Time (JIT) signaling scheme running over a core dWDM network which utilizes Optical Burst Switches (OBS). We apply an eight-tuple extended finite state machine (EFSM) model to formally specify the protocol. Using the EFSM model, we define the communication between a source client node and a destination client node through an ingress and one or multiple intermediate switches. We worked on single burst connections that means setting up the connection just before sending a single burst and then closing the connection as soon as the burst is sent. The communication between the EFSMs is handled through message transfer between protocol entities.