Verification of the computing process of the corporate information system
https://doi.org/10.21822/2073-6185-2021-48-4-133-138
Abstract
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.
About the Authors
V. I. Polyakov
Saint Petersburg State University of Information Technologies, Mechanics and Optics
Russian Federation
Russian Federation
Vladimir I. Polyakov, Cand. Sci. (Eng.), Assoc. Prof., Faculty of Software Engineering and Computer Engineering
49 Kronverksky Ave., Saint Petersburg 197101
F. F. Zinnatulin
Saint Petersburg State University of Information Technologies, Mechanics and Optics
Russian Federation
Russian Federation
Fail F. Zinnatulin, Postgraduate Student, Faculty of Software Engineering and Computer Engineering
49 Kronverksky Ave., Saint Petersburg 197101
References
1. 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)
2. 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)
3. 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)
4. Vinnichenko IV Automation of testing processes. St. Petersburg, Peter, 2005; 203. (In Russ)
5. Kaner S., Folk J., Nguyen EK Software testing. Kiev, "DiaSoft". 2001; 544.
6. 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)
7. 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).
8. Zykov 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)
9. 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)
10. 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)
11. 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)
12. 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)
13. 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)
14. 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)
Review
For citations:
Polyakov V.I., Zinnatulin F.F. Verification of the computing process of the corporate information system. Herald of Dagestan State Technical University. Technical Sciences. 2021;48(4):133-138. (In Russ.) https://doi.org/10.21822/2073-6185-2021-48-4-133-138
Views:
345
Email this article 
