vdgtuВестник Дагестанского государственного технического университета. Технические наукиHerald of Dagestan State Technical University. Technical Sciences2073-61852542-095XDaghestan State Technical University10.21822/2073-6185-2021-48-4-133-138vdgtu-1006Research ArticleИНФОРМАТИКА, ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА И УПРАВЛЕНИЕCOMPUTER SCIENCE, COMPUTER ENGINEERING AND MANAGEMENTВерификация вычислительного процесса корпоративной информационной системыVerification of the computing process of the corporate information systemПоляковВ. И.PolyakovV. I.

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

197101, Санкт-Петербург, пр. Кронверкский, 49

Vladimir I. Polyakov, Cand. Sci. (Eng.), Assoc. Prof., Faculty of Software Engineering and Computer Engineering 

49 Kronverksky Ave., Saint Petersburg 197101

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

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

197101, Санкт-Петербург, пр. Кронверкский, 49

Fail F. Zinnatulin, Postgraduate Student, Faculty of Software Engineering and Computer Engineering 

49 Kronverksky Ave., Saint Petersburg 197101

f_f_zinnatulin@mail.ruНациональный исследовательский университет ИТМОРоссияSaint Petersburg State University of Information Technologies, Mechanics and OpticsRussian Federation202111022022484133138Copyright © Поляков В.И., Зиннатулин Ф.Ф., 20222022Поляков В.И., Зиннатулин Ф.Ф.Polyakov V.I., Zinnatulin F.F.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://vestnik.dgtu.ru/jour/article/view/1006

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

Objective. The article discusses the issue of verifying the computing process of a corporate information system. The purpose of the article is to verify the computing process of a corporate information system. Method. The method of verifying the computational process of a corporate information system is a graphic-analytical model and a software model of the computational process.Result. The result is a successful verification of the computing process of the corporate information system. Conclusion. The conclusion of the article is that the computational process of a corporate information system can be verified using graphic-analytical and software models. The process of verification of the computing process of a corporate information system is presented on the example of a corporate information system 1C: Enterprise. The computational process goes through the architecture of the corporate information system and performs its tasks.

