Loading...
Please wait, while we are loading the content...
Similar Documents
Mise en oeuvre d'IHM multimodales dans un système de CAO : Une approche fondée sur les méthodes formelles
| Content Provider | Semantic Scholar |
|---|---|
| Author | Kamel, Nadjet Ameur, Yaminw Ait |
| Copyright Year | 2005 |
| Abstract | This paper addresses the use of formal modelling of multimodal interaction within a CAD system. We define a formal model for the multimodal interaction mainly input multimodal interactions. This model allows the design of multimodal interaction according to the kind of the multimodal interface. It is inspired from process algebra model with transition systems as semantics. We present the expression of the usability properties by CTL (Computational Tree Logic) temporal logic formula. A modelisation of two kinds of multimodal interfaces for a toy CAD system is checked using the SMV (Symbolic Model Verifier) model-checker. SMV is a tool allowing to check finite state transition systems against specification in the temporal logic CTL. |
| Starting Page | 235 |
| Ending Page | 256 |
| Page Count | 22 |
| File Format | PDF HTM / HTML |
| Volume Number | 1 |
| Alternate Webpage(s) | http://iihm.imag.fr/nigay/VERBATIM/IHMCAO05.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
