Statecharts: A visual formalism for complex systems
Science of Computer Programming
A cookbook for using the model-view controller user interface paradigm in Smalltalk-80
Journal of Object-Oriented Programming
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
A systematic catalogue of reusable abstract data types
A systematic catalogue of reusable abstract data types
Separating application code from toolkits: eliminating the spaghetti of call-backs
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
CHI'90 workshop on multimedia and multimodal interface design
ACM SIGCHI Bulletin
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
A compositional axiomatization of Statecharts
Theoretical Computer Science - Selected papers of the International BCS-FACS Workshop on Semantics for Concurrency, Leicester, UK, July 1990
The abstraction-link-view paradigm: using constraints to connect user interfaces to applications
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Primer in Petri Net Design
User-Interface Management Control and Communication
IEEE Software
Programming Environments for End-Users
Proceedings of the IFIP 12th World Computer Congress on Personal Computers and Intelligent Systems - Information Processing '92 - Volume 3 - Volume 3
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
The triad-based design of rich user interfaces for internet applications
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
| Hi-index | 0.00 |
This paper introduces a new visual formalism, called ADV-charts, for specifying the behavior of interactive systems (including multi-modal interactive systems) by using a state machine approach. ADVcharts combine concepts from Abstract Data Views, with notations from Objectcharts, Statecharts, and Petri-nets. ADVcharts are motivated by the need to provide a formal semantics for the Abstract Data Views concept, while serving as a foundation for a future design methodology for interactive systems. In particular, we show some aspects of design specific to interactive systems, such as the association of input devices with particular Abstract Data Views, the concurrency of the components of a user interface, and the representation of various modes (input and output) in the design of an interactive system.