Online Store Application Design  -  continue

 

 

                          Finite State Machine for Store IC

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S₁₀ : initial state. Upon receiving “ Search for Availability” message, it will

        change to S₁₁.

 

S₁₁ : At this state, action performed is to search its’ database to see whether the order is available or not. Outputs search results to

       both company IC and store IC.

 

S₁₂ : When receives “Available” message, it changes from S₁₁ to S₁₂. If the order is not available, it returns to the initial state.

 

S₁₃ : At S₁₂ state, it will change to S₁₃ upon receiving “deliver” message. Action performed is to deliver the order to the customer IC.

        Outputs “ Already Deliver” to the company IC.