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

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

doi:10.1117/1.1533795

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

Abdul Halim Zaim^*, Ilia Baldine, Mark Cassada, George N. Rouskas, Harry G. Perros, Daniel Stevenson

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

36 Citations (Scopus)

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.

Original language	English
Pages (from-to)	568-585
Number of pages	18
Journal	Optical Engineering
Volume	42
Issue number	2
DOIs	https://doi.org/10.1117/1.1533795
Publication status	Published - Feb 2003
Externally published	Yes

Keywords

Extended finite state machines
Formal protocol description
Just-in-time signaling protocol
Optical burst switches

Access to Document

10.1117/1.1533795

Cite this

@article{ebb1b963d4ba4fc2847b79700e50be77,

title = "Jumpstart just-in-time signaling protocol: A formal description using extended finite state machines",

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.",

keywords = "Extended finite state machines, Formal protocol description, Just-in-time signaling protocol, Optical burst switches",

author = "Zaim, \{Abdul Halim\} and Ilia Baldine and Mark Cassada and Rouskas, \{George N.\} and Perros, \{Harry G.\} and Daniel Stevenson",

year = "2003",

month = feb,

doi = "10.1117/1.1533795",

language = "English",

volume = "42",

pages = "568--585",

journal = "Optical Engineering",

issn = "0091-3286",

publisher = "SPIE",

number = "2",

}

TY - JOUR

T1 - Jumpstart just-in-time signaling protocol

T2 - A formal description using extended finite state machines

AU - Zaim, Abdul Halim

AU - Baldine, Ilia

AU - Cassada, Mark

AU - Rouskas, George N.

AU - Perros, Harry G.

AU - Stevenson, Daniel

PY - 2003/2

Y1 - 2003/2

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

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

KW - Extended finite state machines

KW - Formal protocol description

KW - Just-in-time signaling protocol

KW - Optical burst switches

UR - https://www.scopus.com/pages/publications/0037302104

U2 - 10.1117/1.1533795

DO - 10.1117/1.1533795

M3 - Article

AN - SCOPUS:0037302104

SN - 0091-3286

VL - 42

SP - 568

EP - 585

JO - Optical Engineering

JF - Optical Engineering

IS - 2

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this