Assessment of User Interface Usability in Terms of Tile Logic

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

The study was supported by the Ministry of Education and Science of Russian Federation(research project no. 2.5048.2017/8.9, Automating the synthesis of multi-agent hybrid system by formalising specification and verification processes)

References

[1] Reed P., Holdaway K., Isensee S., et al. User interface guidelines and standards: progress, issues, and prospects. Interact. Comput., 1999, vol. 12, iss. 2, pp. 119--142. DOI: https://doi.org/10.1016/S0953-5438(99)00008-9

[2] Nielsen J., Molich R. Heuristic evaluation of user interfaces. Proc. SIGCHI Conf. Human Factors in Computing Systems, 1990, pp. 249--256. DOI: https://doi.org/10.1145/97243.97281

[3] Rieman J., Franzke M., Redmiles D. Usability evaluation with the cognitive walkthrough. Conf. Companion on Human Factors in Computing Systems, 1995, pp. 387--388. DOI: https://doi.org/10.1145/223355.223735

[4] Bias R.G. The pluralistic usability walkthrough: coordinated empathies. In: Usability Inspection Methods. Wiley & Sons, 1994, pp. 63--76.

[5] Nielsen J. Usability inspection methods. Conf. Companion on Human Factors in Computing Systems, 1994, pp. 413--414. DOI: https://doi.org/10.1145/259963.260531

[6] Hackos J.T., Redish J. User and task analysis for interface design. Wiley, 1998.

[7] Nielsen J. The use and misuse of focus groups. IEEE Softw., 1997, vol. 14, iss. 1, pp. 94--95. DOI: https://doi.org/10.1109/52.566434

[8] Jacob R.J., Karn K.S. Eye tracking in human-computer interaction and usability research: Ready to deliver the promises. In: The Mind’s Eye. Cognitive and Applied Aspects of Eye Movement Research. Elsevier Science, 2003, pp. 573--605.

[9] Liu Z., Wang Y., Dontcheva M., et al. Patterns and sequences: interactive exploration of clickstreams to understand common visitor paths. IEEE Trans. Vis. Comput. Graphics, 2017, vol. 23, no. 1, pp. 321--330. DOI: https://doi.org/10.1109/TVCG.2016.2598797

[10] Baker S., Au F., Dobbie G., et al. Automated usability testing using HUI analyzer. Proc. ASWEC, 2008, pp. 579--588. DOI: https://doi.org/10.1109/ASWEC.2008.4483248

[11] Lin Y.-C., Yeh C.-H., Wei C.-C. How will the use of graphics affect visual aesthetics? A user-centered approach for web page design. Int. J. Hum. Comput. Stud., 2013, vol. 71, iss. 3, pp. 217--227. DOI: https://doi.org/10.1016/j.ijhcs.2012.10.013

[12] Bylinskii Z., Kim N.W., O’Donovan P., et al. Learning visual importance for graphic designs and data visualizations. Proc. 30th Ann. ACM Symp. User Interface Software and Technology, 2017, pp. 57--69. DOI: https://doi.org/10.1145/3126594.3126653

[13] Devyatkov V.V. Verification of intelligent interface properties in the tiles logic. Herald of the Bauman Moscow State Technical University, Series Instrument Engineering, 2016, no. 3 (108), pp. 65--87 (in Russ.). DOI: https://doi.org/10.18698/0236-3933-2016-3-65-87

[14] Engelbrecht K.P., Kruppa M., Moller S., et al. MeMo workbench for semiautomated usability testing. 9th Ann. Conf. Int. Speech Communication Association, 2008, pp. 1662--1665.

[15] Bruni R., Meseguer J., Montanari U. Process and term tile logic. Technical Report TR-98-09. Universiteta de Pisa, 1998.

[16] Mahyavanshi N., Patil M., Kulkarni V. Enhancing web usability using user behavior and cognitive study. Int. J. Comput. Appl., 2017, vol. 164, no. 2, pp. 27--31. DOI: https://doi.org/10.5120/ijca2017913594

[17] Bradley S. Design layouts: Gutenberg diagram, Z-pattern, and F-pattern. vanseodesign.com: website. Available at: https://vanseodesign.com/web-design/3-design-layouts/ (accessed: 18.09.2019).