Share Email Print

Optical Engineering

Jumpstart just-in-time signaling protocol: a formal description using extended finite state machines
Author(s): A. Halim Zaim; Ilia Baldine; Mark Cassada; George N. Rouskas; Harry G. Perros; Daniel S. Stevenson
Format Member Price Non-Member Price
PDF $20.00 $25.00
cover GOOD NEWS! Your organization subscribes to the SPIE Digital Library. You may be able to download this paper for free. Check Access

Paper 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.

Paper Details

Date Published: 1 February 2003
PDF: 18 pages
Opt. Eng. 42(2) doi: 10.1117/1.1533795
Published in: Optical Engineering Volume 42, Issue 2
Show Author Affiliations
A. Halim Zaim, MCNC (United States)
Ilia Baldine, MCNC (United States)
Mark Cassada, MCNC (United States)
George N. Rouskas, North Carolina State Univ. (United States)
Harry G. Perros, North Carolina State Univ. (United States)
Daniel S. Stevenson, MCNC (United States)

© SPIE. Terms of Use
Back to Top