Бесплатный набор инструментов с открытым исходным кодом YAKINDU Statechart Tools (SCT) предоставляет интегрированную среду моделирования для спецификации и разработки реактивных систем, управляемых событиями, на основе концепции диаграмм состояний.
Редактирование
Yakindu Statechart Tools (SCT) представляет собой интуитивно понятное сочетание графической и текстовой записи. Хотя состояния, переходы и иерархии состояний являются графическими элементами, все объявления и действия задаются с использованием текстовых обозначений. Удобство использования редактора диаграмм состояний оптимизировано для работы с этими диаграммами состояний.
Проверка
Проверка диаграмм состояний включает проверку синтаксиса и семантики полной диаграммы состояний. Примерами проверок являются обнаружение недостижимых состояний, тупиков и ссылок на неизвестные события. Эти ограничения проверки проверяются в реальном времени во время редактирования.
Моделирование
В дополнение к структурной проверке решающее значение имеет проверка динамической семантики. Невозможно определить правильность диаграммы состояний только путем визуального осмотра. Таким образом, пользователь должен иметь возможность запускать диаграммы состояний, над которыми он работает. Интегрированный механизм моделирования диаграмм состояний удовлетворяет эти потребности. Пользователь может выполнять диаграммы состояний непосредственно в среде моделирования. Активные состояния непосредственно выделяются в редакторе диаграмм состояний, а специальная перспектива моделирования обеспечивает доступ к элементам управления выполнением (запуск, остановка, пауза, возобновление), проверке и настройке переменных, а также к возникновению событий.
Генерация кода
Yakindu Statechart Tools (SCT) включает генераторы кода для Java, C и C++. Генераторы кода используют подход «только код» и не полагаются на какую-либо дополнительную библиотеку времени выполнения. Сгенерированный код обеспечивает четко определенный интерфейс и может быть легко интегрирован с любым клиентским кодом. Сгенерированный код также удобочитаем и структурирован таким образом, что позволяет очень эффективно