This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures. An approach to make the language more resilient to intermediate poses is evaluated based on a timed extension of the model. A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.
Formal verification in the design of gestural interaction
Faconti G;Massink M
2001
Abstract
This paper shows how formal modelling can be used in the design of a dynamic gesture language defined by sequences of poses. It discusses two models at different levels of abstraction dealing with important usability issues of the language such as ambiguity and overlap in the recognition of gestures. An approach to make the language more resilient to intermediate poses is evaluated based on a timed extension of the model. A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_68381-doc_55829.pdf
solo utenti autorizzati
Descrizione: Formal verification in the design of gestural interaction
Tipologia:
Versione Editoriale (PDF)
Dimensione
203.48 kB
Formato
Adobe PDF
|
203.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.