S.G. Vorona1, T.V. Kalinin2, I.N. Shulga3

1−3 Mozhaysky Military Space Academy (Saint Petersburg, Russia)

The article considers the synthesis of modeling software systems, functional decomposition models taking into account the assumptions of limitations in modeling programs, the life cycle of modeling programs, as well as design phases such as design analysis, design of the functional structure of programs, design of logical data schema, physical design, method of analysis of information flows. The design scheme of modeling programs is given, an approximate scheme of work after the completion of the external design stages.

The life cycle of modeling programs created using CASE tools is considered -pre-project analysis, the main directions of which are the analysis of the structure, functions of components, information flows.

The main tasks of the study of information flows between components are presented methods of analyzing modeling programs composition of functional subsystems building a conceptual model at the stage of method of information flow analysis.

Purpose. Build a technological scheme for the design of information and reference modeling programs with the use of CASE tools, which includes the consistent use of known models of program design; Analyze the reviewed process flow diagram using existing CASE tools for modeling programs.

Vorona S.G., Kalinin T.V., Shulga I.N. Construction of a technological scheme for designing modeling programs using CASE tools. Science Intensive Technologies. 2023. V. 24. № 5. P. 12−23. DOI: https://doi.org/10.18127/j19998465-202305-02 (in Russian)

1. Avremchuk E.F., Vavilov A.A. i dr. Tekhnologiya sistemnogo modelirovaniya. M.: Mashinostroenie. 1988. 520 s. (in Russian).
2. Samarskij A.A., Popov YU.P. Vychislitel'nyj eksperiment v fizike. V kn.: Nauka i chelovechestvo. M.: Znanie. 1975. S. 280–291 (in Russian).
3. Glushkov V.M. Obobshchennye dinamicheskie sistemy i processionnoe prognozirovanie. V kn.: Problemy prikladnoj matematiki i mekhaniki. M.: Nauka. 1971. S. 27–30 (in Russian)..
4. Glushkov V.M., Gusev V.V., Mar'yanoviya T.P., Sahnyuk M.A. Programmnye sredstva modelirovaniya nepreryvno-diskretnyh sistem. Kiev: Naukova dumka. 1975. 152 s. (in Russian).
5. Buslenko N.P. Slozhnye sistemy i imitacionnye modeli. Kibernetika. 1976. № 6. S. 50–59 (in Russian).
6. Buslenko N.P., Belov Yu.A., Didenko V.P., Kozlov N.N. i dr. Modelirovanie slozhnyh sistem. M.: Nauka. 1978. 399 s. (in Russian).
7. Matematicheskoe obespechenie slozhnogo eksperimenta. Obrabotka izmerenij pri issledovanii slozhnyh sistem. Kiev: Naukova dumka. 1982. 304 s. (in Russian).
8. Hoare C.A.R. An axiomatic basis of computer programming. Comm. ACM. 1969. V. 12. № 10. P. 576–583.
9. Sharakshane A.S., Haleckij A.K., Morozov I.A. Ocenka harakteristik slozhnyh avtomatizirovannyh sistem. M.: Mashinostroenie. 1993. 272 s. (in Russian).
10. Konovalov A.N., Yanenko N.N. Modul'nyj princip postroeniya programm kak osnova sozdaniya paketa prikladnyh programm resheniya zadach mekhaniki sploshnoj sredy. V kn.: Kompleksy programm matematicheskoj fiziki. Novosibirsk: VC SO AN SSSR. 1972. S. 56–63 (in Russian).
11. Tocenko V.G., Aleksandrov A.V., Paramonov N.B. Korrektnost', ustojchivost', tochnost' programmnogo obespecheniya. Kiev: Naukova Dumka. 1990 (in Russian). 
12. Informacionnye tekhnologii i vychislitel'nye sistemy. Obrabotka informacii i analiz dannyh. Programmnaya inzheneriya. Matematicheskoe modelirovanie. Prikladnye aspekty informatiki. Pod red. S.V. Emel'yanova. M.: Lenand. 2016. 104 s. (in Russian).
13. Vorona S.G., Hrestinin D.V., Kalinin T.V., Bulychyov S.N. Metody ocenki harakteristik programm i algoritmov. Nelinejnyj mir. 2020.  T. 18. № 2. S. 53–61 DOI: 10.18127/j20700970-202002-05 (in Russian).
14. Vorona S.G., Kalinin T.V. Sintez modeliruyushchih programm na osnove mnogoversionnyh bibliotek komponent. Naukoemkie tekhnologii. 2022. № 7. S. 43−49 DOI: https://doi.org/10.18127/j19998465-202207-04 (in Russian).
15. Vendrov A.M. CASE-tekhnologii. Sovremennye metody i sredstva proektirovaniya informacionnyh sistem M.: Finansy i statistika. 2005. 176 s. (in Russian).
16. Vengrov A.M. CASE-sovremennye metody i sredstva proektirovaniya informacionnyh sistem. M.: Finansy i statistika. 1998 (in Russian).
17. Tokmakov G.P. Avtomatizirovannoe proektirovanie informacionnyh sistem: Ucheb. posobie. Ul'yanovsk: UlGTU, 2015. 121 s. (in Russian).
18. Maklakov S.V. CASE-sredstva razrabotki informacionnyh sistem. M.: Dialog – MIFI. 2004. 256 s. (in Russian).
19. Kulyabov D.S., Korol'kova A.V. Vvedenie v formal'nye metody opisaniya biznes-processov: Ucheb. posobie. M.: RUDN. 2008. 173 s. (in  Russian).