UML Диаграммы: Конечные автоматы и состояния