3 July 2002 Formal description of the jumpstart just-in-time signaling protocol using EFSM
Author Affiliations +
Proceedings Volume 4874, OptiComm 2002: Optical Networking and Communications; (2002) https://doi.org/10.1117/12.475294
Event: ITCom 2002: The Convergence of Information Technologies and Communications, 2002, Boston, MA, United States
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.
© (2002) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
A. Halim Zaim, A. Halim Zaim, Ilia Baldine, Ilia Baldine, Mark Cassada, Mark Cassada, George N. Rouskas, George N. Rouskas, Harry G. Perros, Harry G. Perros, Daniel S. Stevenson, Daniel S. Stevenson, } "Formal description of the jumpstart just-in-time signaling protocol using EFSM", Proc. SPIE 4874, OptiComm 2002: Optical Networking and Communications, (3 July 2002); doi: 10.1117/12.475294; https://doi.org/10.1117/12.475294

Back to Top