Abstract
Evaluating usability is a challenge in many development projects. We propose a formal high-level task modeling language, called TaMoGolog, to define task model-based usability evaluation. TaMoGolog provides a well-defined syntax and semantics, enables precondition axioms of tasks, states postcondition effects to variables due to tasks execution, provides a rich set of operators for constructing task models of complex system behavior in an accurate and unambiguous form, and gives the facility to express domain knowledge in resulting task models. We suggest a framework to use TaMoGolog and describe the life-cycle for evaluating the usability of software products through formal task models. We further present a tool, called TaMUlator, to manage and automate the proposed evaluation life-cycle at the integrated development environment (IDE) level.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Dix, A., Finlay, J.E., Abowd, G.D., and Beale, R. 2003. Human Computer Interaction, 3rd Edition, Prentice Hall.
de Giacomo, G., Lespérance, Y., and Levesque, H. J. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell. 121, 1–2 (Aug. 2000).
de Giacomo, G., Lespérance, Y., and Pearce, A. R. 2010. Situation Calculus Based Programs for Representing and Reasoning about Game Structures. KR 2010.
Dubinsky, Y., Humayoun, S. R., and Catarci, T. 2008: Eclipse Plug-in to Manage User Centered Design, Workshop on the Interplay between Usability Evaluation and Software Development (I-USED), September 2008, Pisa, Italy.
Humayoun, S. R., Dubinsky, Y., and Catarci, T. 2009. UEMan: A tool to manage user evaluation in development environments. ICSE’09, May 16–24, 2009.
Humayoun, S.R., Catarci, T., Dubinsky, Y. 2011. A Dynamic Framework for Multi-View Task Modeling. CHITALY 2011, 13–16 September 2011, Alghero, Italy.
Humayoun, S. R., Dubinsky, Y., Nazarov, E., Israel, A., Catarci, T. 2011. TaMUlator: A Tool to Manage Task Model-based Usability Evaluation in Development Environments. In Proc. of IADIS Conference IHCI 2011, July 20–26, Rome, Italy, 2011.
Ivory, M. and Hearst, M. 2001. The State of the Art in Automating Usability Evaluation of User Interfaces. ACM Computing Surveys, 33, 4, pp. 470–516, Dec. 2001.
Levesque, H. J., Reiter, R., Lespérance, Y., Lin, F., and Scherl, R. B. 1997. GOLOG: A Logic Programming Language for Dynamic Domains. Logic Programming, vol. 33.
Sardina, S., and Lespérance, Y. 2009. Golog Speaks the BDI Language. Proc of PROMAS’09.
Whiteside, J., Bennett, J., and Holtzblatt, K. 1988. Usability engineering: Our experience and evolution. In Handbook of Human-Computer Interaction, 791–817.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Humayoun, S.R., Dubinsky, Y., Catarci, T., Nazarov, E., Israel, A. (2012). Using a High Level Formal Language for Task Model-Based Usability Evaluation. In: De Marco, M., Te'eni, D., Albano, V., Za, S. (eds) Information Systems: Crossroads for Organization, Management, Accounting and Engineering. Physica, Heidelberg. https://doi.org/10.1007/978-3-7908-2789-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-7908-2789-7_23
Published:
Publisher Name: Physica, Heidelberg
Print ISBN: 978-3-7908-2788-0
Online ISBN: 978-3-7908-2789-7
eBook Packages: Business and EconomicsBusiness and Management (R0)