priborИзвестия высших учебных заведений. ПриборостроениеJournal of Instrument Engineering0021-34542500-0381Национальный исследовательский университет ИТМО10.17586/0021-3454-2023-66-3-195-199pribor-74Research ArticleСИСТЕМНЫЙ АНАЛИЗ, УПРАВЛЕНИЕ И ОБРАБОТКА ИНФОРМАЦИИSYSTEM ANALYSIS, MANAGEMENT AND INFORMATION PROCESSINGМодели вычислительных процессов информационной системыModels of Computing Processes of an Information SystemПоляковВ. И.PolyakovV. I

Владимир Иванович Поляков - канд. техн. наук, доцент; факультет программной инженерии и компьютерной техники

Санкт-Петербург

Vladimir I. Polyakov - PhD, Associate Professor; Faculty of Software Engineering and Computer Technique

St. Petersburg

v_i_polyakov@mail.ruЗиннатулинФ. Ф.ZinnatulinF. F.

Фаиль Фидаэлевич Зиннатулин - аспирант; факультет программной инженерии и компьютерной техники

Санкт-Петербург

Fail F. Zinnatulin - Post-Graduate Student; Faculty of Software Engineering and Computer Technique

St. Petersburg

f_f_zinnatulin@mail.ruУниверситет ИТМОITMO University202326112024663195199Copyright © Национальный исследовательский университет ИТМО, 20242024Национальный исследовательский университет ИТМОНациональный исследовательский университет ИТМОhttps://pribor.ifmo.ru/jour/about/submissions#copyrightNoticehttps://pribor.ifmo.ru/jour/article/view/74

Рассматриваются вычислительные процессы получения входных данных, обработки данных, предобработки в базе данных, хранения в базе данных, а также вывода данных пользователю. Разработаны графоаналитическая и программная модели вычислительного процесса. С помощью данных моделей можно провести верификацию вычислительного процесса информационной системы. В качестве примера рассмотрены вычислительные процессы информационной системы „1С:Предприятие“.

The computational processes of obtaining input data, data processing, preprocessing in the database, storing in the database, and also outputting data to the user are considered. Graphic-analytical and software models of the computational process are developed. With the help of these models, it is possible to verify the computational process in the information system. As an example, the computational processes in the 1C:Enterprise information system are considered.

информационная системаархитектуравычислительный процессверификацияданныеinformation systemarchitecturecomputing processverificationdataReferencesЗыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Э. Г. Синтез программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, вып. 4. С. 561-566.Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Software & Systems, 2017, no. 4(30), pp. 561-566. (in Russ.)Зыков А. Г., Голованев Я. С., Поляков В. И. Автоматизация проверки программ с помощью графических аналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32, № 3. С. 398-402. DOI: 10.15827/0236-235X.127.398-402.Zykov A.G., Golovanev Ya.S., Polyakov V.I. Software & Systems, 2019, no. 3(32), pp. 398-402, DOI: 10.15827/0236-235X.127.398-402. (in Russ.)Зыков А. Г., Поляков В. И., Чистиков Э. Г., Кочетков И. В. Формализация анализа программной реализации вычислительного процесса в САПР // ИСиИТ'16: Тр. Конгресса интеллектуальных систем и информационных технологий. Таганрог: ЮФУ, 2016. Т. 1. С. 69-75.>,Zykov A.G.., Polyakov V.I., Chistikov E.G., Kochetkov I.V Kongress intellektual'nykh sistem i informatsionnykh tekhnologiy (Congress of Intelligent Systems and Information Technologies), Congress materials, Taganrog, 2016. vol. 1. С. 69-75. (in Russ.)Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Э. О глобальных информационных системах // Междунар. журн. открытых информационных технологий. 2017. № 4 [Электронный ресурс]: , 12.10.2021.Sneps-Sneppe M., Sukhomlin V., Namiot D. International Journal of Open Information Technologies, 2017, no. 4(5), pp. 55-62. (in Russ.)Зыков С. В. Теоретико-методологические основы построения корпоративных порталов // Исследовано в России. 2005 [Электронный ресурс]: , 11.03.2021.Zykov S.V. Elektronnyy zhurnal "Issledovano v Rossii", 2005, no. 8, pp. 2278–2285, http://zhurnal.ape.relarn.ru/articles/2005/220.pdf. (in Russ.)Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система „Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1 [Электронный ресурс]: , 10.12.2021.Khabituev B.V., Khandarov F.V., Balakshiev E.G., Nimaev S.A. BSU Bulletin. Mathematics, Informatics, 2013, no. 1, pp. 21-25. (in Russ.).Петров А. Б. О характеристиках информационной системы // Облако науки. 2020. № 3 [Электронный ресурс]: , 10.12.2021.Petrov A.B. Cloud of Science, 2020, no. 3(7), pp. 510-516. (in Russ.)Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графоаналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. № 4 (74). [Электронный ресурс]: , 07.11.2021.Zykov A.G., Bezrukov A.V., Nemolochnov O.F., Polyakov V.I., Andronov A.V. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2011, no. 4(74), pp. 116-120. (in Russ.)Немолочнов О. Ф., Зыков А. Г., Поляков В. И. Верификация в исследовательских, образовательных унифицированных и промышленных системах // Научно-технический вестник СПбГУ ИТМО. 2003. Т. 11. С. 146-151.Nemolochnov O.F., Zykov A.G., Polyakov V.I. et al. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2003, no. 11, pp. 146-151. (in Russ.)Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Э. Г. Методы анализа вычислительного процесса с использованием графоаналитической модели // Материалы конгресса по интеллектуальным системам и информационным технологиям „ИСиИТ“17. 2017. Т. 2. С. 121-129.Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Kongress intellektual'nykh sistem i informatsionnykh tekhnologiy (Congress of Intelligent Systems and Information Technologies), Congress materials, Taganrog, 2017, vol. 2, рр. 121-129. (in Russ.)

The authors declare that there are no conflicts of interest present.