Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

A. Halim Zaim; Ilia Baldine; Mark Cassada; George N. Rouskas; Harry G. Perros; Daniel S. Stevenson

doi:10.1117/1.1533795

1 February 2003 Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines

A. Halim Zaim, Ilia Baldine, Mark Cassada, George N. Rouskas, Harry G. Perros, Daniel S. Stevenson

Optical Engineering, Vol. 42, Issue 2, (February 2003). https://doi.org/10.1117/1.1533795

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)

Citation Download Citation

A. Halim Zaim, Ilia Baldine, Mark Cassada, George N. Rouskas, Harry G. Perros, and 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

Published: 1 February 2003

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available