Slide 1State Charts Mehran Najafi Slide 2 Reactive Systems A reactive, event-driven, object is one whose behavior is best characterized by its response to events dispatched…