Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/spie/jumpstart-just-in-time-signaling-protocol-a-formal-description-using-DlT0jn0J0B
References (15)
-
K. Turner (1991)
The use of formal methods in communications standards -
Myungsik Yoo, Myoungki Jeong, C. Qiao (1997)
High-speed protocol for bursty traffic in optical networks, 3230
-
C. Qiao, Myungsik Yoo (1999)
Optical burst switching (OBS) - a new paradigm for an Optical Internet^{1}J. High Speed Networks, 8
-
E. Gunawan, T. Tong, S. Nansi (1993)
Survey of formal description techniques (FDTs) for protocol converter designProceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation, 1
-
Myungsik Yoo, C. Qiao, S. Dixit (2000)
QoS performance of optical burst switching in IP-over-WDM networksIEEE Journal on Selected Areas in Communications, 18
-
S. Naik, B. Sarikaya (1992)
Testing communication protocolsIEEE Software, 9
-
Paul King (1991)
Formalization of Protocol Engineering ConceptsIEEE Trans. Computers, 40
-
H. Bowman, G. Blair, L. Blair, A. Chetwynd (1995)
Formal description of distributed multimedia systems: an assessment of potential techniquesComput. Commun., 18
-
R. Lai (2002)
A survey of communication protocol testingJ. Syst. Softw., 62
-
G. Holzmann (1992)
Protocol design: redefining the state of the artIEEE Software, 9
-
I. Baldine, H. Perros, G. Rouskas, D. Stevenson (2002)
JumpStart: a just-in-time signaling architecture for WDM burst-switched networksIEEE/LEOS Summer Topi All-Optical Networking: Existing and Emerging Architecture and Applications/Dynamic Enablers of Next-Generation Optical Communications Systems/Fast Optical Processing in Optical
-
J. Turner (1999)
Terabit burst switchingJ. High Speed Networks, 8
-
D. Sidhu, Ting-Kau Leung (1989)
Formal Methods for Protocol Testing: A Detailed StudyIEEE Trans. Software Eng., 15
-
John Wei, Ray McFarland (2000)
Just-in-time signaling for WDM optical burst switching networksJournal of Lightwave Technology, 18
-
H. Hansson, B. Jonsson, F. Orava, B. Pehrson (1990)
Formal design of communication protocolsInternational Symposium on Switching, 4
- Publisher
- SPIE
- Copyright
- Copyright © 2003 Society of Photo-Optical Instrumentation Engineers
- ISSN
- 0091-3286
- eISSN
- 1560-2303
- DOI
- 10.1117/1.1533795
- Publisher site
- See Article on Publisher Site
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. © 2003 Society of Photo-Optical Instrumentation Engineers.
Journal
Optical Engineering – SPIE
Published: Feb 1, 2003
Keywords: extended finite state machines; optical burst switches; just-in-time signaling protocol; formal protocol description