Welcome to the InfoSci Platform
A Formal Approach to the Verification of Adaptability Properties for Mobile Multimodal User Interfaces

A Formal Approach to the Verification of Adaptability Properties for Mobile Multimodal User Interfaces

Nadjet Kamel, Sid Ahmed Selouani, Habib Hamam
Copyright: © 2010 |Pages: 22
ISBN13: 9781605669786|ISBN10: 1605669784|ISBN13 Softcover: 9781616923976|EISBN13: 9781605669793
DOI: 10.4018/978-1-60566-978-6.ch003
Cite Chapter Cite Chapter

MLA

Kamel, Nadjet, et al. "A Formal Approach to the Verification of Adaptability Properties for Mobile Multimodal User Interfaces." Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, edited by Stan Kurkovsky, IGI Global, 2010, pp. 53-74. https://doi.org/10.4018/978-1-60566-978-6.ch003

APA

Kamel, N., Selouani, S. A., & Hamam, H. (2010). A Formal Approach to the Verification of Adaptability Properties for Mobile Multimodal User Interfaces. In S. Kurkovsky (Ed.), Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability (pp. 53-74). IGI Global. https://doi.org/10.4018/978-1-60566-978-6.ch003

Chicago

Kamel, Nadjet, Sid Ahmed Selouani, and Habib Hamam. "A Formal Approach to the Verification of Adaptability Properties for Mobile Multimodal User Interfaces." In Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, edited by Stan Kurkovsky, 53-74. Hershey, PA: IGI Global, 2010. https://doi.org/10.4018/978-1-60566-978-6.ch003

Export Reference

Mendeley
Favorite

Abstract

Multimodal User Interfaces (MUIs) offer to users the possibility to interact with systems using one or more modalities. In the context of mobile systems, this will increase the flexibility of interaction and will give the choice to use the most appropriate modality. These interfaces must satisfy usability properties to guarantee that users do not reject them. Within this context, we show the benefits of using formal methods for the specification and verification of multimodal user interfaces (MUIs) for mobile systems. We focus on the usability properties and specifically on the adaptability property. We show how transition systems can be used to model the MUI and temporal logics to specify usability properties. The verification is performed by using fully automatic model-checking technique. This technique allows the verification at earlier stages of the development life cycle which decreases the high costs involved by the maintenance of such systems.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.