3. THE QUEUEING MODEL
The queueing model proposed in this paper is
intended for investigating the performance of OS1
RPC implementations on the client side. It is based
on a finite state machine (FSM) description of the
OS1 RPC protocol behaviour. The overall
behaviour of the client OS1 RPC protocol machine
can be described by an FSM that has 16 states and
18 transitions between these states. The operation
of the FSM is event-driven. On receipt of an input
event, the FSM will perform an action, produce an
output event and move to a new state from its
current state.
An FSM can be represented by a state diagram that
consists of vertices and directed edges. The vertices
represent the states of the FSM and the directed
edges represent the transitions between the states.
Figure 1 shows a state diagram that represents the