CSSE 373 -- Formal Methods in Specification and Design

                               Quiz 20



Name:_________________________________________    Grade:______________


1. What, if any, are the advantages of having a separate sub-state
   diagram for system timing?





   What, if any, are the disadvantages?







2. What use might a common 'arrivedAt3' action be for modeling a lift
   system with statecharts?








3. Besides in-lift requests, what other "nearly identical" substates
   might you need for modeling a Lift system?











4. Define a guard predicate that might be useful on a transition from
   DoorClosed to DoorOpen.