Abstract
This paper describes the first results of a work which aims to join two different levels in order to evaluate user interfaces. The two levels are task specification and user physical actions. To achieve this goal we pass through an intermediate level: the formal specification of the system considered. The approach entails building an interactor-based LOTOS formal specification of the system starting from task specification. Then a tool, which we have developed, gathers information from both low and high abstraction levels and evaluates the user interactions. The behaviour and results of this tool are shown. We also present how the tool has been applied to Map, a real application used for presenting maps.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bolognesi, T., Brinskma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, vol. 14, pp. 25–59 (1989).
Coutaz, J.,: PAC, An Object-Oriented Model for Dialog Design. In Proceedings Interact’ 87. H. Bullinger and B. Shackel eds., North Holland, pp. 431–436.
Coutaz, J., Salber, D., Balbo, S.: Towards Automatic Evaluation of Multimodal User Interfaces. Amodeus Project Document SM/WP32 (December 1993).
Vergamini, D.: AUTO/MAUTO User Manual, version 2.3. Draft CERICS (January 1992).
Duke, D., Harrison, M.: Abstract Interaction Objects. Computer Graphics Forum 12 (3), pp. 25–36 (1993).
Van Eijk, P.: The Lotosphere Integrated Tool Environment. Proceedings 4th International Conference on Formal Description Techniques (FORTE `91), Sydney, pp. 473–476, (November 1991).
Finley, J., Harrison, M.: Pattern Recognition and Interaction Models. HCI INTERACT `90, pp. 149–154 (1990).
Foley, J., Kim, W.C., Kovacevic, S., Murray, K.: Defining Interfaces at a High Level of Abstraction. IEEE Software, pp. 25–32 (January 1989).
Hartson, H.R., Siochi, A., Hix, D.: The UAN: A User-Oriented Representation for Direct Manipulation Interface Designs. Transactions on Information Systems, vol. 8, num. 3, pp. 181–203 (July 1990).
Kieras, D., Poison, P.G.: An Approach to the Formal Analysis of User Complexity. International Journal of Man-Machine Studies 22, pp. 365–394 (1985).
Lowgren, J., Nordqvist, T.: Knowledge-Based Evaluation as Design Support for Graphical User Interfaces. CHI May 3–7, pp. 181–188 (1992).
Madelaine, E., De Simone, R.: FC: Reference Manual, version 1.1. Esprit Basic Research Action CONCUR2 (July 1993).
Mercury Interactive Corporation: XRunner/WinRunner, Automated Software Testing Systems, technical overview, version 1. 0. (1993).
Paterno’, F.: A Theory of User-Interaction Objects. Journal of Visual Languages and Computing, vol. 5, num. 3, pp. 227–249.
Paterno’, F.: A Methodology for a Task-Driven Modelling of Interactive System. Amodeus Project Document SM/WP7 (1994).
Paterno’, F., Faconti, G.: On the LOTOS Use to Describe Graphical Interaction. HCI `92: People and Computers VII, pp. 155–173 (1992).
Paterno’, F., Mezzanotte, M.: Analysing Matis by Interactor and ACTL. Amodeus Project Document SM/WP36 (September 1994).
Siochi, A.C., Ehrich, R.W.,: Computer Analysis of User Interfaces Based on Repetition in Transcripts of User Sessions. ACM Transactions on Information Systems, vol. 9 num. 4, pp. 309–335 (October 1991).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag/Wien
About this paper
Cite this paper
Paterno, F., Sciacchitano, M.S., Lowgren, J. (1995). A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications. In: Palanque, P., Bastide, R. (eds) Design, Specification and Verification of Interactive Systems ’95. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9437-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9437-9_4
Publisher Name: Springer, Vienna
Print ISBN: 978-3-211-82739-0
Online ISBN: 978-3-7091-9437-9
eBook Packages: Springer Book Archive