Работа посвящена актуальным вопросам синтеза средств человеко-машинного взаимодействия, в рамках которых рассматривается модель сопряжения компонентов графических пользовательских интерфейсов (ГПИ) на основе алгебро-логических методов. Компоненты ГПИ представляются в виде компонентов открытых информационных систем, имеющих стандартизированные интерфейсы, определяющие их пространственную совместимость. Для формализации компонентов ГПИ предлагается использовать семантические сети, при этом совместимость компонентов определяется правилами логического вывода, представленных в форме дизъюнкта Хорна. Приведено представление интегрированного визуального компонента «Именованное поле ввода» в виде семантической сети, содержащей описание пространственной совместимости входящих в его состав неделимых компонентов. Разработано расширение спецификации OpenAPI для решения проблемы унификации и стандартизации описания компонентов ГПИ, обеспечения интероперабельности инструментальных средств синтеза экранных форм и поддержки UX-тестирования. В статье представлены результаты синтеза цепочек геометрических фигур, имитирующих компоненты ГПИ, которые также могут быть представлены декларативно в виде семантических сетей, а, следовательно, и в формате RDF. Кроме самих компонентов семантические сети включают описание фильтров, с помощью которых можно управлять выбором способов пространственного сопряжения компонентов ГПИ.
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.
The authors declare that there are no conflicts of interest present.