Visual Graphical Interpreted Language for Discrete Modeling DLAA

DOI: https://doi.org/10.25559/SITITO.021.202501.76-89

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.

Author Biographies

Dmitry Antonovich Gapanovich, Lomonosov Moscow State University

Lead Software Developer of the Open Information Technologies Lab, Department of Information Security, Faculty of Computational Mathematics and Cybernetics

Vladimir Alexandrovich Sukhomlin, Lomonosov Moscow State University; Federal Research Center "Computer Science and Control" of Russian Academy of Sciences

Head of the Open Information Technologies Lab, Department of Information Security, Faculty of Computational Mathematics and Cybernetics; Leading Researcher of the Institute of Informatics Problems of the Russian Academy of Sciences, Dr. Sci. (Tech.), Professor

References

1. Gapanovich D.A., Sukhomlin V.A. Tools for Constructing Production Digital Twin Models Based on an Algebraic Approach and a Graphical State Language Extended by Functional and Operational Semantics. In: Balandin D., Barkalov K., Meyerov I. (eds.) Mathematical Modeling and Supercomputer Technologies. MMST 2024. Communications in Computer and Information Science. Vol. 2363. Cham: Springer; 2025. p. 3-16. https://doi.org/10.1007/978-3-031-80457-1_1
2. Gapanovich D.A., Tarasova V.A., Sukhomlin V.A., Kupriyanovsky V.P. Analysis of Approaches to the Architectural Design of Digital Twins. International Journal of Open Information Technologies. 2022;10(4):71-83. (In Russ., abstract in Eng.) EDN: ATNRSF
3. Grieves M., Vickers J. Digital Twin: Mitigating Unpredictable, Undesirable Emergent Behavior in Complex Systems. In: Kahlen J., Flumerfelt S., Alves A. (eds.) Transdisciplinary Perspectives on Complex Systems. Cham: Springer; 2017. p. 85-113. https://doi.org/10.1007/978-3-319-38756-7_4
4. Lim K.Y.H., Zheng P., Chen C.H. A state-of-the-art survey of Digital Twin: techniques, engineering product lifecycle management and business innovation perspectives. Journal of Intelligent Manufacturing. 2020;31(6):1313-1337. https://doi.org/10.1007/s10845-019-01512-w
5. Nele L., Mattera G., Yap E.W. et al. Towards the application of machine learning in digital twin technology: a multi-scale review. Discover Applied Sciences. 2024;6:502. https://doi.org/10.1007/s42452-024-06206-4
6. Cheng Y., Yongping Z., Ping J., Wenjun X., Zude Z., Tao F. Cyber-physical integration for moving digital factories forward towards smart manufacturing: a survey. International Journal of Advanced Manufacturing Technology. 2018;97(1-4):1209-1221. https://doi.org/10.1007/s00170-018-2001-2
7. Kupriyanovsky V., Namiot D., Sinyagov S. Cyber-Physical Systems as a Base for Digital Economy. International Journal of Open Information Technologies. 2016;4(2):18-25. (In Russ., abstract in Eng.) EDN: VKCXLH
8. Liu Y., Peng Y., Wang B., Yao S., Liu Z. Review on cyber-physical systems. IEEE/CAA Journal of Automatica Sinica. 2017;4(1):27-40. https://doi.org/10.1109/JAS.2017.7510349
9. Gapanovich D.A., Sukhomlin V.A. Algebra of Finite Automata as a Mathematical Model of the Digital Twin of Smart Production. Modern Information Technologies and IT-Education. 2022;18(2):353-366. (In Russ., abstract in Eng.) https://doi.org/10.25559/SITITO.18.202202.353-366
10. Gapanovich D.A., Sukhomlin V.A. Modeling the Functioning of the Mine Using the Algebra of Finite Automata DTA. Modern Information Technologies and IT-Education. 2022;18(3):634-643. (In Russ., abstract in Eng.) https://doi.org/10.25559/SITITO.18.202203.634-643
11. Sukhomlin V.A., Namiot D.E., Gapanovich D.A. Analysis of Development Trends of New Generation Digital Twins. International Journal of Open Information Technologies. 2024;12(7):119-130. (In Russ., abstract in Eng.) EDN: YFCLIS
12. Glushkov V.M. The abstract theory of automata. Russian Mathematical Surveys. 1961;16(5):1-53.
13. Wymore A.W. Model-Based Systems Engineering. Boca Raton: FL CRC Press, Inc.; 2018. 710 p. https://doi.org/10.1201/9780203746936
14. Ören T., Zeigler B.P. System theoretic foundations of modeling and simulation: a historic perspective and the legacy of A Wayne Wymore. Simulation. 2012;88(9):1033-1046. https://doi.org/10.1177/0037549712450360
15. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming. 1987;8(3):231-274. https://doi.org/10.1016/0167-6423(87)90035-9
16. Kanzhelev S.Yu., Shalyto A.A. Automatic generation of automaton code. Information and Control Systems. 2006;(6):35-42. (In Russ., abstract in Eng.) EDN: IBLVLH
17. Friedenthal S., Moore A., Steiner R. A Practical Guide to SysML. Third Edition: The Systems Modeling Language. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc.; 2014. 630 p.
18. André É., Liu S., Liu Y., Choppy C., Sun J., Dong J.S. Formalizing UML State Machines for Automated Verification A Survey. ACM Computing Surveys. 2023;55(13s):277. https://doi.org/10.1145/3579821
19. Bouwman M., Luttik B., van der Wal D. A Formalisation of SysML State Machines in mCRL2. In: Peters K., Willemse T.A.C. (eds.) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2021. Lecture Notes in Computer Science. Vol. 12719. Cham: Springer; 2021. p. 42-59. https://doi.org/10.1007/978-3-030-78089-0_3
20. Al-Fedaghi S. Modeling the Semantics of States and State Machines. Journal of Computer Science. 2020;16(7):891-905. https://doi.org/10.3844/jcssp.2020.891.905
21. Zeigler B.P., Praehofer H., Kim T.G. Theory of Modeling and Simulation. 2nd ed. Academic Press; 2000. 510 p.
22. Wainer G.A. Discrete-Event Modeling and Simulation: A Practitioner s Approach. Boca Raton: CRC Press; 2017. 520 p. https://doi.org/10.1201/9781420053371
23. van Tendeloo Y., Vangheluwe H. DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems. In: Carreira P., Amaral V., Vangheluwe H. (eds.) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Cham: Springer; 2020. p. 127-153. https://doi.org/10.1007/978-3-030-43946-0_5
24. Zeigler B.P. Closure under coupling: concept, proofs, DEVS recent examples (wip). In: Proceedings of the 4th ACM International Conference of Computing for Engineering and Sciences (ICCES'18). Article number: 7. New York, NY, USA: Association for Computing Machinery; 2018. https://doi.org/10.1145/3213187.3213194
25. Hong K.J., Kim T.G. DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. Information and Software Technology. 2006;48(4):221-234. https://doi.org/10.1016/j.infsof.2005.04.008
Published
2025-04-28
How to Cite
GAPANOVICH, Dmitry Antonovich; SUKHOMLIN, Vladimir Alexandrovich. Visual Graphical Interpreted Language for Discrete Modeling DLAA. Modern Information Technologies and IT-Education, [S.l.], v. 21, n. 1, p. 76-89, apr. 2025. ISSN 2411-1473. Available at: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/1188>. Date accessed: 14 feb. 2026. doi: https://doi.org/10.25559/SITITO.021.202501.76-89.
Citation Formats
Issue
Vol 21 No 1 (2025): Modern Information Technologies and IT-education
Section
Research and development in the field of new IT and their applications
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Publication policy of the journal is based on traditional ethical principles of the Russian scientific periodicals and is built in terms of ethical norms of editors and publishers work stated in Code of Conduct and Best Practice Guidelines for Journal Editors and Code of Conduct for Journal Publishers, developed by the Committee on Publication Ethics (COPE). In the course of publishing editorial board of the journal is led by international rules for copyright protection, statutory regulations of the Russian Federation as well as international standards of publishing. 
Authors publishing articles in this journal agree to the following: They retain copyright and grant the journal right of first publication of the work, which is automatically licensed under the Creative Commons Attribution License (CC BY license). Users can use, reuse and build upon the material published in this journal provided that such uses are fully attributed.