Vol. 33, Issue 4, pp. 677-687
Keywords
just-enough-time (JET), extended finite state machine (EFSM), formal protocol description, optical burst switches (OBS)
Abstract
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.