Online Store Application Design  -  continue

 

 

From the description of the IC cards, we come up with the finite state machine for each IC.

 

 

                             Finite State Machine for Company IC

  

 

 

 

 

 

 

 

 

 

 

 

 

Explanations:

 

S₀₀ : initial state. When it receives order information from the customer, it changes to S₀₁.

 

S₀₁ : Action performed is to add the order to its’ records. Outputs “search for availability” message to the store IC.

 

S₀₂ : When receives “Available” message at S₀₁, it will change to state S₀₂. Action performed is to determine which store should

       deliver the order. Output “deliver” message to the selected store. Outputs “ Order Available” message to the customer IC.

 

S₀₃ : When receives “ Already Delivered” message from the store IC, it will change from S₀₂ to S_03.  Action performed at this state is

        to delete the order from the recorders and to charge customer’s credit card.

 

S₀₄ : When receives “ Not Available” message at S_01, it will change from S₀₁ to S₀₄. Action performed is to delete the order in the

        Records. Outputs “Order Not Available” message to the customer IC.