This Article Full Text (PDF) References Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to Saved Citations Download to citation manager Request Permissions Request Reprints Add to My Marked Citations Citing Articles Citing Articles via Google Scholar Citing Articles via Scopus Google Scholar Articles by Heymann, M. Articles by Degani, A. Search for Related Content PubMed Articles by Heymann, M. Articles by Degani, A. Social Bookmarking                         What's this?

Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm

Technion, Israel Institute of Technology, Haifa, Israel

Asaf Degani

NASA Ames Research Center, Mountain View, California, adegani{at}mail.arc.nasa.gov

Objective: We present a formal approach and methodology for the analysis and generation of user interfaces, with special emphasis on human-automation interaction. Background: A conceptual approach for modeling, analyzing, and verifying the information content of user interfaces is discussed. Methods: The proposed methodology is based on two criteria: First, the interface must be correct — that is, given the interface indications and all related information (user manuals, training material, etc.), the user must be able to successfully perform the specified tasks. Second, the interface and related information must be succinct — that is, the amount of information (mode indications, mode buttons, parameter settings, etc.) presented to the user must be reduced (abstracted) to the minimum necessary. Results: A step-by-step procedure for generating the information content of the interface that is both correct and succinct is presented and then explained and illustrated via two examples. Conclusions: Every user interface is an abstract description of the underlying system. The correspondence between the abstracted information presented to the user and the underlying behavior of a given machine can be analyzed and addressed formally. Applications: The procedure for generating the information content of user interfaces can be automated, and a software tool for its implementation has been developed. Potential application areas include adaptive interface systems and customized/personalized interfaces.

Human Factors: The Journal of the Human Factors and Ergonomics Society, Vol. 49, No. 2, 311-330 (2007)
DOI: 10.1518/001872007X312522


CiteULike    Complore    Connotea    Del.icio.us    Digg    Reddit    Technorati    Twitter    What's this?