current state and event and predicate => next state
An example of a scenario for the "student" class of the online test system.
An example of dynamic model for the "student" class of the online test system.
