Инструменты диаграммы состояний YAKINDU
 | |
 Инструменты диаграммы состояний YAKINDU, выполняющие диаграмму состояний в режиме моделирования | |
| Разработчик(и) | Команда YAKINDU в компании itemis AG |
|---|---|
| Первоначальный выпуск | 2008 год |
| Стабильная версия | 3.5.5 / 18 июня 2019 г |
| Написано в | Ява |
| Операционная система | Кроссплатформенность двоичные файлы для Microsoft Windows , Linux и macOS. , доступны |
| Платформа | Затмение |
| Доступно в | Английский |
| Лицензия | Собственная лицензия , части Eclipse Public License |
| Веб-сайт | www |
Инструменты диаграммы состояний YAKINDU (YAKINDU SCT) — это инструмент [1] для спецификации и разработки реактивных, управляемых событиями систем с помощью конечных автоматов . Он включает в себя инструмент для графического редактирования диаграмм состояний и обеспечивает проверку, моделирование и генераторы исходного кода для различных целевых платформ и языков программирования. Инструменты YAKINDU Statechart Tools доступны в стандартной и профессиональной версиях с бесплатными лицензиями для некоммерческих организаций. академическое использование. [2] Пользователи приходят из обеих отраслей [3] [4] и академические круги. [5] [6] [7]
Концепции
[ редактировать ]YAKINDU Statechart Tools реализует концепцию диаграмм состояний , изобретенную Дэвидом Харелом в 1984 году. [8] Диаграммы состояний были приняты UML позже. [9]
Программное обеспечение можно использовать для моделирования конечных автоматов . Важными теоретическими моделями конечных автоматов являются машины Мили и машины Мура . Инструменты YAKINDU Statechart Tools можно использовать для моделирования обоих этих типов.
Функциональность
[ редактировать ]Основными особенностями инструментов YAKINDU Statechart Tools являются:
- Умное сочетание текстового и графического моделирования
- Синтаксическая и семантическая проверка смоделированных конечных автоматов
- Исполняемые модели диаграмм состояний с помощью механизма моделирования
- Генераторы исходного кода для Java , C и C++ (а также генераторы исходного кода бета-состояния для Python, Swift и TypeScript), позволяющие интегрировать сгенерированные конечные автоматы в пользовательские приложения.
- Платформа тестирования SCTUnit
- Анализ покрытия (SCov)
Расширяемость
[ редактировать ]YAKINDU Statechart Tools предоставляет открытые API , позволяющие в значительной степени адаптироваться к конкретным требованиям. Генераторы кода не только расширяемы; разработчик также может указать свой собственный диалект диаграммы состояний. концепция диаграмм состояний , специфичных для предметной области Для этой цели определяется . Это позволяет использовать диаграммы состояний в качестве языковых модулей многократного использования.
История
[ редактировать ]Первая версия YAKINDU Statechart Tools была выпущена в 2008 году в рамках исследовательского проекта MDA для Embedded . [10] В этом исследовательском проекте были разработаны процессы разработки встраиваемых систем на основе моделей на основе проекта Eclipse. С середины 2010 года команда YAKINDU, состоящая в основном из сотрудников компании itemis AG из Люнен, Германия, работает над версией 2.0. Первая официальная версия была выпущена вместе с версией Eclipse Juno.
- Версия 2.9 совместима с версиями Eclipse 4.5 (Марс) и 4.6 (Неон). Начиная с этого выпуска, генераторы кода можно запускать из командной строки, соответственно. в системе непрерывной интеграции.
Введение профессионального издания
[ редактировать ]В декабре 2016 года itemвыпустила платную профессиональную версию программного обеспечения, предоставляющую дополнительные функции.
Изменение модели лицензирования
[ редактировать ]С выпуском 3.0 стандартной редакции [11] в июле и профессионального издания [12] В августе 2017 года компания itemis сменила модель лицензирования с модели открытого исходного кода на проприетарную модель лицензирования. Лицензии по-прежнему доступны бесплатно для некоммерческих пользователей стандартной версии. Студенты и преподаватели могут получить профессиональную версию бесплатно.
Последняя версия 2.9.3 YAKINDU Statechart Tools с открытым исходным кодом все еще доступна в репозитории YSCT на GitHub.
Премия
[ редактировать ]- Германия – Страна идей 2008: Разработка генеративного программного обеспечения на основе моделей для встраиваемых систем [13]
Литература и источники
[ редактировать ]- Мюлдер, Андреас; Нюсен, Александр (2011). «TMF встречается с GMF» (PDF) . Журнал Eclipse (на немецком языке) (3). Франкфурт-на-Майне: Software & Support Media GmbH: S. 74–78. ISSN 1861-2296 . Архивировано (PDF) из оригинала 11 августа 2016 г. Проверено 20 июня 2016 г.
- Мюлдер, Андреас; Унгер, Андреас (2012). «Якинду — это тоже город». Журнал Eclipse (на немецком языке) (3). Франкфурт-на-Майне: Software & Support Media GmbH. ISSN 1861-2296 .
- Александр Нюсен (2011). «TMF встречается с GMF – сочетание графического и текстового моделирования» (PDF) . EclipseCon Europe 2011. Архивировано из оригинала 8 августа 2016 г. Проверено 17 июня 2016 г.
- Нюсен, Александр; Терфлот, Аксель (2012). «YAKINDU SCT – Диаграммы состояний для конкретной предметной области» . EclipseCon 2012. Архивировано из оригинала 16 сентября 2016 г. Проверено 15 сентября 2012 г.
- Терфлот, Аксель (12 июля 2011 г.). «Разработка на основе моделей с помощью Yakindu Workbench: презентация на встрече сети BAIKEM Embedded Systems» (PDF) (на немецком языке). Бавария Инновационная. Архивировано (PDF) из оригинала 16 сентября 2016 г. Проверено 15 сентября 2016 г.
Внешние ссылки
[ редактировать ]Ссылки
[ редактировать ]- ^ Нойманн, Александр (05 марта 2009 г.). «itemis помещает инструменты диаграммы состояний под лицензию Eclipse» . Heise Developer (на немецком языке). Архивировано из оригинала 6 августа 2016 г. Проверено 17 июня 2016 г.
- ^ «Инструменты диаграммы состояний YAKINDU (YAKINDU SCT)» . товар AG . Проверено 11 января 2018 г.
- ^ «Улучшенная цепочка инструментов AUTOSAR с помощью YAKINDU – пример: Leopold Kostal GmbH & Co. KG» . товар AG . Архивировано из оригинала 16 сентября 2016 г. Проверено 15 сентября 2016 г.
- ^ Стефан Мааг (23 мая 2013 г.). «Окончательные методы тестирования безопасности» (PDF, 3,91 МБ) . Консорциум «АЛМАЗЫ». Архивировано (PDF) из оригинала 18 января 2017 г. Проверено 17 января 2017 г.
- ^ Марьям Рахманихерис; Ю Цзян; Луи Ша (21 октября 2016 г.). «Модельно-ориентированное проектирование систем клинического руководства». arXiv : 1610.06895 [ cs.CY ].
- ^ Рафаэль Мота Грерут (декабрь 2015 г.). «Синтез формальных свойств из тестовых примеров диаграммы состояний» (PDF) . Университет Сан-Паулу. Архивировано из оригинала (PDF, 1,35 МБ) 17 января 2017 г. Проверено 17 января 2017 г.
- ^ Клаудия Пикоко; Валентин Рычков; Тунч Альдемир (ноябрь 2020 г.). «Схема проверки моделей динамической вероятностной оценки рисков» (PDF) . Проектирование надежности и системная безопасность . 203 . Проверено 10 июля 2020 г.
- ^ Харель, Дэвид (1984). «Диаграммы состояний: визуальный формализм для сложных систем» (PDF) . Наука компьютерного программирования . 8 (3). Северная Голландия: 231–274. дои : 10.1016/0167-6423(87)90035-9 . Архивировано (PDF) из оригинала 12 октября 2013 г.
- ^ ОМГ (февраль 2009 г.). «Унифицированный язык моделирования OMG (OMG UML), надстройка версии 2.2» . п. 525. Архивировано из оригинала 2 сентября 2012 г. Проверено 17 июня 2016 г.
- ^ «Учебное пособие: Создание редактора диаграмм состояний с помощью GMF» . Исследовательский проект MDA для встраиваемых систем (на немецком языке). itemis AG , инженерное бюро Dr. Калерт, инженер связи Ф. Х. Дортмунд. 16 июля 2008 г. Архивировано из оригинала 16 сентября 2016 г. Проверено 19 февраля 2013 г.
- ^ Терфлот, Аксель (18 июля 2017 г.). «Представляем YAKINDU Statechart Tools 3.0 Standard Edition» . товар AG . Архивировано из оригинала 13 января 2018 г. Проверено 12 января 2018 г.
- ^ Мюлдер, Андреас (07 августа 2017 г.). «YAKINDU Statechart Tools 3.0 Professional Edition – новое и заслуживающее внимания» . товар AG . Архивировано из оригинала 13 января 2018 г. Проверено 12 января 2018 г.
- ^ «365 мест: Люнен 2008» . Германия – страна идей (на немецком языке). Германия – Land of Ideas Management GmbH. 05.03.2009. Архивировано из оригинала 31 июля 2016 г. Проверено 17 июня 2016 г.