Abstract
This paper discusses the use of formal models in the process of investigating the ergonomics of the navigation component in interactive systems. The investigation is based upon model analysis and a set of navigation properties. The formalism employed on this work was Coloured Petri Nets. The paper illustrates how the set of ergonomic properties was mapped into the model properties with the support of the formalism tools and specific functions developed to support the interface designer during model analysis. The context chosen as the basis for discussion is the operation of automated systems in the electricity industry; and a case study is presented to illustrate the analysis.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Design/CPN, http://www.daimi.au.dk/designCPN/
Hussey, A., MacColl, I., Carrington, D.: Assessing Usability from Formal User-Interface Designs. software Verification Research Centre TR00-15, The University of Queensland (May 2000)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1992)
Sousa, M.R.F., Turnell, M.F.Q.V.: User Interface Based on Coloured Petri Nets Modeling and Analysis. In: Proceedings of the 1998 IEEE International Conference on Systems Man and Cybernetics, San Diego, USA (1998)
Turnell, M.F.Q.V., Scaico, A., Sousa, M.R.F., Perkusich, A.: Industrial User Interface Evaluation Based On Coloured Petri Nets Modelling and Analysis. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol. 2220, pp. 69–87. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Scaico, A., de F. Q. Vieira, M., de Sousa, M.R.F., Santoni, C. (2008). Investigating System Navigation Ergonomics through Model Verification. In: Graham, T.C.N., Palanque, P. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2008. Lecture Notes in Computer Science, vol 5136. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70569-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-70569-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70568-0
Online ISBN: 978-3-540-70569-7
eBook Packages: Computer ScienceComputer Science (R0)