Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Formal description of multi-touch interactions
Hamon A., Palanque P., Silva J., Deleris Y., Barboni E.  EICS 2013 (Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, London, UK, Jun 24-27, 2013)207-216.2013.Type:Proceedings
Date Reviewed: May 7 2014

The combination of handheld devices and touch-based input modes has opened the door to more convenient and intimate interactions between humans and computers. Many of us carry them at all times, and perform tasks that are impractical with conventional computers. While this is without doubt a major advance in various aspects of usability, there are situations and contexts in which usability and convenience must be balanced against other, possibly more critical, requirements. The authors of this paper investigate the use of formal description methods for multi-touch interactions in airplane cockpits where the dependability of the interactions must satisfy requirements for safety-critical systems set by certification authorities.

Interactions can be viewed as languages: basic interaction events make up the elementary vocabulary, and they can be combined into sequences of activities according to the language syntax and given meaning through a mapping between an interaction sequence and the corresponding system command. Specifically for multi-touch interaction, such languages require a strong expressiveness since they need to be able to handle concurrent events (like gestures involving multiple fingers), and possibly multiple users.

The authors use interactive cooperative objects (ICOs) to describe the structural (static) and behavioral (dynamic) aspects of multi-touch interactions, illustrated by a formal description of the “pinch” gesture. In combination with existing tools, systems specified through ICO models can be evaluated with respect to invariant analysis, structural analysis, reachability graph analysis, and other properties.

In addition to knowing that, as airline passengers, our safety will not just rely on the trend of the day concerning “natural” and “intuitive” gestures, the ability to formally analyze certain aspects of human–computer interaction will hopefully move beyond safety-critical interaction spaces into the ones we deal with on a daily basis.

Reviewer:  Franz Kurfess Review #: CR142259 (1408-0655)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Design Tools and Techniques (D.2.2 )
 
 
User Interfaces (H.5.2 )
 
Would you recommend this review?
yes
no
Other reviews under "Design Tools and Techniques": Date
Information-flow and data-flow analysis of while-programs
Bergeretti J., Carré B. ACM Transactions on Programming Languages and Systems 7(1): 37-61, 1985. Type: Article
Jul 1 1985
An extensible toolset and environment for the production of mathematical software
Osterweil L., Clemm G.  Tools, methods and languages for scientific and engineering computation (, Paris, France,361984. Type: Proceedings
Sep 1 1985
A system for interactive viewing of structured documents
Witten I., Bramwell B. Communications of the ACM 28(3): 280-288, 1985. Type: Article
Mar 1 1986
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy