Engineering animations in user interfaces

Graphical User Interfaces used to be static, graphically representing one software state after the other. However, animated transitions between these static states are an integral part in modern user interfaces and processes for both their design and implementation remain a challenge for designers and developers. This paper proposes a Petri net model-based approach to support the design, implementation and validation of animated user interfaces by providing a complete and unambiguous description of the entire user interface including animations. A process for designing interactive systems focusing on animations is presented, along with a framework for the definition and implementation of animation in user interfaces. The framework proposes a two levels approach for defining a high-level view of an animation (focusing on animated objects, their properties to be animated and on the composition of animations) and a low-level one dealing with detailed aspects of animations such as timing and optimization. A case study (in the domain of interactive Television) elaborating the application of the presented process and framework exemplifies the contribution.

[1]  Eric Barboni,et al.  ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability , 2009, TCHI.

[2]  Jaime Urquiza-Fuentes,et al.  A Survey of Successful Evaluations of Program Visualization and Algorithm Animation Systems , 2009, TOCE.

[3]  Jian Wang,et al.  Implicit curve oriented inbetweening for motion animation , 2006, GRAPHITE '06.

[4]  Mary Beth Rosson,et al.  The task-artifact cycle , 1991 .

[5]  Min Liu,et al.  The impact of animation interactivity on novices' learning of introductory statistics , 2011, Comput. Educ..

[6]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[7]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[8]  Jeffrey Heer,et al.  Animated Transitions in Statistical Data Graphics , 2007, IEEE Transactions on Visualization and Computer Graphics.

[9]  Bruce H. Thomas,et al.  Applying cartoon animation techniques to graphical user interfaces , 2001, TCHI.

[10]  Mario Kolberg,et al.  Feature interaction: a critical review and considered forecast , 2003, Comput. Networks.

[11]  Marco Winckler,et al.  Beyond modelling: an integrated environment supporting co-execution of tasks and systems models , 2010, EICS '10.

[12]  Patrick Sénac,et al.  Time Stream Petri Nets: A Model for Timed Multimedia Information , 1994, Application and Theory of Petri Nets.

[13]  Philippe A. Palanque,et al.  A model-based tool for interactive prototyping of highly interactive applications , 2002, CHI Extended Abstracts.

[14]  Jenny Chapman,et al.  Digital Multimedia , 2000 .

[15]  John T. Stasko,et al.  Evaluating animations as student aids in learning computer algorithms , 1999, Comput. Educ..

[16]  Philippe A. Palanque,et al.  A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems , 2008, SAFECOMP.

[17]  Stéphane Chatty.  Defining the Dynamic Behaviour of Animated Interfaces , 1992, Engineering for Human-Computer Interaction.

[18]  Manfred Tscheligi,et al.  Interactive simplicity for iTV: minimizing keys for navigating content , 2010 .

[19]  Dan Vodislav,et al.  A visual programming model for user interface animation , 1997, Proceedings. 1997 IEEE Symposium on Visual Languages (Cat. No.97TB100180).

[20]  Fabio Paternò,et al.  Design and development of multidevice user interfaces through multiple logical descriptions , 2004, IEEE Transactions on Software Engineering.

[21]  Sorrel Penn-Edwards.  Interactive Television Production - Review of educational text , 2007 .

[22]  Philippe A. Palanque,et al.  Whizz'Ed: a visual environment for building highly interactive software , 1995, INTERACT.

[24]  Leena Eronen,et al.  User Centered Research for Interactive Television , 2003 .

[25]  Philippe A. Palanque,et al.  Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems , 1998, DSV-IS.

[26]  Marco Ajmone Marsan,et al.  Petri Nets in Performance Analysis: An Introduction , 1996, Petri Nets.

[27]  Thomas Mirlacher.  Modeling animations for dependable interactive applications , 2011, EICS '11.

[28]  Ronald Baecker,et al.  Bringing icons to life , 1991, CHI.

[29]  Tobias Höllerer,et al.  Relocalization using virtual keyframes for online environment map construction , 2009, VRST '09.

[30]  Bay-Wei Chang,et al.  Animation: from cartoons to the user interface , 1993, UIST '93.

[31]  Eric Barboni,et al.  High-Fidelity Prototyping of Interactive Systems Can Be Formal Too , 2009, HCI.

[32]  Lauri Malmi,et al.  A comprehensive taxonomy of algorithm animation languages , 2010, J. Vis. Lang. Comput..