1 February 2003 Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines
Author Affiliations +
Abstract
We present a formal protocol description for a just-in-time (JIT) signaling scheme running over a core dense wavelength division multiplexing (DWDM) network that utilizes optical burst switches (OBSs). 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 work on on-the-fly and persistent unicast connections. The communication between the EFSMs is handled through messages.
© (2003) Society of Photo-Optical Instrumentation Engineers (SPIE)
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, } "Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines," Optical Engineering 42(2), (1 February 2003). https://doi.org/10.1117/1.1533795 . Submission:
JOURNAL ARTICLE
18 PAGES


SHARE
Back to Top