Just-enough-time signaling protocol: formal description using extended finite state machine (EFSM)

• Autorzy: Zaim A. H.
• Języki publikacji: EN

Abstrakty

EN

In this study, we use an extended finite state machine (EFSM) model to describe just-enough-time (JET) signaling scheme running over a core DWDM (dense wavelength division multiplexing) network which utilizes optical burst switches (OBS). We apply an eight-tuple EFSM model. The state machines and transitions for a connection setup process between a source client node and a destination client node through an ingress and one or multiple intermediate switches are defined. We define some message channels for communication between the EFSMs

Słowa kluczowe

EN

just-enough-time; JET; extended finite state machine; EFSM; formal protocol description; optical burst switches; OBS

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: Optica Applicata
• Rocznik: 2003
• Tom: Vol. 33, nr 4
• Strony: 677--687
• Opis fizyczny: Bibliogr. 11 poz., rys.

Twórcy

autor

Zaim A. H.

• Istambul University of Computer Engineering, Avcilar, 34850 Istambul, Turkey,

Bibliografia

• [1] Bowman H., Blair G.S., Blair L., Chetwynd A.G., Computer Commun. 18 (1995), 964.
• [2] Holzmann G.J., IEEE Software 9 (1992), 17.
• [3] King P.W., IEEE Trans. Comp. 40 (1991), 387.
• [4] Turner K.J., The Use of Formal Methods in Communications Standards, [In] IEE Colloquium on 'Formal Methods Protocols’, IEE, London 1991, pp. 1/1-3.
• [5] Hansson H., Jonsson B., Orava F., Pehrson B., Formal Design of Communication Protocols, ISS’90.
• [6] Nail K., Sarikaya B., IEEE Software 9 (1992), 27.
• [7] Turner J.S., J. High Speed Net. 8 (1999), 3.
• [8] Yoo M., Qiao C., Just-enough-time (JET): A High Speed Protocol for Bursty Traffic in Optical Networks, IEEE/LEOS Tech. Global Info. Infra., August 1997, pp. 26-27.
• [9] Qiao C., Yoo M., J. High Speed Net. 8 (1999), 69.
• [10] Yoo M., Qiao C., Dixit S., JSAC 18 (2000), 2062.
• [11] Baldine I., Rouskas G.N., Perros H.G., Stevenson D., IEEE Commun. Magazine 40 (2002), 82.