Визуальный графический интерпретируемый язык дискретного моделирования DLAA
Аннотация
Статья посвящена разработке визуального графического языка диаграмм состояний и переходов конечных автоматов специального вида (DLAA), предназначенного для структурированного описания конфигурации и поведения дискретно-событийных систем. Приводится анализ известных графических языков, определённых на основе конечных автоматов, таких, как диаграммы Мура, диаграммы состояний Харела, диаграммы конечных автоматов языков SysML и UML, методология автоматного программирования А.А. Шалыто, формализм DEVS. Описан формализм, представляющий собой предметно-ориентированное расширение конечного автомата Мили, на основе которого разработан визуальный графический язык DLAA, ориентированный на спецификацию реактивного поведения системных моделей. Далее рассмотрено расширение конструкций данного языка введением в них семантических функций, называемых, следуя языку SysML, активностями. Реализуемые средствами базового языка программирования активности служит целям погружение языка DLAA в среду программирования базового языка. Описаны особенности реализации языка DLAA как средства, обогащающего базовый язык (в данном случае C#) возможностями спецификации поведенческих аспектов динамических систем. Кратко рассмотрен состав и назначение основных инструментальных средств для автоматизации процесса создания цифровых моделей на основе языка DLAA, включая симулятор, графический редактор, метатранслятор с метаязыка на базовый язык.
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.
Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.
