Visual Graphical Interpreted Language for Discrete Modeling DLAA

Abstract

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.

Keywords

• dlaa
• digital twin
• industry 4.0
• graphical modeling language
• automata theory
• discrete event modeling
• finite state machines
• automata simulation
• cyber-physical systems
• state transition diagrams
• system modeling
• industrial automation