stringtranslate.com

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

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

Концепции

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

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

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

Основные возможности инструментов диаграммы состояний YAKINDU:

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

YAKINDU Statechart Tools предоставляет открытые API , позволяющие адаптироваться к конкретным требованиям в значительной степени. Генераторы кода не только расширяемы; разработчик также может указать свой собственный диалект statechart. Для этой цели определена концепция доменно-специфических statecharts. Это позволяет использовать statecharts как повторно используемые языковые модули.

История

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

Введение в профессиональную версию

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

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

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

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

Награда

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

Внешние ссылки

Ссылки

  1. ^ Нойманн, Александр (05 марта 2009 г.). «Инструменты для работы с диаграммами состояний для Eclipse-Lizez». Heise Developer (на немецком языке). Архивировано из оригинала 6 августа 2016 г. Проверено 17 июня 2016 г.
  2. ^ "YAKINDU Statechart Tools (YAKINDU SCT)". itemis AG . Получено 2018-01-11 .
  3. ^ "Улучшенная цепочка инструментов AUTOSAR с YAKINDU – Пример: Leopold Kostal GmbH & Co. KG". itemis AG . Архивировано из оригинала 2016-09-16 . Получено 2016-09-15 .
  4. ^ Stephane Maag (2013-05-23). ​​"Final Security Testing Techniques" (PDF, 3.91 MB) . DIAMONDS Consortium. Архивировано (PDF) из оригинала 2017-01-18 . Получено 2017-01-17 .
  5. ^ Марьям Рахманихерис; Юй Цзян; Луй Ша (2016-10-21). «Проектирование систем клинического руководства на основе моделей». arXiv : 1610.06895 [cs.CY].
  6. ^ Рафаэль Мота Грегорут (декабрь 2015 г.). "Синтез формальных свойств из тестовых случаев диаграммы состояний" (PDF) . Университет Сан-Паулу. Архивировано из оригинала (PDF, 1,35 МБ) 2017-01-17 . Получено 2017-01-17 .
  7. ^ Клаудия Пикоко; Валентин Рычков; Тунч Алдемир (ноябрь 2020 г.). "Структура для проверки моделей динамической вероятностной оценки риска" (PDF) . Надежность техники и безопасность систем . 203 . Получено 10 июля 2020 г. .
  8. ^ Харел, Дэвид (1984). "Statecharts: A Visual Formalism For Complex Systems" (PDF) . Science of Computer Programming . 8 (3). North Holland: 231–274. doi : 10.1016/0167-6423(87)90035-9 . Архивировано (PDF) из оригинала 2013-10-12.
  9. ^ OMG (февраль 2009 г.). "OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2". стр. 525. Архивировано из оригинала 2012-09-02 . Получено 2016-06-17 .
  10. ^ "Учебное пособие: Редактор диаграмм состояний с GMF erstellen" . Forschungsprojekt MDA для встраиваемых систем (на немецком языке). itemis AG , Инженерное бюро доктора Калерта, Nachrichtentechnik FH Dortmund. 16 июля 2008 г. Архивировано из оригинала 16 сентября 2016 г. Проверено 19 февраля 2013 г.
  11. ^ Terfloth, Axel (2017-07-18). "Introducing YAKINDU Statechart Tools 3.0 Standard Edition". itemis AG . Архивировано из оригинала 2018-01-13 . Получено 2018-01-12 .
  12. ^ Мюльдер, Андреас (2017-08-07). "YAKINDU Statechart Tools 3.0 Professional Edition – New and Noteworthy". itemis AG . Архивировано из оригинала 2018-01-13 . Получено 2018-01-12 .
  13. ^ "365 Орте: Люнен 2008" . Германия – Land der Ideen (на немецком языке). Германия – Land der Ideen Management GmbH. 05.03.2009. Архивировано из оригинала 31 июля 2016 г. Проверено 17 июня 2016 г.