Keywords: human-machine interaction, graphical user interface, specification, component, horn's disjunction
Structural modeling of graphical user interfaces based on algebraic logic methods
UDC 004.514
DOI: 10.26102/2310-6018/2025.50.3.041
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.
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).
Received 07.07.2025
Revised 13.08.2025
Accepted 26.08.2025