M.V. Fetisov1
1 Bauman Moscow State Technical University (Moscow, Russia)

1 fetisov.michael@bmstu.ru

The existing mathematical simulation systems are largely based on principles used since the middle of the last century. Modern modeling tasks impose new requirements on modeling systems. To solve these problems, classical modeling systems require the installation of extensions, the use of libraries, and other additional features that further complicate the original task, creating an additional threshold of complexity. This article is devoted to the method of building a language-oriented modeling system, which should take the best properties of classical systems, adding to them new features that will make it easier to solve modern modeling problems.

The purpose of the work is to describe a method for building language-oriented modeling systems, as well as to demonstrate the capabilities of the proposed method using the example of a prototype of the language-oriented SIMODO/loom modeling system, which uses the proposed method. In the course of the work, the requirements for a new modeling system have been determined based on the analysis of the main characteristics of classical systems and new modeling tasks. A method for constructing a language-oriented modeling system has been proposed, which, on the one hand, should preserve the basic characteristics of classical systems, and, on the other, provide new opportunities for solving modern modeling problems. The theoretical and terminological basis for the formalization of the proposed method has been given.

The proposed method of building language-oriented modeling systems has practical value for developers and users of such systems.

Fetisov M.V. System of domain-specific languages for a language-oriented modeling system // Neurocomputers. 2026. V. 28. № 3. P. 44–56. DOI: https://doi.org/10.18127/j19998554-202603-06.

1. MatLab Documentation. MathWorks [Elektronnyj resurs]. URL: https://www.mathworks.com/help/matlab/index.html (data obrashche­niya: 17.10.2025).
2. Ward M. Language-oriented programming. Computer Science Department Science Labs. South Rd Durham. 1994.
3. Evans E. Domain-driven design: Tackling complexity in the heart of software. Addison-Wesley. 2004.
4. Richardson K. Mikroservisy. Patterny razrabotki i refaktoringa. SPb.: Piter. 2020. (in Russian)
5. Johnsson D.B., Deogun D., Sawano D. Secure by design. Manning. 2019.
6. Evans E. Predmetno-orientirovannoe proektirovanie (DDD): strukturizatsiya slozhnykh programmnykh sistem: Per. s angl. M.: OOO «I.D. Vil'yams». 2011. (in Russian)
7. Virt N. Postroenie kompilyatorov. M.: DMK Press. 2016. (in Russian)
8. GNUBison [Elektronnyj resurs]. URL: https://www.gnu.org/software/bison/ (data obrashcheniya: 17.10.2025).
9. Sarkar A. The impact of syntax colouring on program comprehension [Elektronnyj resurs]. URL: https://ppig.org/papers/2015-ppig-26th-sarkar1 (data obrashcheniya: 17.10.2025).
10. LanguageServerProtocol [Elektronnyj resurs]. URL: https://microsoft.github.io/language-server-protocol (data obrashcheniya: 17.10.2025).
11. Belousov A.I., Tkachev S.B. Diskretnaya matematika. M.: MGTU. 2006. (in Russian)
12. Akho A.V., Lam M.S., Seti R., Ul'man D.D. Kompilyatory: printsipy, tekhnologii i instrumentarij. Izd. 2-e. M.: Vil'yams. 2018. (in Russian)
13. Knuth D.E. On the translation of languages from left to right. Information and Control. 1965. V. 8. P. 607–639.
14. DeRemer F.L. Practical translators for LR(k) languages [Elektronnyj resurs]. URL: http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-065.pdf (data obrashcheniya: 17.10.2025).
15. Nielson H.R., Nielson F. Semantics with application. A formal introduction. John Wiley & Sons. 1999.
16. SIMODO/loom v repozitorii iskhodnogo koda GitVerse [Elektronnyj resurs]. URL: https://gitverse.ru/simodo/loom (data obrashcheniya: 17.10.2025).
17. Bushev A.A., Fetisov M.V. Adaptivnaya sistema modelirovaniya SIMODO/loom [Elektronnyj resurs]. URL: http://simodo.ru/documents/ simodo-documentation.pdf (data obrashcheniya: 17.10.2025). (in Russian)
18. Horn A. On sentences which are true of direct unions of algebras. Journal of Symbolic Logic. 1951. V. 16.
19. Caferra R. Logic for computer science and artificial intelligence. John Wiley & Sons. 2013.
20. Lorents E. Determinirovannoe neperiodicheskoe techenie. Strannye attraktory. M.: Mir. 1981.
21. Bushev A.A., Fetisov M.V. Yazykovo-orientirovannoe… modelirovanie? [Elektronnyj resurs]. URL: https://habr.com/ru/ articles/919396/ (data obrashcheniya: 17.10.2025). (in Russian)