МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ИНФОРМАЦИОННОЙ СИСТЕМЫ Известия высших учебных заведений Приборостроение

DOI 10.17586/0021-3454-2023-66-3-195-199
УДК 004.054

МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ИНФОРМАЦИОННОЙ СИСТЕМЫ

Поляков В. И.
Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация; ординарный доцент

Зиннатулин Ф. Ф.
Университет ИТМО, факультет программной инженерии и компьютерной техники;

Читать статью полностью

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

Ключевые слова: информационная система, архитектура, вычислительный процесс, верификация, данные

Список литературы:

Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Э. Г. Синтез программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т. 30, вып. 4. С. 561—566.
Зыков А. Г., Голованев Я. С., Поляков В. И. Автоматизация проверки программ с помощью графических аналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32, № 3. С. 398—402. DOI: 10.15827/0236-235X.127.398-402.
Зыков А. Г., Поляков В. И., Чистиков Э. Г., Кочетков И. В. Формализация анализа программной реализации вычислительного процесса в САПР // ИСиИТ'16: Тр. Конгресса интеллектуальных систем и информационных технологий. Таганрог: ЮФУ, 2016. Т. 1. С. 69—75.>,
Шнепс-Шнеппе М. А., Сухомлин В. А., Намиот Д. Э. О глобальных информационных системах // Междунар. журн. открытых информационных технологий. 2017. № 4 [Электронный ресурс]: , 12.10.2021.
Зыков С. В. Теоретико-методологические основы построения корпоративных порталов // Исследовано в России. 2005 [Электронный ресурс]: , 11.03.2021.
Хабитуев Б. В., Хандаров Ф. В., Балакшиев Э. Г., Нимаев С. А. Информационная система „Конференция“ // Вестн. БГУ. Математика, информатика. 2013. № 1 [Электронный ресурс]: , 10.12.2021.
Петров А. Б. О характеристиках информационной системы // Облако науки. 2020. № 3 [Электронный ресурс]: , 10.12.2021.
Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графоаналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. № 4 (74). [Электронный ресурс]: , 07.11.2021.
Немолочнов О. Ф., Зыков А. Г., Поляков В. И. Верификация в исследовательских, образовательных унифицированных и промышленных системах // Научно-технический вестник СПбГУ ИТМО. 2003. Т. 11. С. 146—151.
Зыков А. Г., Кочетков И. В., Поляков В. И., Чистиков Э. Г. Методы анализа вычислительного процесса с использованием графоаналитической модели // Материалы конгресса по интеллектуальным системам и информационным технологиям „ИСиИТ“17. 2017. Т. 2. С. 121—129.

Партнеры

МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ИНФОРМАЦИОННОЙ СИСТЕМЫ