article

Formal Models for Informal GUI Designs

Authors:

Steve ReevesAuthors Info & Claims

Electronic Notes in Theoretical Computer Science (ENTCS), Volume 183

Pages 57 - 72

https://doi.org/10.1016/j.entcs.2007.01.061

Published: 01 July 2007 Publication History

Abstract

Many different methods exist for the design and implementation of software systems. These methods may be fully formal, such as the use of formal specification languages and refinement processes, or they may be totally informal, such as jotting design ideas down on paper prior to coding, or they may be somewhere in between these two extremes. Formal methods are naturally suited to underlying system behaviour while user-centred approaches to user interface design fit comfortably with more informal approaches. The challenge is to find ways of integrating user-centred design methods with formal methods so that the benefits of both are fully realised. This paper presents a way of capturing the intentions behind informal design artefacts within a formal environment and then shows several applications of this approach.

References

[1]

2002. Prentice-Hall International series in computer science, 2002.first edition. ISO/IEC.

[2]

Judy Bowen. Formal specification of user interface design guidelines. Masters thesis, Computer Science Department, University of Waikato, 2005

[3]

Bowen, Judy and Reeves, Steve, Formal refinement of informal GUI design artefacts. In: Proceedings of the Australian Software Engineering Conference, IEEE. pp. 221-230.

Digital Library

[4]

Calvary, G., Coutaz, J. and Thevenin, D., Supporting context changes for plastic user interfaces: A process and a mechanism. In: Blandford, A., Vanderdonckt, J., Gray, P. (Eds.), Joint Proceedings of HCI'2001 and IHM'2001, Springer-Verlag. pp. 349-363.

[5]

Calvary, Gaelle, Coutaz, Joèlle and Thevenin, David, A unifying reference framework for the development of plastic user interfaces. In: EHCI '01: Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction, Springer-Verlag, London, UK. pp. 173-192.

[6]

Francesco Correani, Giulio Mori, and Fabio Paternò. Supporting flexible development of multi-device interfaces. In EHCI/DS-VIS, pages 346--362, 2004

[7]

Courtney, Antony, Functionally modeled user interfaces. In: Joaquim, J., Jardim Nunes, N., Falcao e Cunha, J. (Eds.), Springer Verlag Lecture Notes in Computer Science LNCS, pp. 107-123.

[8]

Coyette, Adrien, Faulkner, Stéphane, Kolp, Manuel, Limbourg, Quentin and Vanderdonckt, Jean, Sketchixml: towards a multi-agent design tool for sketching user interfaces based on usixml. In: TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagrams, ACM Press, New York, NY, USA. pp. 75-82.

[9]

Derrick, John and Boiten, Eerke, Refinement in Z and Object-Z: Foundations and Advanced Applications. May 2001. Springer.

[10]

Duke, David J., Fields, Bob and Harrison, Michael D., A case study in the specification and analysis of design alternatives for a user interface. Formal Asp. Comput. v11 i2. 107-131.

[11]

D.F. Gieskens and J.D. Foley. Controlling user interface objects through pre and postconditions. In Proc. of CHI-92, pages 189--194, Monterey, CA, 1992

[12]

A. Hussey, I. MacColl, and D. Carrington. Assessing usability from formal user-interface designs. Technical Report TR00-15, Software Verification Research Centre, The University of Queensland, 2000

[13]

http://www.win.tue.nl/ifm/

[14]

J. Landay. Silk: Sketching interfaces like krazy. In Human Factors in Computing Systems (Conference Companion), ACM CHI '96, Vancouver, Canada, April 13--18, pages 398--399, 1996

[15]

A. Paiva, N. Tillmann, J. Faria, and R. Vidal. Modeling and testing hierarchical GUIs. In D. Beauquier, E. Borger, and A. Slissenko, editors, ASM05, pages 329--344. Universite de Paris, 2005

[16]

Parnas, David L., On the use of transition diagrams in the design of a user interface for an interactive computer system. In: Proceedings of the 1969 24th national conference, ACM Press. pp. 379-385.

[17]

Paternò, F.M., Sciacchitano, M.S. and Lowgren, J., A user interface evaluation mapping physical user actions to task-driven formal specification. In: Design, Specification and Verification of Interactive Systems, Springer Verlag. pp. 155-173.

[18]

Paternò, Fabio, Task models in interactive software systems. 2001.

[19]

Paternò, Fabio, Towards a UML for interactive systems. In: EHCI '01: Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction, Springer-Verlag, London, UK. pp. 7-18.

[20]

