Share Email Print
cover

Proceedings Paper

Formal description of the jumpstart just-in-time signaling protocol using EFSM
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 $14.40 $18.00

Paper Abstract

We present a formal protocol description for a Just-In-Time (JIT) signaling scheme running over a core dWDM network which utilizes Optical Burst Switches (OBS). 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 worked on single burst connections that means setting up the connection just before sending a single burst and then closing the connection as soon as the burst is sent. The communication between the EFSMs is handled through message transfer between protocol entities.

Paper Details

Date Published: 3 July 2002
PDF: 14 pages
Proc. SPIE 4874, OptiComm 2002: Optical Networking and Communications, (3 July 2002); doi: 10.1117/12.475294
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)


Published in SPIE Proceedings Vol. 4874:
OptiComm 2002: Optical Networking and Communications
Nasir Ghani; Krishna M. Sivalingam, Editor(s)

© SPIE. Terms of Use
Back to Top