short-paper

Plasticity of user interfaces: formal verification of consistency

Authors:

Raquel Oliveira,

Sophie Dupuy-Chessa,

Gaëlle CalvaryAuthors Info & Claims

EICS '15: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Pages 260 - 265

https://doi.org/10.1145/2774225.2775078

Published: 23 June 2015 Publication History

Abstract

Plastic user interfaces have the capacity of adapting themselves to their context of use while preserving usability. This property gives rise to several versions of the same UI. This paper addresses the problem of verifying UI adaptation by means of formal methods. It proposes three approaches, all of them supported by the CADP toolbox and LNT formal language. The first approach permits the reasoning over the adaptation output, i.e. the UI versions: some properties are verified over the UI models thanks to model checking. The second solution proposes to verify the plasticity engine. The last approach compares UI versions thanks to equivalence checking. These approaches are discussed and compared on an example of a system in the nuclear power plant domain.

References

[1]

Al-Zain, S., Eleyan, D., and Garfield, J. Automated User Interface Testing for Web Applications and TestComplete. In CUBE, ACM (2012), 350--354.

Digital Library

[2]

Bass, L., Little, R., Pellegrino, R., Reed, S., Seacord, R., Sheppard, S., and Szezur, M. R. The ARCH model: Seeheim Revisited. In User Interface Developpers' Workshop (1991).

[3]

Bauersfeld, S. GUIdiff - A Regression Testing Tool for Graphical User Interfaces. In ICST, IEEE (2013), 499--500.

Digital Library

[4]

Borjesson, E., and Feldt, R. Automated System Testing Using Visual GUI Testing Tools: A Comparative Study in Industry. In ICST, IEEE Computer Society (2012), 350--359.

Digital Library

[5]

Bowen, J., and Reeves, S. Refinement for User Interface Designs. Electronic Notes in Theoretical Computer Science 208 (2008), 5--22.

Digital Library

[6]

Calvary, G., Coutaz, J., Thevenin, D., Limbourg, Q., Bouillon, L., and Vanderdonckt, J. A Unifying Reference Framework for Multi-Target User Interfaces. Interacting with Computers 15, 3 (2003), 289--308.

[7]

Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., McKinty, C., Powazny, V., Lang, F., Serwe, W., and Smeding, G. Reference Manual of the LNT to LOTOS Translator (Version 6.1). INRIA/VASY and INRIA/CONVECS, 131 pages, Aug. 2014.

[8]

Garavel, H., Lang, F., Mateescu, R., and Serwe, W. CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes. International Journal on Software Tools for Technology Transfer 15, 2 (2013), 89--107.

[9]

Jung, H., Lee, S., and Baik, D.-K. An Image Comparing-based GUI Software Testing Automation System. In Software Engineering Research and Practice (Las Vegas, NV, USA, May 2012), 318--322.

[10]

Lu, L., and Huang, Y. Automated GUI Test Case Generation. In CSSS, IEEE Computer Society (2012), 582--585.

Digital Library

[11]

Masci, P., Ayoub, A., Curzon, P., Harrison, M. D., Lee, I., and Thimbleby, H. Verification of Interactive Software for Medical Devices: PCA Infusion Pumps and FDA Regulation As an Example. In Proceedings of the 5th ACM SIGCHI Symposium on EICS'13, ACM (2013), 81--90.

Digital Library

[12]

Mateescu, R., and Thivolle, D. A Model Checking Language for Concurrent Value-Passing Systems. In FM 2008, J. Cuellar and T. Maibaum, Eds., vol. 5014 of Lecture Notes in Computer Science, Springer Verlag (Turku, Finlande, 2008), 148--164.

Digital Library

[13]

Navarre, D., Palanque, P. A., Ladry, J.-F., and Barboni, E. ICOs: A Model-Based User Interface Description Technique Dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. ACM Trans. Comput.-Hum. Interact. 16, 4 (2009).

Digital Library

[14]

Nichols, J., Myers, B. A., and Rothrock, B. UNIFORM: Automatically Generating Consistent Remote Control User Interfaces. In CHI '06: Proceedings of the SIGCHI conference on Human Factors in computing systems, ACM Press (New York, NY, USA, 2006), 611--620.

Digital Library

[15]

Oliveira, R., Dupuy-Chessa, S., and Calvary, G. Formal Verification of UI Using the Power of a Recent Tool Suite. In EICS (2014), 235--240.

Digital Library

[16]

Oliveira, R., Dupuy-Chessa, S., and Calvary, G. Equivalence Checking for Comparing User Interfaces. In EICS, ACM (2015).

Digital Library

[17]

Paternó, F. Formal Reasoning about Dialogue Properties with Automatic Support. Interacting with Computers 9, 2 (1997), 173--196.

[18]

