The rapid growth of computing devices has led to the emergence of distributed user interfaces. A user interface is called distributed if a user can interact with it using several devices at the same time. Formal methods for designing such interfaces, in particular methods for the distribution of interface elements across multiple devices, are yet to be developed. This is the reason why every time a new application requires a distributed user interface, the latter has to be designed from scratch, rendering the entire venture economically inefficient. In order to minimize costs, unify and automate the development of distributed interfaces, we need to formulate general formal methods for designing distributed interfaces that will be independent from a particular application or device. This article paper proposes a formal distribution method based on the pi-calculus.
This article presents the methodology of formal automated evaluation of user interface usability. The tiles logic was selected as the language for solving problems in formal usability verification. The paper contains an overview of the related works, explains the reasons for using the tile logic, and considers the principles of verification (proof) of usability as validation of agent's interaction. The differences and advantages of the developed approach from the well-known are shown. A description of the agents interaction in the tile logic is used to automate usability evaluation. The methodology of formal automated usability evaluation is demonstrated by describing the interaction of two simple agents in the tile logic. In conclusion, we present future of use and development of the proposed approach.
The paper presents methodological principles for a formal automated assessment of user interface usability. We chose tile logic as the mathematical tool for solving the problems pertaining to this formal check. The paper reviews previous publications in the field under consideration, explains the reasons behind selecting the method of tile logic, and considers the principles governing verification (proof) of user interface usability. We highlight the differences between the procedure developed and those known previously, and its advantages. We use a simple example to show the principles of formal automated assessment of user interface usability in terms of tile logic. We describe the development of the procedure proposed and the prospects of employing it
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.