State Machines

Model the class logic with state machines (state charts)

Select a class from model.

  • Check out first that interface and messages are complete for that class, complete them if not.
  • Messages defined in interface are forming the inputs (events) for the state machine of the class.
  • Think what are the steps (states) in the class behaviour.
  • Model the class behaviour with states and transitions.
    • Use send specification also
Last modified: 2013/07/01 14:42