An object-oriented user interface management system
SIGGRAPH '86 Proceedings of the 13th annual conference on Computer graphics and interactive techniques
A user interface toolkit based on graphical objects and constraints
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Graphical toolkit approach to user interaction description
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
QuickSet: multimodal interaction for distributed applications
MULTIMEDIA '97 Proceedings of the fifth ACM international conference on Multimedia
Interaction and modeling techniques for desktop two-handed input
Proceedings of the 11th annual ACM symposium on User interface software and technology
Ten myths of multimodal interaction
Communications of the ACM
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
High precision touch screen interaction
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Validating interactive system design through the verification of formal task and system models
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Prototyping Pre-implementation Designs of Virtual Environment Behaviour
EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Designing Transition Networks for Multimodal VR-Interactions Using a Markup Language
ICMI '02 Proceedings of the 4th IEEE International Conference on Multimodal Interfaces
XISL: a language for describing multimodal interaction scenarios
Proceedings of the 5th international conference on Multimodal interfaces
Support for input adaptability in the ICON toolkit
Proceedings of the 6th international conference on Multimodal interfaces
Precise selection techniques for multi-touch screens
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Programming rich interactions using the hierarchical state machine toolkit
Proceedings of the working conference on Advanced visual interfaces
SwingStates: adding state machines to the swing toolkit
UIST '06 Proceedings of the 19th annual ACM symposium on User interface software and technology
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
A multitouch software architecture
Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Fusion engines for multimodal input: a survey
Proceedings of the 2009 international conference on Multimodal interfaces
A gestural interaction design model for multi-touch displays
Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology
Investigating multi-touch and pen gestures for diagram editing on interactive surfaces
Proceedings of the ACM International Conference on Interactive Tabletops and Surfaces
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Integrating support for usability evaluation into high level interaction descriptions with NiMMiT
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Towards a formalization of multi-touch gestures
ACM International Conference on Interactive Tabletops and Surfaces
Multitouch finger registration and its applications
Proceedings of the 22nd Conference of the Computer-Human Interaction Special Interest Group of Australia on Computer-Human Interaction
Eden: a professional multitouch tool for constructing virtual organic environments
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A model-based approach for supporting engineering usability evaluation of interaction techniques
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
USIXML: a language supporting multi-path development of user interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Formal analysis of ubiquitous computing environments through the APEX framework
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
ConstraintJS: programming interactive behaviors for the web by integrating constraints and states
Proceedings of the 25th annual ACM symposium on User interface software and technology
Proton++: a customizable declarative multitouch framework
Proceedings of the 25th annual ACM symposium on User interface software and technology
| Hi-index | 0.00 |
The widespread use of multi-touch devices and the large amount of research that has been carried out around them has made this technology mature in a very short amount of time. This makes it possible to consider multi-touch interactions in the context of safety critical systems. Indeed, beyond this technical aspect, multi-touch interactions present significant benefits such as input-output integration, reduction of physical space, sophisticated multi-modal interaction? However, interactive cockpits belonging to the class of safety critical systems, development processes and methods used in the mass market industry are not suitable as they usually focus on usability and user experience factors upstaging dependability. This paper presents a tool-supported model-based approach suitable for the development of interactive systems featuring multi-touch interactions techniques. We demonstrate the possibility to describe touch interaction techniques in a complete and unambiguous way and that the formal description technique is amenable to verification. The capabilities of the notation is demonstrated over two different interaction techniques (namely Pitch and Tap and Hold) together with a software architecture explaining how these interaction techniques can be embedded in an interactive application.