Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems

Accot, Johnny; Chatty, Stéphane; Maury, Sébastien; Palanque, Philippe

doi:10.1007/978-3-7091-6878-3_10

Cited by 19 publications

(17 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This allows application programmers to check that the element they are using is as expected, and to access its parts so as to subscribe from them or connect to them. It is also planned for the future to check that the sequence of events that an element may emit (and declared as a regular language for instance) is compatible with the input language of a component that subscribes to it, as in [1]. This would provide an equivalent of type checking for the event-driven architecture, and would help detect if a given device can be used with a given application.…”

Section: Device Inspection and Encapsulationmentioning

confidence: 97%

Multiple Input Support in a Model-Based Interaction Framework

Chatty

Lemort

Valès

2007

Second Annual IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP'07)

View full text Add to dashboard Cite

Developing for tabletops puts special requirements on interface programming frameworks: managing parallel input, device discovery, device equivalence, and describing combined interactions. We analyse these issues and describe the solutions that were used in IntuiKit, a modelbased framework aimed at making the design and development of post-WIMP user interfaces more accessible. Some solutions are simple consequences of the support of multimodality, while others are more specific to multiple touch. We illustrate these features through examples developed in several tabletop projects, including one application aimed at improving collaboration between air traffic controllers.

show abstract

Section: Device Inspection and Encapsulationmentioning

confidence: 97%

Multiple Input Support in a Model-Based Interaction Framework

Chatty

Lemort

Valès

2007

Second Annual IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP'07)

View full text Add to dashboard Cite

show abstract

“…This transducer packages events, forwards them to models listners (i.e. higher level events handlers) such as TapAndHold, Pinch… as defined in [1]. Indeed, a "toucheventf_move" or "toucheventf_up" event will only be triggered if the event corresponds to a registered finger.…”

Section: Low Level Transducermentioning

confidence: 99%

Formal description of multi-touch interactions

Hamon

Palanque

Silva

et al. 2013

Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Self Cite

View full text Add to dashboard Cite

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 multitouch 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.

show abstract

“…There could be a chain of such models handling events from the lower level (raw events or data from the hardware input devices) to high-level events as a double click (see [1] for more details on transducers).…”

Section: Low-level Transducer Descriptionmentioning

confidence: 99%

“…For instance, multimodal interaction techniques are now common both as input and output modalities. One of the most challenging examples is the one of multi-touch systems 1 . Indeed, even though some studies [4] show that they improve the bandwidth between the users and the system, they bring specific challenges such as handling dynamic management of input devices (the fingers) and their associated interaction techniques (including fusion and fission of input (e.g.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal modelling of dynamic instantiation of input devices and interaction techniques

Hamon

Palanque

Cronel

et al. 2014

Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Self Cite

View full text Add to dashboard Cite

Representing the behavior of multi-touch interactive systems in a complete, concise and non-ambiguous way is still a challenge for formal description techniques. Indeed, multitouch interactive systems embed specific constraints that are either cumbersome or impossible to capture with classical formal description techniques. This is due to both the idiosyncratic nature of multi-touch technology (e.g. the fact that each finger represent an input device and that gestures are directly performed on the surface without an additional instrument) and the high dynamicity of interactions usually encountered in this kind of systems. This paper presents a formal description technique able to model multi-touch interactive systems. We focus the presentation on how to represent the dynamic instantiation of input devices (i.e. finger) and how they can then be exploited dynamically to offer a multiplicity of interaction techniques which are also dynamically instantiated.

show abstract

Formal Transducers: Models of Devices and Building Bricks for the Design of Highly Interactive Systems

Cited by 19 publications

References 15 publications

Multiple Input Support in a Model-Based Interaction Framework

Multiple Input Support in a Model-Based Interaction Framework

Formal description of multi-touch interactions

Formal modelling of dynamic instantiation of input devices and interaction techniques

Contact Info

Product

Resources

About