Бесплатный инструментарий с открытым исходным кодом YAKINDU Statechart Tools
(SCT) предоставляет интегрированную среду моделирования для спецификации и
разработки реактивных систем, управляемых событиями, на основе концепции
диаграмм состояний.

редактирование
Yakindu Statechart Tools (SCT) представляет собой интуитивно понятную
комбинацию графической и текстовой записи. Хотя состояния, переходы и иерархии
состояний являются графическими элементами, все объявления и действия
указываются в текстовой записи. Удобство использования редактора диаграмм
состояний оптимизировано для работы с этими диаграммами состояний.

Проверка
Проверка диаграмм состояний включает синтаксические и семантические проверки
полной диаграммы состояний. Примерами проверок являются обнаружение
недоступных состояний, тупиков и ссылок на неизвестные события. Эти
проверочные ограничения проверяются в режиме реального времени во время
редактирования.

моделирование
В дополнение к структурной проверке, проверка динамической семантики имеет
решающее значение. Невозможно определить правильность диаграммы состояний
только визуальным осмотром. Таким образом, пользователь должен иметь
возможность выполнять диаграммы состояний, над которыми он работает.
Встроенный механизм моделирования диаграмм состояний отвечает этим
требованиям. Пользователь может выполнять диаграммы состояний непосредственно
в среде моделирования. Активные состояния непосредственно выделяются в
редакторе диаграмм состояний, а специальная перспектива симуляции обеспечивает
доступ к элементам управления выполнением (запуск, остановка, пауза,
возобновление), проверке и настройке переменных, а также возникновению
событий.

Генерация кода
Yakindu Statechart Tools (SCT) включает в себя генераторы кода для Java, C и C
++. Генераторы кода следуют подходу «только код» и не полагаются на какую-либо
дополнительную библиотеку времени выполнения. Сгенерированный код обеспечивает
четко определенный интерфейс и может быть легко интегрирован с любым
клиентским кодом. Сгенерированный код также удобочитаем и структурирован таким
образом, чтобы