V.V. Roslovtsev¹, D.R. Maksimov², F.S. Chervakov³, E.E. Balashova⁴, K.G. Belyakov⁵, D.N. Gushchin⁶, S.I. Valiullina⁷, E.D. Kalinkin⁸, R.N. Kuzmin⁹, A.Sh. Sirozhev¹⁰, A.V. Fateev¹¹

¹National Research Nuclear University MEPhI (Moscow, Russia)

¹vvroslovtsev@mephi.ru

The construction and use of an environment for compositional description of computations (in the broad sense of the word) involves the solution of two, in a sense, diametrically opposed problems: on the one hand, we need means of debugging the constructed constructions, and on the other hand, we need means of preliminary verification to check the possibility and correctness of composition. In existing software solutions, the possibilities of both debugging and verification are limited or absent at all. Known formal models provide only partial solutions, not allowing to take into account the accumulation of state in the chain of processes. To develop a formal model for compositional description of computations with support of tracing and verification of correctness of composition and possibility to take into account evolution of objects. Building a program solution on the basis of this model. The paper proposes a complex solution to this problem by constructing a synthetic environment including: (a) conceptual constructs immersed as types in the computational environment, (b) the use of a specially organized environment with allocated placements in it, (c) the use of a special approach, formal and archi- tectural, for the semantic description of both objects and processes and their environment, (d) the use of a monad-like approach for the composition of computations. A subject-oriented language (DSL) in the form of a fluent API is sketched.

1. Volfengagen V.E. Applikativnye vychislitelnye tekhnologii. Gotovye resheniya dlya inzhenera, prepodavatelya, aspiranta, studenta. Pod red. k. t. n. L.Yu. Ismailovoi. M.: ZAO "YurInfoR". 2009. 64 s. (in Russian)
2. Volfengagen V.E. Kategorialnaya abstraktnaya mashina. Konspekt lektsii: vvedenie v vychisleniya. Izd. 2-oe. M.: Uchebno-konsultatsionnyi tsentr "YurInfoR". 2001. 59 s. (in Russian)
3. Volfengagen V.E. Konstruktsii yazykov programmirovaniya. Priemy opisaniya. M.: AO "Tsentr YurInforR", 2001. 276 s. (in Russian)
4. Volfengagen V.E. Metody i sredstva vychislenii s ob'ektami. Applikativnye vychislitelnye sistemy. M.: JurInfoR Ltd., AO "Tsentr YurInfoR". 2004. 789 s. ISBN 5-89158-100-0. (in Russian)
5. Roslovtsev V.V. Kontseptualizatsiya predmetnykh oblastei v applikativnoi vychislitelnoi srede. Scientific World Journal. 2017. T. 1. № 15. Minsk: ChP "Elnat". S. 73−85. (in Russian)
6. Roslovtsev V.V. Applicative computational Environment Construction. Sb. nauchnykh trudov Sworld. 2013. T. 6. № 2. S. 53−60. (in Russian)
7. Roslovtsev V.V., Shapkin P.A. Dvukhurovnevaya kontseptualizatsiya predmetnykh oblastei sredstvami deskriptsionnoi logiki. Trudy 3‑i Mezhdunar. konf. po applikativnym vychislitelnym sistemam (AVS-2012). Moskva. 26−28 noyabrya 2012 g.Pod red. V.E. Volfengagena. M.: NOU Institut Aktualnogo obrazovaniya "YurInfoR-MGU". 2012. S. 218−223. (in Russian)
8. Roslovtsev V.V. Razrabotka informatsionnykh i intellektualnykh sistem na osnove applikativnykh i semanticheskikh tekhnologii. Informatsionno-izmeritelnye i upravlyayushchie sistemy. 2024. T. 25. № 5. S. 56−68. (in Russian)
9. Roslovtsev V.V. Struktura i metod formirovaniya applikativnoi vychislitelnoi sredy. Sb. nauchnykh trudov SWorld. 2011. T. 5. № 4. S. 14−21. (in Russian)
10. Shapkin P.A. Vychisleniya s kontseptami v applikativnom yazyke programmirovaniya. Trudy 2‑i Mezhdunar. konf. po applikativnym vychislitelnym sistemam (AVS-2010). Moskva. 29−31 oktyabrya 2010 g. Pod red. V.E. Volfengagena. M.: NOU Institut Aktualnogo obrazovaniya "YurInfoR-MGU". 2010. S. 205−213. (in Russian)
11. Ismailova L., Wolfengagen V., Kosikov S. Cognitive System to Clarify the Semantic Vulnerability and Destructive Substitutions. Procedia Computer Science. 2021. № 190. P. 341−360.
12. Roslovtsev V.V. Architecture for Modular Type System for Information Systems Based on Relational-Applicative Technologies. Procedia Computer Science (Elsevier). 2018. V. 123. P. 386−392.
13. Roslovtsev V.V. Building Semantic Technologies Based on Relational-Applicative Foundations. Procedia Computer Science. (Elsevier). 2018. V. 123. P. 393−402.
14. Roslovtsev V.V., Marenkov A.V. Relational-Applicative Approach to Subject Domain Granulation. Procedia Computer Science. (Elsevier). 2018. V. 145. P. 437−443.
15. Wolfengagen V.E. Frame Theory and Computations. Computers and Artificial Intelligence. 1984. V. 3. № 1. P. 3−32.
16. Wolfengagen V.E. The Parameterized Relational Model. Towards 40th Anniversary of Relational Data Model. Proc. of the 2nd International Conference on Applicative Computational Systems (ACS-2010). Institute of Contemporary Education "JurInfoR-MGU". Moscow (Russia). 2010. P. 1−17.