Sousa, M., Campos, J., Alves, M., and Harrison, M. Formal Verification of Safety-Critical User Interfaces: a Space System Case Study. In Formal Verification and Modeling in Human Machine Systems: AAAI Spring Symposium, AAAI Press (2014), 62--67.

[19]

Vanderdonckt, J., Calvary, G., Coutaz, J., and Stanciulescu, A. Multimodality for Plastic User Interfaces: Models, Methods, and Principles. Springer, 2008, chapitres d'ouvrages 4, 61--84. D. Tzovaras (ed.), Lecture Notes in Electrical Engineering, Springer-Verlag, Berlin, 2007.

Cited By

Sluÿters AVanderdonckt JVatavu R(2021)Engineering Slidable Graphical User Interfaces with SlimeProceedings of the ACM on Human-Computer Interaction10.1145/34571475:EICS(1-29)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3457147
Burny NVanderdonckt J(2021)UiLab, a Workbench for Conducting and Reproducing Experiments in GUI Visual DesignProceedings of the ACM on Human-Computer Interaction10.1145/34571435:EICS(1-31)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3457143
Miraz MAli MExcell P(2021)Adaptive user interfaces and universal usability through plasticity of user interface designComputer Science Review10.1016/j.cosrev.2021.10036340:COnline publication date: 1-May-2021
https://dl.acm.org/doi/10.1016/j.cosrev.2021.100363
Show More Cited By

Index Terms

Plasticity of user interfaces: formal verification of consistency

Recommendations

Equivalence checking for comparing user interfaces
EICS '15: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Plastic User Interfaces (UIs) have the capacity to adapt to changes in their context of use while preserving usability. This exposes users to different versions of UIs that can diverge from each other at several levels, which may cause loss of ...
Beyond verification: leveraging formal for debugging
DAC '09: Proceedings of the 46th Annual Design Automation Conference

The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the overall verification plan. This has led to significant verification ...
An intelligent editor for multi-presentation user interfaces
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

In ubiquitous computing, interactive applications are shipped with different variations of its user interface depending on the constraints imposed by the context in which they are running, such as the user, the computing platform and environment. A ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

EICS '15: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

June 2015

316 pages

ISBN:9781450336468

DOI:10.1145/2774225

General Chair:
Jürgen Ziegler
University of Duisburg-Essen, Germany
,
Program Chairs:
Michael Nebeling
Carnegie Melon University, USA
,
Laurence Nigay
Université Grenoble Alpes, France

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGCHI: ACM Special Interest Group on Computer-Human Interaction

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper

Funding Sources

French Connexion Cluster (Programme d'Investissements d'avenir/Fonds national pour la société numérique/Usages, services et contenus innovants)

Conference

EICS'15

Sponsor:

SIGCHI

EICS'15: ACM SIGCHI Symposium on Engineering Interactive Computing Systems

June 23 - 26, 2015

Duisburg, Germany

Acceptance Rates

EICS '15 Paper Acceptance Rate 19 of 64 submissions, 30%;

Overall Acceptance Rate 73 of 299 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
139
Total Downloads

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

Reflects downloads up to 13 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sluÿters AVanderdonckt JVatavu R(2021)Engineering Slidable Graphical User Interfaces with SlimeProceedings of the ACM on Human-Computer Interaction10.1145/34571475:EICS(1-29)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3457147
Burny NVanderdonckt J(2021)UiLab, a Workbench for Conducting and Reproducing Experiments in GUI Visual DesignProceedings of the ACM on Human-Computer Interaction10.1145/34571435:EICS(1-31)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3457143
Miraz MAli MExcell P(2021)Adaptive user interfaces and universal usability through plasticity of user interface designComputer Science Review10.1016/j.cosrev.2021.10036340:COnline publication date: 1-May-2021
https://dl.acm.org/doi/10.1016/j.cosrev.2021.100363
Bowen JDix APalanque PWeyers B(2017)Topics of Formal Methods in HCIThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_2(57-64)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_2
Oliveira RPalanque PWeyers BBowen JDix A(2017)State of the Art on Formal Methods for Interactive SystemsThe Handbook of Formal Methods in Human-Computer Interaction10.1007/978-3-319-51838-1_1(3-55)Online publication date: 25-Apr-2017
https://doi.org/10.1007/978-3-319-51838-1_1
Oliveira RDupuy-Chessa SCalvary GDadolle DLuyten KPalanque PCampos JSchmidt A(2016)Using formal models to cross check an implementationProceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/2933242.2933257(126-137)Online publication date: 21-Jun-2016
https://dl.acm.org/doi/10.1145/2933242.2933257
Oliveira RDupuy-Chessa SCalvary G(2015)Verification of Plastic Interactive Systemsi-com10.1515/icom-2015-003614:3(192-204)Online publication date: 1-Dec-2015
https://doi.org/10.1515/icom-2015-0036

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents