Domain Understanding and Modeling

Week 8 - Statechart diagram

  • Purpose of Statechart diagram
  • Notation
  • Consistency
  • Statechart diagram as specification of control process in DFD


Slides in English:

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/PA116/um/en/DUM_09_STATE.pdf


Recorded lecture in Czech:

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/PA116/um/vi/86085490/


Recorded lecture in English:

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/PA116/um/vi/120520552/


Seminar briefing in English:

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2024/PA116/um/seminar_briefings/UML_Statemachine_diagram___CDFD.mp4


Seminar task:

  1. Choose one class that changes its behavior in a non-trivial manner and create a statechart diagram for it  [3 pts]



Consistency checklist

Internal consistency:

  • All states included?
  • All states reachable?
  • No dead-ends?
  • All transitions specified (condition & action) ?


External consistency:

  • Class name = class name in class diagram
  • external triggers causing change of state should be identifiable in event partitioning list
  • internal triggers should be identifiable in DFD



Further reading

The notation is rich, if interested, check the following link:


https://www.uml-diagrams.org/state-machine-diagrams.html