DOI 10.17586/0021-3454-2022-65-8-545-553
UDC 004.896
COMPUTING PROCESS VERIFICATION IN INFORMATION SYSTEM
ITMO University, Saint Petersburg, 197101, Russian Federation; Associate Professor
F. F. Zinnatulin
ITMO University, Faculty of Software Engineering and Computer Systems;
Read the full article
Abstract. A system of verification of the computing process in information system is proposed. The study relevance is determined by the demand for reliable, correctly functioning information systems and insufficient verification of such systems. Computing process verification has not been applied to information systems before. The computing processes in information system, as well as the main blocks of the information system "Conference" are considered. Applied graphical-analytic and software models check the main points of verification of the computing process. The use of the developed computing process verification system for the web-oriented information system "Conference" is considered.
Keywords: information system, computing process, verification, software system, data
References:
References:
- Sneps-Sneppe M., Sukhomlin V., Namiot D. International Journal of Open Information Technologies, 2017, no. 4(5), pp. 55–62. (in Russ.)
- 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.)
- Petrov A.B. Cloud of science, 2020, no. 3(7), pp. 510–516. (in Russ.).
- 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.)
- 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.)
- 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.)
- Kononenko А.А. Upravlenie Bol'shimi Sistemami, 1998, no. 1, pp. 58–62. (in Russ.)
- Shatlov K.G. Proceedings of TUSUR University, 2007, no. 1(15). (in Russ.)
- Latysheva I.O., Mazin М.А. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 41, pp. 4–11. (in Russ.)
- Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Software & Systems, 2017, no. 4(30), pp. 561–566. (in Russ.)
- Khabituev B.V., Khandarov F.V., Balakshiev E.G., Nimaev S.A. BSU bulletin. Mathematics, Informatics, 2013, no. 1, pp. 21–25. (in Russ.)
- Dryukov N.Yu., Gatchin Yu.A. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 40, pp. 215–220. (in Russ.)
