Структурное моделирование графических пользовательских интерфейсов на основе алгебро-логических методов
Работая с сайтом, я даю свое согласие на использование файлов cookie. Это необходимо для нормального функционирования сайта, показа целевой рекламы и анализа трафика. Статистика использования сайта обрабатывается системой Яндекс.Метрика
Научный журнал Моделирование, оптимизация и информационные технологииThe scientific journal Modeling, Optimization and Information Technology
Online media
issn 2310-6018

Structural modeling of graphical user interfaces based on algebraic logic methods

idSapozhnikov V.O., idTarasov A.V., idKuznetsova E.V., idSurkova A.S., idЖевнерчук Д.В.

UDC 004.514
DOI: 10.26102/2310-6018/2025.50.3.041

  • Abstract
  • List of references
  • About authors

The work is devoted to topical issues of the synthesis of human-machine interaction tools, within the framework of which a model for interfacing components of graphical user interfaces (GUI) based on algebraic logic methods is considered. The components of GUI are presented as components of open information systems with standardized interfaces that determine their spatial compatibility. To formalize the components of the GUI, it is proposed to use semantic networks, while the compatibility of the components is determined by the rules of logical inference, presented in the form of a Horn disjunction. The description of the integrated visual component "Named input field" is presented in the form of a semantic network containing a description of the spatial compatibility of its constituent indivisible components. An extension of the OpenAPI specification has been developed to solve the problem of unifying and standardizing the description of GUI components and ensuring the interoperability of tools for synthesizing screen forms and supporting UX testing. The article presents the results of the synthesis of chains of geometric shapes that mimic the components of GUI, which can also be presented declaratively in the form of semantic networks, and, consequently, in the RDF format. In addition to the components themselves, semantic networks include a description of filters that can be used to control the choice of ways to spatially interface GUI components.

1. Garrett J.J. The Elements of User Experience: User-Centered Design for the Web and Beyond. Berkeley: New Riders; 2011. 172 p.

2. Finstad К. The Usability Metric for User Experience. Interacting with Computers. 2010;22(5):323–327. https://doi.org/10.1016/j.intcom.2010.04.004

3. Sinitsa S.A. Evaluating the Quality of User Interaction with AI Interfaces: Cognitive Loads, UX Metrics, and User Loyalty. International Journal of Humanities and Natural Sciences. 2025;(6–2):18–22. (In Russ.). https://doi.org/10.24412/2500-1000-2025-6-2-18-22

4. Zhevnerchuk D.V. A Generalized Method for Synthesizing Multicomponent Interoperable Structures Based on Ontology and a Nondeterministic Finite State Machine. Information Technologies. 2019;25(2):67–74. (In Russ.). https://doi.org/10.17587/it.25.67-74

5. Titov A.V. Teoriya slozhnosti v algebro-logicheskom modelirovanii sistem upravleniya. In: Upravlenie razvitiem krupnomasshtabnykh sistem – MLSD'20: trudy Trinadtsatoi Mezhdunarodnoi nauchno-tekhnicheskoi konferentsii, 28–30 September 2020, Moscow Russia. Moscow: V.A. Trapeznikov Institute of Control Sciences of the RAS; 2020. P. 229–239. (In Russ.). https://doi.org/10.25728/mlsd.2020.0229

6. Busi S.P. Understanding Microservices Architecture: A Comprehensive Guide. International Journal of Scientific Research in Computer Science, Engineering and Information Technology. 2025;11(1):1440–1447. https://doi.org/10.32628/CSEIT251112144

7. Bello-Trejo S., Limón X., Ocharán-Hernández J.O., Hernández-González L.A. System-Oriented Testing on the Microservices Architecture: A Systematic Literature Review. In: 2024 12th International Conference in Software Engineering Research and Innovation (CONISOF), 28 October – 01 November 2024, Puerto Escondido, Mexico. IEEE; 2024. P. 127–136. https://doi.org/10.1109/CONISOFT63288.2024.00026

8. Gulyaev Yu.V., Zhuravlev E.E., Oleinikov A.Ya. Metodologiya standartizatsii dlya obespecheniya interoperabel'nosti informatsionnykh sistem shirokogo klassa. Journal of Radio Electronics. 2012;(3). (In Russ.). URL: http://jre.cplire.ru/win/mar12/2/text.pdf

9. Marrs T. JSON at Work: Practical Data Integration for the Web. Sebastopol: O'Reilly Media; 2017. 376 p.

10. Zhevnerchuk D.V., Zakharov A.S. Model and Linguistic Support of Low-Level Structural Modification of Object-Oriented Systems. Trudy NGTU im. R.E. Alekseeva. 2022;(2):7–16. (In Russ.). https://doi.org/10.46960/1816-210X_2022_2_7

11. Caferra R. Logic for Computer Science and Artificial Intelligence. London, Hoboken: ISTE, John Wiley & Sons; 2011. 523 p.

Sapozhnikov Vladislav Olegovich

Email: vlad.sapozhnickof@gmail.com

ORCID |

Computing Systems and Technologies Dept., Nizhny Novgorod State Technical University n.a. R.E. Alekseev

Nizhny Novgorod, Russian Federation

Tarasov Alexandr Vasilievich

Email: alexandervtarasovddd@gmail.com

ORCID |

Computing Systems and Technologies Dept., Nizhny Novgorod State Technical University n.a. R.E. Alekseev

Nizhny Novgorod, Russian Federation

Kuznetsova Ewgenia Vladimirovna

Scopus | ORCID |

Computing Systems and Technologies Dept., Nizhny Novgorod State Technical University n.a. R.E. Alekseev

Nizhny Novgorod, Russian Federation

Surkova Anna Sergeevna
Doctor of Engineering Sciences, Docent

Scopus | ORCID |

Department of Computing Systems and Technologies Dept., Nizhny Novgorod State Technical University n.a. R.E. Alekseev

Nizhny Novgorod, Russian Federation

Жевнерчук Дмитрий Валерьевич
Doctor of Engineering Sciences, Docent

WoS | Scopus | ORCID | eLibrary |

Department of Computing Systems and Technologies Dept., Nizhny Novgorod State Technical University n.a. R.E. Alekseev

Nizhny Novgorod, Russian Federation

Keywords: human-machine interaction, graphical user interface, specification, component, horn's disjunction

For citation: Sapozhnikov V.O., Tarasov A.V., Kuznetsova E.V., Surkova A.S., Жевнерчук Д.В. Structural modeling of graphical user interfaces based on algebraic logic methods. Modeling, Optimization and Information Technology. 2025;13(3). URL: https://moitvivt.ru/ru/journal/pdf?id=2013 DOI: 10.26102/2310-6018/2025.50.3.041 (In Russ).

19

Full text in PDF

Received 07.07.2025

Revised 13.08.2025

Accepted 26.08.2025