1 February 2003 Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines
Author Affiliations +
Optical Engineering, 42(2), (2003). doi:10.1117/1.1533795
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.
A. Halim Zaim, Ilia Baldine, Mark Cassada, George N. Rouskas, Harry G. Perros, 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
JOURNAL ARTICLE
18 PAGES


SHARE
Back to Top