Advances in Petri nets 1986, part I on Petri nets: central models and their properties
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Designing interaction
Animation: from cartoons to the user interface
UIST '93 Proceedings of the 6th annual ACM symposium on User interface software and technology
Evaluating animations as student aids in learning computer algorithms
Computers & Education
Applying cartoon animation techniques to graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
A model-based tool for interactive prototyping of highly interactive applications
CHI '02 Extended Abstracts on Human Factors in Computing Systems
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
Defining the Dynamic Behaviour of Animated Interfaces
Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction
Petri Nets in Performance Analysis: An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Time Stream Petri Nets: A Model for Timed Multimedia Information
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Visual Programming Model for User Interface Animation
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions
IEEE Transactions on Software Engineering
Implicit curve oriented inbetweening for motion animation
Proceedings of the 4th international conference on Computer graphics and interactive techniques in Australasia and Southeast Asia
Animated Transitions in Statistical Data Graphics
IEEE Transactions on Visualization and Computer Graphics
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 Survey of Successful Evaluations of Program Visualization and Algorithm Animation Systems
ACM Transactions on Computing Education (TOCE) - Special Issue on the 5th Program Visualization Workshop (PVW’08)
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Digital Multimedia
ACM Transactions on Computer-Human Interaction (TOCHI)
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Relocalization using virtual keyframes for online environment map construction
Proceedings of the 16th ACM Symposium on Virtual Reality Software and Technology
A comprehensive taxonomy of algorithm animation languages
Journal of Visual Languages and Computing
Interactive simplicity for iTV: minimizing keys for navigating content
Proceedings of the 8th international interactive conference on Interactive TV&Video
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
Modeling animations for dependable interactive applications
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
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.