корпоративная информационная системавычислительный процессархитектураверификацияпрограммная модельcorporate information systemcomputing processarchitectureverificationsoftware modelReferencesЗыков С. В. Теоретические и методологические основы построения корпоративных порталов // Исследовано в России. 2005. №. URL: https://cyberleninka.ru/article/n/teoreticheskie-i-metodologicheskie-osnovy-postroeniya-korporativnyhportalov (дата обращения: 11.03.2021).Zykov S.V. Theoretical and methodological foundations of building corporate portals. Investigated in Russia. 2005. no. URL: https://cyberleninka.ru/article/n/teoreticheskie-i-metodologicheskie-osnovy-postroeniya-korporativnyh-portalov (date of access: 03/11/2021). (In Russ)Немолочнов О. Ф., Зыков А. Г., Поляков В. И., Македонский А. А. Параллельные структуры управления вычислительными процессами в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. №4 (74). URL: https://cyberleninka.ru/article/n/parallelnye-struktury-upravleniya-vychislitelnymi-protsessami-v-sapr (дата обращения: 07.11.2021).Nemolochnov OF, Zykov AG, Polyakov VI, Makedonskiy AA Parallel structures of control of computational processes in CAD. Scientific and technical bulletin of information technologies, mechanics and optics. 2011; 4 (74). URL: https://cyberleninka.ru/article/n/parallelnye-struktury-upravleniya-vychislitelnymi-protsessami-v-sapr (date accessed: 07.11.2021). (In Russ)Зыков А. Г., Безруков А. В., Немолочнов О. Ф., Поляков В. И., Андронов А. В. Графо-аналитические модели вычислительных процессов в САПР // Научно-технический вестник информационных технологий, механики и оптики. 2011. №4 (74). URL: https://cyberleninka.ru/article/n/grafo-analiticheskie-modeli-vychislitelnyh-protsessov-v-sapr (дата обращения: 07.11.2021).Zykov A. G., Bezrukov A. V., Nemolochnov O. F., Polyakov V. I., Andronov A. V. Graph-analytical models of computational processes in CAD // Scientific and technical bulletin of information technologies, mechanics and optics. 2011; 4 (74). URL: https://cyberleninka.ru/article/n/grafo-analiticheskie-modeli-vychislitelnyh-protsessov-v-sapr (date accessed: 07.11.2021). (In Russ)Винниченко И. В. Автоматизация процессов тестирования. СанктПетербург, Питер, 2005, 203 с.Vinnichenko IV Automation of testing processes. St. Petersburg, Peter, 2005; 203. (In Russ)Канер С., Фолк Дж., Нгуен Е. К. Тестирование программного обеспечения. Киев, «ДиаСофт», 2001, 544 с.Kaner S., Folk J., Nguyen EK Software testing. Kiev, "DiaSoft". 2001; 544.Лукин М. А. Верификация параллельных автоматных программ // Научно-технический вестник информационных технологий, механики и оптики. 2014. №1 (89). URL: https://cyberleninka.ru/article/n/verifikatsiya-parallelnyhavtomatnyh-programm (дата обращения: 11.03.2021).Lukin MA Verification of parallel automatic programs. Scientific and technical bulletin of information technologies, mechanics and optics. 2014; 1(89). URL: https://cyberleninka.ru/article/n/verifikatsiya-parallelnyh-avtomatnyh-programm (date accessed: 03/11/2021). (In Russ)Немолочнов О.Ф., Зыков А.Г., Поляков В.И., Петров К.В. Учебно-исследовательская САПР верификации и тестирования вычислительных процессов программ // Научно-технический вестник информационных технологий, механики и оптики. 2006. №32. URL: https://cyberleninka.ru/article/n/uchebno-issledovatelskaya-sapr-verifikatsii-i-testirovaniyavychislitelnyh-protsessov-programm (дата обращения: 07.11.2021).Nemolochnov O.F., Zykov A.G., Polyakov V.I., Petrov K.V. Educational and research CAD for verification and testing of computational processes of programs. Scientific and technical bulletin of information technologies, mechanics and optics. 2006. URL: https://cyberleninka.ru/article/n/uchebno-issledovatelskaya-sapr-verifikatsii-i-testirovaniya-vychislitelnyhprotsessov-programm (date accessed: 07.11.2021). (In Russ).Зыков А.Г., Кочетков И.В., Поляков В.И., Чистиков Е.Г. Синтезирование программ на основе описания графоаналитической модели // Программные продукты и системы. 2017. Т 30. №4. С. 561-566. DOI: 10.15827/0236-235X.120.561-566Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Synthesis of programs based on the description of the graphanalytical model. Software products and systems. 2017; 30(4): 561-566. DOI: 10.15827/0236-235X.120.561-566. (In Russ)Зыков А.Г., Голованев Я.С., Поляков В.И. Автоматизация верификации программ с использованием графоаналитических моделей вычислительного процесса // Программные продукты и системы. 2019. Т. 32. №3. С. 398-402. DOI: 10.15827/0236-235X.127.398-402.Zykov A.G., Golovanev Y.S., Polyakov V.I. Automation of program verification using graphic-analytical models of the computational process. Software products and systems. 2019; 32(3):398-402. DOI: 10.15827/0236-235X.127.398-402. (In Russ)Баканова С.А. Графоаналитическая модель распространения знаний в организациях // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Экономические науки. 2015. №1 (211). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-rasprostraneniya-znaniy-v-organizatsiyah (дата обращения: 07.11.2021).Bakanova S. A. Graphic-analytical model of the dissemination of knowledge in organizations. Scientific and technical statements of the St. Petersburg State Polytechnic University. Economic sciences. 2015; 1(211). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-rasprostraneniya-znaniy-v-organizatsiyah (date accessed: 07.11.2021). (In Russ)Ситникова Л. В. Графоаналитическая модель определения условий лицензирования // УЭкС. 2011. №29. URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-opredeleniya-usloviy-litsenzirovaniya (дата обращения: 07.11.2021).Sitnikova L. V. A graphic-analytical model for determining the conditions of licensing // UEkS. 2011. No. 29. URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-opredeleniya-usloviy-litsenzirovaniya (date of access: 07.11.2021). (In Russ)Верлан А. И. Графоаналитическая модель функционирования железнодорожных станций // ВЕЖПТ. 2014. №3 (72). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-funktsionirovaniya-zheleznodorozhnyh-stantsiy (дата обращения: 07.11.2021).Verlan A.I. Graphic-analytical model of the functioning of railway stations. VEZHPT. 2014; 3(72). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-funktsionirovaniya-zheleznodorozhnyh-stantsiy (date accessed: 07.11.2021). (In Russ)Черноморец А.А., Петина М.А., Коваленко А.Н., Зайцева Н.О. Графоаналитическая модель динамики распространения подземных вод//Экономика. Информатика. 2017. №2 (251). URL: https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-dinamiki-rasprostraneniya-podzemnyh-vod (дата обращения: 07.11.2021).Chernomorets A.A., Petina M.A., Kovalenko A.N., Zaitseva N.O. A graphoanalytical model of the dynamics of groundwater distribution. Economics. Informatics. 2017; 2(251). https://cyberleninka.ru/article/n/grafoanaliticheskaya-model-dinamikirasprostraneniya-podzemnyh-vod (date accessed: 07.11.2021). (In Russ)Зимовец О. А., Маторин С. И. Формально-семантическое описание графоаналитических моделей административных процедур //Экономика. Информатика. 2012. №7-1 (126). URL: https://cyberleninka.ru/article/n/formalno-semanticheskoeopisanie-grafoanaliticheskih-modeley-administrativnyh-protsedur (дата обращения: 07.11.2021).Zimovets O.A., Matorin SI Formal-semantic description of graphic-analytical models of administrative procedures // Economics. Informatics. 2012; 7-1(126). URL: https://cyberleninka.ru/article/n/formalno-semanticheskoe-opisanie-grafoanaliticheskihmodeley-administrativnyh-protsedur (date accessed: 07.11.2021). (In Russ)

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