Formal description of the jumpstart just-in-time signaling protocol using EFSM

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

doi:10.1117/12.475294

3 July 2002 Formal description of the jumpstart just-in-time signaling protocol using EFSM

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

Proceedings Volume 4874, OptiComm 2002: Optical Networking and Communications; (2002) https://doi.org/10.1117/12.475294
Event: ITCom 2002: The Convergence of Information Technologies and Communications, 2002, Boston, MA, United States

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.

Citation Download Citation

A. Halim Zaim, Ilia Baldine, Mark Cassada, George N. Rouskas, Harry G. Perros, and Daniel S. Stevenson "Formal description of the jumpstart just-in-time signaling protocol using EFSM", Proc. SPIE 4874, OptiComm 2002: Optical Networking and Communications, (3 July 2002); https://doi.org/10.1117/12.475294

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