Optimization of the client component by the criterion of the absence of redundant dialogues with the server | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2023. № 62. DOI: 10.17223/19988605/62/12

HomeIssuesOptimization of the client component by the criterion of the absence of redundant dialogues with the server | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2023. № 62. DOI: 10.17223/19988605/62/12

Optimization of the client component by the criterion of the absence of redundant dialogues with the server

In this paper the problem of client component optimization within client-server interaction is considered. The optimization criterion is the reduction of client-server interactions number. Client's specification is clarified in way to minimize extra requests by client to server. The algorithm for modifying the client's specification according to the reachability tree is proposed. Contribution of the authors: the authors contributed equally to this article. The authors declare no conflicts of interests.

Download file
Counter downloads: 13

Keywords

optimization, client, server, finite state machine, composition

Authors

NameOrganizationE-mail
Gromov Maxim L.Tomsk State Universitymaxim.leo.gromov@gmail.com
Prokopenko Svetlana A.Tomsk State Universitys.prokopenko@sibmail.com
Sotnikov Aleksandr P.Tomsk State Universitysotnikhtc@gmail.com
Shabaldina Natalia V.Tomsk State Universitynataliamailbox@mail.ru
Всего: 4

References

Shirokova E. Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machine // 2018 IEEE East-West Design & Test Symposium (EWDTS). 2018. P. 1-6.
Евтушенко Н.В., Рекун М.В., Тихомирова С.В. Недетерминированные автоматы: анализ и синтез: учеб. пособие. Томск: Том. гос. ун-т, 2009. Ч. 2: Решение автоматных уравнений. 111 с.
Castagnetti G., Piccolo M., Villa T., Yevtushenko N., Mishchenko A., Brayton R.K. Solving Parallel Equations with BALM-II: Technical Report No. UCB/EECS2012-181 // Electrical Engineering and Computer Sciences University of California at Berkeley. 2012. URL: http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-181.pdf (Дата обращения: 20.08.2022).
West C.H. An automated technique of communication protocols validation // IEEE Trans.Comm. 1978. V. 26. P. 1271-1275.
El-Fakih K., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperability Testing Methods for Multi Stimuli Model // Testing of Communicating Systems: 16th International Conference, TestCom 2004: Proc. Oxford, 2004. P. 60-75. (Lecture Notes in Computer Science; v. 2978).
Starke P.H. Abstract Automata. New York: American Elsevier Publishing Company, 1972. 419 p.
Optimization of the client component by the criterion of the absence of redundant dialogues with the server | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2023. № 62. DOI: 10.17223/19988605/62/12

Optimization of the client component by the criterion of the absence of redundant dialogues with the server | Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika – Tomsk State University Journal of Control and Computer Science. 2023. № 62. DOI: 10.17223/19988605/62/12

Download full-text version
Counter downloads: 443