Инструменты диаграммы состояний YAKINDU - YAKINDU Statechart Tools

Инструменты диаграммы состояний YAKINDU
Логотип YAKINDU Statechart Tools
Инструменты диаграммы состояний YAKINDU, выполняющие диаграмму состояний в режиме симуляции
Инструменты диаграммы состояний YAKINDU, выполняющие диаграмму состояний в режиме симуляции
Разработчики)Команда ЯКИНДУ на itemis AG
изначальный выпуск2008; 12 лет назад (2008)
Стабильный выпуск
3.5.5 / 18 июня 2019; 17 месяцев назад (2019-06-18)
Написано вЯва
Операционная системаКроссплатформенность, двоичные файлы для Майкрософт Виндоус, Linux и macOS имеется в наличии
ПлатформаЗатмение
Доступно ванглийский
ЛицензияПроприетарный, части Общественная лицензия Eclipse
Интернет сайтhttps://www.itemis.com/en/yakindu/statechart-tools/

Инструменты диаграммы состояний YAKINDU (YAKINDU SCT) это инструмент[1] для спецификации и разработки реактивных, событийно-управляемых систем с помощью конечные автоматы. Он состоит из простого в использовании инструмента для графического редактирования диаграмм состояний и предоставляет генераторы проверки, моделирования и исходного кода для различных целевых платформ и языков программирования. Инструменты диаграммы состояний YAKINDU доступны как стандартная и профессиональная версия с бесплатными лицензиями для некоммерческих или некоммерческих организаций. академическое использование.[2] Пользователи приходят из обеих отраслей[3][4] и академические круги.[5][6][7]

Концепции

Инструменты диаграммы состояний YAKINDU реализуют концепцию диаграммы состояний как изобретено Дэвид Харел в 1984 г.[8]Диаграммы состояний были приняты UML потом.[9]

Программное обеспечение можно использовать для моделирования конечные автоматы. Важными теоретическими моделями конечных автоматов являются: Мучные машины и Машины Мура. Инструменты диаграммы состояний YAKINDU могут использоваться для моделирования обоих этих типов.

Функциональность

Основные особенности YAKINDU Statechart Tools:

  • умное сочетание текстового и графического моделирования
  • синтаксическая и семантическая проверка смоделированных государственные машины
  • исполняемые модели диаграммы состояний с помощью механизма моделирования
  • генераторы исходного кода для Ява, C, и C ++ (плюс генераторы исходного кода бета-состояния для Python, Swift и TypeScript), позволяющие интегрировать сгенерированные конечные автоматы в пользовательские приложения
  • фреймворк для тестирования SCTUnit
  • анализ покрытия (SCov)

Расширяемость

Инструменты диаграммы состояний YAKINDU предоставляют открытые API, позволяя в значительной степени адаптироваться к конкретным требованиям. Расширяются не только генераторы кода; разработчик также может указать свой собственный диалект диаграммы состояний. Для этого концепция специфичный для домена диаграммы состояний определены. Это позволяет использовать диаграммы состояний как многоразовые языковые модули.

История

Первая версия YAKINDU Statechart Tools была выпущена в 2008 году в рамках исследовательского проекта. MDA для встроенных.[10] В этом исследовательском проекте были разработаны процессы разработки на основе моделей для разработки встроенных систем на основе проекта Eclipse. С середины 2010 года команда YAKINDU, состоящая в основном из сотрудников itemis AG, компания из Люнена, Германия, работает над версией 2.0. Первая официальная версия была выпущена вместе с Затмение версия Юнона.

  • Выпуск 2.9 совместим с Eclipse версий 4.5 (Mars) и 4.6 (Neon). Начиная с этого выпуска, можно запускать генераторы кода из командной строки, соответственно. в системе непрерывной интеграции.

Внедрение профессионального издания

В декабре 2016 г. предмет выпустила профессиональную версию программного обеспечения за дополнительную плату, предоставляя дополнительные функции:

  • Полная интеграция с Язык программирования C
  • Расширенные возможности для моделирования диаграмм состояний (точки останова, моментальные снимки)

Изменение модели лицензирования

С выпуском 3.0 стандартной редакции[11] в июле и профессионального издания[12] в августе 2017 г., предмет изменил лицензирование с Открытый исходный код к модели проприетарной лицензии. Лицензии по-прежнему доступны бесплатно для некоммерческих пользователей стандартной версии. Академические пользователи могут получить профессиональную версию бесплатно.

Последняя версия 2.9.3 с открытым исходным кодом YAKINDU Statechart Tools все еще доступна в репозитории YSCT на GitHub.

Награда

  • Германия - Страна идей 2008: Разработка генеративного программного обеспечения на основе моделей для встроенных систем[13]

Литература и источники

  • Мюльдер, Андреас; Ниссен, Александр (2011). «Хвостохранилище встречает GMF» (PDF). Eclipse Magazin (на немецком). Франкфурт-на-Майне: Software & Support Media GmbH (№ 3): S. 74–78. ISSN  1861-2296. Архивировано из оригинал (PDF) на 2016-06-20. Получено 2016-06-20.
  • Мюльдер, Андреас; Унгер, Андреас (2012). "Yakindu ist auch eine Stadt". Eclipse Magazin (на немецком). Франкфурт-на-Майне: Software & Support Media GmbH (№ 3). ISSN  1861-2296.
  • Александр Ниссен (2011). «TMF встречает GMF - сочетание графического и текстового моделирования». EclipseCon Europe 2011. Архивировано с оригинал (PDF) на 2016-06-17. Получено 2016-06-17.
  • Ниссен, Александр; Терфлот, Аксель (2012). "YAKINDU SCT - Диаграммы состояний для конкретных доменов". EclipseCon 2012. Архивировано с оригинал на 2016-09-15. Получено 2012-09-15.
  • Терфлот, Аксель (12.07.2011). "Modellgetriebene Entwicklung mit der Yakindu Workbench: Vortrag auf dem BAIKEM Netzwerktreffen Embedded Systems" (PDF) (на немецком). Бавария Инноватив. Архивировано из оригинал (PDF) на 2016-09-15. Получено 2016-09-15.

внешняя ссылка

Рекомендации

  1. ^ Нойман, Александр (2009-03-05). "itemis stellt Statechart-Tools unter die Eclipse-Lizenz". Разработчик Heise (на немецком). Архивировано из оригинал на 2016-06-17. Получено 2016-06-17.
  2. ^ "Инструменты диаграммы состояний YAKINDU (YAKINDU SCT)". itemis AG. Получено 2018-01-11.
  3. ^ «Улучшенная цепочка инструментов AUTOSAR с YAKINDU - Пример использования: Leopold Kostal GmbH & Co. KG». itemis AG. Архивировано из оригинал на 2016-09-15. Получено 2016-09-15.
  4. ^ Стефан Мааг (23.05.2013). «Методы окончательного тестирования безопасности» (PDF). DIAMONDS Консорциум. Архивировано из оригинал (PDF, 3,91 МБ) на 2017-01-17. Получено 2017-01-17.
  5. ^ Марьям Рахманихерис; Ю Цзян; Луи Ша (21.10.2016). «Модельно-ориентированный дизайн систем клинического руководства». Университет Иллинойса. arXiv:1610.06895. Bibcode:2016arXiv161006895R. Цитировать журнал требует | журнал = (помощь)
  6. ^ Рафаэль Мота Грегорут (декабрь 2015 г.). «Синтез формальных свойств из тестовых случаев диаграммы состояний» (PDF). Университет Сан-Паулу. Архивировано из оригинал (PDF, 1,35 МБ) на 2017-01-17. Получено 2017-01-17.
  7. ^ Клаудиа Пикоко; Валентин Рычков; Тунч Алдемир (ноябрь 2020 г.). «Структура для проверки моделей динамической вероятностной оценки рисков» (PDF). Надежность и безопасность системы. 203. Получено 2020-07-10.
  8. ^ Харел, Дэвид (1984). «Диаграммы состояний: визуальный формализм для сложных систем» (PDF). Наука компьютерного программирования. Северная Голландия. 8 (3): 231–274. Дои:10.1016/0167-6423(87)90035-9. В архиве (PDF) из оригинала 2013-10-12.
  9. ^ OMG (февраль 2009 г.). "Унифицированный язык моделирования OMG (OMG UML), версия надстройки 2.2". п. 525. Архивировано с оригинал на 2012-08-13. Получено 2016-06-17.
  10. ^ "Учебное пособие: редактор диаграмм состояний с GMF erstellen". Forschungsprojekt MDA для встраиваемых систем (на немецком). itemis AG, Ingenieurbüro Dr. Kahlert, Nachrichtentechnik FH Dortmund. 2008-07-16. Архивировано из оригинал на 2016-06-17. Получено 2013-02-19.
  11. ^ Терфлот, Аксель (18.07.2017). «Представляем стандартную версию YAKINDU Statechart Tools 3.0». itemis AG. В архиве из оригинала на 2018-01-12. Получено 2018-01-12.
  12. ^ Мюльдер, Андреас (2017-08-07). "YAKINDU Statechart Tools 3.0 Professional Edition - Новое и заслуживающее внимания". itemis AG. В архиве из оригинала на 2018-01-12. Получено 2018-01-12.
  13. ^ "365 Orte: Lünen 2008". Deutschland - Land der Ideen (на немецком). Deutschland - Land der Ideen Management GmbH. 2009-03-05. Архивировано из оригинал на 2016-06-17. Получено 2016-06-17.