A modal logic for the CARE usability properties for multimodal user interfaces

Simple item page
dc.contributor.authorKamel, Nadjet
dc.contributor.authorSelouani, Sid-Ahmed
dc.contributor.authorHamam, Habib
dc.date.accessioned2020-01-30T11:02:42Z
dc.date.available2020-01-30T11:02:42Z
dc.date.copyright2008en_US
dc.date.issued2008
dc.descriptionThis conference paper is not available at CUD collection. The version of scholarly record of this conference paper is published in SERP 2008 : proceedings of the 2008 International Conference on Software Engineering Research & Practice (2008), available online at: http://www.ndsl.kr/ndsl/search/detail/article/articleSearchResultDetail.do?cn=NPAP08270949en_US
dc.description.abstractThis paper proposes the use of model- checking technique to validate Multimodal User Interfaces (MUIs). It introduces a modal logic to express the CARE (Complementarity, Assignation, Redundancy and Equivalent) usability properties for MUIs : the LCARE modal logic. The syntax, the semantics and an axiom system for LCARE are defined. LCARE allows for the specification of the CARE usability properties that a MUI must satisfy. The model-checking technique is used to check whether a CARE property, expressed in LCARE, is satisfied by a MUI. For this purpose the user multimodal interactions are modeled by a transition system and the CARE properties are expressed in LCARE formulae. A satisfiability relation is defined. It checks whether a LCARE formula is satisfied by the transition system modeling the multimodal interactions. LCARE allows for the specification of all the CARE usability properties. An illustration is given for the Matis application (Multimodal Airline Travel Information System) as a case study.en_US
dc.identifier.citationKamel, N., Selouani, S. A., Hamam, H. (2008). A modal logic for the CARE usability properties for multimodal user interfaces. In Proceedings of the 2008 International Conference on Software Engineering Research and Practice, SERP 2008 (pp. 39–45).en_US
dc.identifier.isbn1601320884;9781601320889
dc.identifier.urihttp://www.ndsl.kr/ndsl/search/detail/article/articleSearchResultDetail.do?cn=NPAP08270949
dc.identifier.urihttp://hdl.handle.net/20.500.12519/97
dc.language.isoenen_US
dc.relationAuthors Affiliations: Kamel, N., University of Moncton, Shippagan Campus 218, Boul. J.-D. Gauthier, Shippagan E8S 1P6, Canada, University of Moncton, Canadian University of Dubai Moncton, New Brunswick, E1A 3E9, Canada; Selouani, S.A., University of Moncton, Shippagan Campus 218, Boul. J.-D. Gauthier, Shippagan E8S 1P6, Canada, University of Moncton, Canadian University of Dubai Moncton, New Brunswick, E1A 3E9, Canada
dc.relation.ispartofseriesProceedings of the 2008 International Conference on Software Engineering Research and Practice, SERP 2008;
dc.rightsPermission to reuse abstract has been secured from CSREA Press .
dc.rights.holderCopyright : 2008 CSREA Press
dc.subjectAxiom systemsen_US
dc.subjectCare usability propertiesen_US
dc.subjectLogicsen_US
dc.subjectModal logicen_US
dc.subjectModel-checking techniquesen_US
dc.subjectMulti modalsen_US
dc.subjectMulti-modal interactionsen_US
dc.subjectMultimodal user interfacesen_US
dc.subjectSatisfiabilityen_US
dc.subjectTransition systemsen_US
dc.subjectTravel information systemsen_US
dc.subjectEngineering researchen_US
dc.subjectInformation theoryen_US
dc.subjectInteractive computer systemsen_US
dc.subjectModel checkingen_US
dc.subjectSoftware engineeringen_US
dc.subjectSpecificationsen_US
dc.subjectUser interfacesen_US
dc.titleA modal logic for the CARE usability properties for multimodal user interfacesen_US
dc.typeConference Paperen_US

Files

Collections

Department of Electrical Engineering