Структурное моделирование графических пользовательских интерфейсов на основе алгебро-логических методов

Работа посвящена актуальным вопросам синтеза средств человеко-машинного взаимодействия, в рамках которых рассматривается модель сопряжения компонентов графических пользовательских интерфейсов (ГПИ) на основе алгебро-логических методов. Компоненты ГПИ представляются в виде компонентов открытых информационных систем, имеющих стандартизированные интерфейсы, определяющие их пространственную совместимость. Для формализации компонентов ГПИ предлагается использовать семантические сети, при этом совместимость компонентов определяется правилами логического вывода, представленных в форме дизъюнкта Хорна. Приведено представление интегрированного визуального компонента «Именованное поле ввода» в виде семантической сети, содержащей описание пространственной совместимости входящих в его состав неделимых компонентов. Разработано расширение спецификации OpenAPI для решения проблемы унификации и стандартизации описания компонентов ГПИ, обеспечения интероперабельности инструментальных средств синтеза экранных форм и поддержки UX-тестирования. В статье представлены результаты синтеза цепочек геометрических фигур, имитирующих компоненты ГПИ, которые также могут быть представлены декларативно в виде семантических сетей, а, следовательно, и в формате RDF. Кроме самих компонентов семантические сети включают описание фильтров, с помощью которых можно управлять выбором способов пространственного сопряжения компонентов ГПИ.

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. Синица С.А. Оценка качества взаимодействия пользователя с ИИ-интерфейсами: когнитивные нагрузки, UX-метрики и пользовательская лояльность. Международный журнал гуманитарных и естественных наук. 2025;(6–2):18–22. https://doi.org/10.24412/2500-1000-2025-6-2-18-22

4. Жевнерчук Д.В. Обобщённый метод синтеза многокомпонентных интероперабельных структур на основе онтологии и недетерминированного конечного автомата. Информационные технологии. 2019;25(2):67–74. https://doi.org/10.17587/it.25.67-74

5. Титов А.В. Теория сложности в алгебро-логическом моделировании систем управления. В сборнике: Управление развитием крупномасштабных систем – MLSD'20: труды Тринадцатой Международной научно-технической конференции, 28–30 сентября 2020 года, Москва, Россия. Москва: Институт проблем управления им. В.А. Трапезникова РАН; 2020. С. 229–239. 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. Гуляев Ю.В., Журавлев Е.Е., Олейников А.Я. Методология стандартизации для обеспечения интероперабельности информационных систем широкого класса. Журнал радиоэлектроники. 2012;(3). 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. Жевнерчук Д.В., Захаров А.С. Модель и лингвистическое обеспечение низкоуровневой структурной модификации объектно-ориентированных систем. Труды НГТУ им. Р.Е. Алексеева. 2022;(2):7–16. 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.