ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

2
Issue
vol 67 / February, 2024
Article

DOI 10.17586/0021-3454-2022-65-8-545-553

UDC 004.896

COMPUTING PROCESS VERIFICATION IN INFORMATION SYSTEM

V. I. Polyakov
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:
  1. Sneps-Sneppe M., Sukhomlin V., Namiot D. International Journal of Open Information Technologies, 2017, no. 4(5), pp. 55–62. (in Russ.)
  2.   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.)
  3. Petrov A.B. Cloud of science, 2020, no. 3(7), pp. 510–516. (in Russ.).
  4. 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.)
  5. 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.)
  6. 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.)
  7. Kononenko А.А. Upravlenie Bol'shimi Sistemami, 1998, no. 1, pp. 58–62. (in Russ.)
  8. Shatlov K.G. Proceedings of TUSUR University, 2007, no. 1(15). (in Russ.)
  9. Latysheva I.O., Mazin М.А. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 41, pp. 4–11. (in Russ.)
  10. Zykov A.G., Kochetkov I.V., Polyakov V.I., Chistikov E.G. Software & Systems, 2017, no. 4(30), pp. 561–566. (in Russ.)
  11. Khabituev B.V., Khandarov F.V., Balakshiev E.G., Nimaev S.A. BSU bulletin. Mathematics, Informatics, 2013, no. 1, pp. 21–25. (in Russ.)
  12. Dryukov N.Yu., Gatchin Yu.A. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2007, no. 40, pp. 215–220. (in Russ.)