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

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.