Visual Graphical Interpreted Language for Discrete Modeling DLAA

Статья посвящена разработке визуального графического языка диаграмм состояний и переходов конечных автоматов специального вида (DLAA), предназначенного для структурированного описания конфигурации и поведения дискретно-событийных систем. Приводится анализ известных графических языков, определённых на основе конечных автоматов, таких, как диаграммы Мура, диаграммы состояний Харела, диаграммы конечных автоматов языков SysMLи UML, методология автоматного программирования А.А. Шалыто, формализм DEVS. Описан формализм, представляющий собой предметно-ориентированное расширение конечного автомата Мили, на основе которого разработан визуальный графический язык DLAA, ориентированный на спецификацию реактивного поведения системных моделей. Далее рассмотрено расширение конструкций данного языка введением в них семантических функций, называемых, следуя языку SysML, активностями. Реализуемые средствами базового языка программирования активности служит целям погружение языка DLAA в среду программирования базового языка. Описаны особенности реализации языка DLAA как средства, обогащающего базовый язык (в данном случае C#) возможностями спецификации поведенческих аспектов динамических систем. Кратко рассмотрен состав и назначение основных инструментальных средств для автоматизации процесса создания цифровых моделей на основе языка DLAA, включая симулятор, графический редактор, метатранслятор с метаязыка на базовый язык. The article is devoted to the development of a visual graphical language (DLAA) of state diagrams of special-purpose finite state machines (FSM) intended for structured description of configuration and behavior of discrete-event systems. The article provides an analysis of known graphical languages defined on the basis of FSM, such as Moore diagrams, Harel state diagrams, SysML and UML FSM, A.A. Shalyto's automata-based programming methodology, and the DEVS formalism. The article describes a formalism that is a domain-specific extension of the Mealy finite automaton, on the basis of which the DLAA visual graphical language has been developed, aimed at specifying the reactive behavior of system models. Further, the article considers the expansion of the constructs of language DLAA by introducing semantic functions into them, called activities, following the SysML language. Activities implemented by means of the base programming language serve the purpose of immersing the language DLAA into the programming environment of the base language. The article describes the features of the DLAA language implementation as a means of enriching the base language (in this case, C#) with the capabilities of specifying the behavioral aspects of dynamic systems. The composition and purpose of the main tools for automating the process of creating digital models based on the DLAA language are briefly considered. The basic set of such tools includes a simulator, a graphical editor, and a metatranslator from the metalanguage to the base language.

Abstract licence: CC BY

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.