Модели состояний UML: визуализация и примеры