Оценка степени удобства использования пользовательских интерфейсов в логике тайлов

Представлены принципы методологии формальной автоматизированной оценки степени удобства пользовательских интерфейсов. В качестве математического аппарата для решения задач этой формальной проверки выбрана логика тайлов. Приведен обзор работ рассматриваемой области, объяснены причины выбора аппарата логики тайлов и рассмотрены принципы проверки (доказательства) удобства использования пользовательских интерфейсов. Показаны отличия разработанной методологии от известных методологий и ее достоинства. Принципы методологии формальной автоматизированной оценки степени удобства в логике тайлов продемонстрированы на простом примере. Рассмотрены развития предложенной методологии и перспективы ее использования

Работа выполнена при поддержке Минобрнауки России (исследовательский проект № 2.5048.2017/8.9 "Автоматизация синтеза гибридных мультиагентных систем на основе формализации процессов спецификации и верификации")

Литература

[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] Девятков В.В. Верификация свойств интеллектуальных интерфейсов в логике тайлов. Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение, 2016, № 3 (108), с. 65--87. 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: веб-сайт. URL: https://vanseodesign.com/web-design/3-design-layouts/ (дата обращения: 18.09.2019).