Диаграмма состояний (UML)

Диаграмма состояний — это, по существу, диаграмма состояний из теории автоматов со стандартизированными условными обозначениями^{[1] [2]}, которая может определять множество систем от компьютерных программ до бизнес-процессов. Используются следующие условные обозначения:

• Круг, обозначающий начальное состояние.
• Окружность с маленьким кругом внутри, обозначающая конечное состояние (если есть).
• Скруглённый прямоугольник, обозначающий состояние. Верхушка прямоугольника содержит название состояния. В середине может быть горизонтальная линия, под которой записываются активности, происходящие в данном состоянии.
• Стрелка, обозначающая переход. Название события (если есть), вызывающего переход, отмечается рядом со стрелкой. Охраняющее выражение может быть добавлено перед «/» и заключено в квадратные скобки (название_события[охраняющее_выражение]), что значит, что это выражение должно быть истинным, чтобы переход имел место. Если при переходе производится какое-то действие, то оно добавляется после «/» (название_события[охраняющее_выражение]/действие).
• Толстая горизонтальная линия с либо множеством входящих линий и одной выходящей, либо одной входящей линией и множеством выходящих. Это обозначает объединение и разветвление соответственно.

• Конечный автомат

• Current UML Specification by Object Management Group (OMG)
• Introduction to UML 2 Sequence Diagrams by Scott W. Ambler.
• A Quick Introduction to UML Sequence Diagrams by Yanic Inghelbrecht
• UML 2 State Machine Diagrams
• WebSequenceDiagrams online service for easy text-based diagrams creating
• https://dgrm.net/ - online редактор диаграмм

int main()
{
  printf("Hi");
  return 0;
}