Using a High Level Formal Language for Task Model-Based Usability Evaluation

Shah Rukh Humayoun (), Yael Dubinsky (), Tiziana Catarci (), Eli Nazarov () and Assaf Israel ()
Additional contact information
Shah Rukh Humayoun: SAPIENZA - Università di Roma
Yael Dubinsky: IBM Research – Haifa
Tiziana Catarci: SAPIENZA - Università di Roma
Eli Nazarov: Technion – Israel Institute of Technology
Assaf Israel: Technion – Israel Institute of Technology

A chapter in Information Systems: Crossroads for Organization, Management, Accounting and Engineering, 2012, pp 199-207 from Springer

Abstract: 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.

Keywords: Postconditioning Effects; Construct Task Models; Express Domain Knowledge; Lifecycle Evaluation; Task Unit (search for similar items in EconPapers)
Date: 2012
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-7908-2789-7_23

Ordering information: This item can be ordered from
http://www.springer.com/9783790827897

DOI: 10.1007/978-3-7908-2789-7_23

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().