Pfaff, G.E., User Interface Management Systems. 1985. Springer-Verlag, Inc., New York.

[21]

Plimmer, Beryl and Apperley, Mark, Computer-aided sketching to capture preliminary design. In: CRPIT '02: Third Australasian conference on User interfaces, Australian Computer Society, Inc., Darlinghurst, Australia, Australia. pp. 9-12.

[22]

Shneiderman, Ben, Designing the User Interface: Strategies for Effective Human-Computer Interaction. 1998. 3rd edition. Addison Wesley Longman Inc.

[23]

Smith, Graeme, The Object-Z Specification Language. 2000. Kluwer Academic Publishers.

[24]

Thimbleby, H., Design of interactive systems. 1990.

[25]

Thimbleby, Harold, User interface design with matrix algebra. ACM Trans. Comput.-Hum. Interact. v11 i2. 181-236.

[26]

Wirth, Niklaus, Program development by stepwise refinement. Communications of the ACM. v14 i4. 221-227.

[27]

Woodcock, J. and Davies, J., Using Z: Specification, Refinement and Proof. 1996. Prentice Hall.

Cited By

da Costa RCampos J(2023)Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred DesignHuman-Computer Interaction – INTERACT 202310.1007/978-3-031-42283-6_27(504-513)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1007/978-3-031-42283-6_27
Emond B(2021)Formal Methods in Human-Computer Interaction and Adaptive Instructional SystemsAdaptive Instructional Systems. Design and Evaluation10.1007/978-3-030-77857-6_12(183-198)Online publication date: 24-Jul-2021
https://dl.acm.org/doi/10.1007/978-3-030-77857-6_12
Béger PLeriche SPrun D(2019)A Survey of Papers from Formal Methods for Interactive Systems (FMIS) WorkshopsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54994-7_33(443-464)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-54994-7_33
Show More Cited By

Index Terms

Formal Models for Informal GUI Designs
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. Interaction paradigms
      1. Graphical user interfaces
  2. Interaction design
    1. Interaction design process and methods
      1. User centered design
2. Software and its engineering
  1. Software creation and management
    1. Software development process management
      1. Software development methods

Recommendations

Towards the Composition of Specifications in Event-B

The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Refinement for User Interface Designs

Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into ...
A Formal Framework for ASTRAL Intralevel Proof Obligations

ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...

Comments

Information & Contributors

Information

Published In

cover image Electronic Notes in Theoretical Computer Science (ENTCS)

Electronic Notes in Theoretical Computer Science (ENTCS) Volume 183, Issue

July, 2007

102 pages

ISSN:1571-0661

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2007.

Publisher

Elsevier Science Publishers B. V.

Netherlands

Publication History

Published: 01 July 2007

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

da Costa RCampos J(2023)Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred DesignHuman-Computer Interaction – INTERACT 202310.1007/978-3-031-42283-6_27(504-513)Online publication date: 28-Aug-2023
https://dl.acm.org/doi/10.1007/978-3-031-42283-6_27
Emond B(2021)Formal Methods in Human-Computer Interaction and Adaptive Instructional SystemsAdaptive Instructional Systems. Design and Evaluation10.1007/978-3-030-77857-6_12(183-198)Online publication date: 24-Jul-2021
https://dl.acm.org/doi/10.1007/978-3-030-77857-6_12
Béger PLeriche SPrun D(2019)A Survey of Papers from Formal Methods for Interactive Systems (FMIS) WorkshopsFormal Methods. FM 2019 International Workshops10.1007/978-3-030-54994-7_33(443-464)Online publication date: 7-Oct-2019
https://dl.acm.org/doi/10.1007/978-3-030-54994-7_33
Campos Filho ANovaes MGomes A(2015)A 3D visualization framework to social network monitoring and analysisComputers in Human Behavior10.1016/j.chb.2015.03.05349:C(623-634)Online publication date: 1-Aug-2015
https://dl.acm.org/doi/10.1016/j.chb.2015.03.053
Bowen JHinze ABarbosa SCampos JKazman RPalanque PHarrison MReeves S(2012)Using ontologies to reason about the usability of interactive medical devices in multiple situations of useProceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2305484.2305525(247-256)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2305484.2305525
Bowen JReeves SBarbosa SCampos JKazman RPalanque PHarrison MReeves S(2012)Modelling user manuals of modal medical devices and learning from the experienceProceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2305484.2305505(121-130)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2305484.2305505
Bowen JReeves SOrmerod TSas C(2007)Using formal models to design user interfacesProceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 110.5555/1531294.1531316(159-166)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.5555/1531294.1531316

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents