A survey of three dialogue models
ACM Transactions on Graphics (TOG)
A specification language for direct-manipulation user interfaces
ACM Transactions on Graphics (TOG) - Special issue on user interface software
Communications of the ACM
Toward empirically derived methodologies and tools for human-computer interface development
International Journal of Man-Machine Studies
An examination of requirements specification languages
The Computer Journal - Special issue on methodologies (systems and software)
Integrating methods of human-computer interface design with structured systems development
International Journal of Man-Machine Studies
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Controlling user interface objects through pre- and postconditions
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Coupling application design and user interface design
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A second generation user interface design environment: the model and the runtime architecture
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Rapid prototyping of user interfaces driven by task models
Scenario-based design
Beyond data models for automated user interface generation
HCI '94 Proceedings of the conference on People and computers IX
Using formal specifications in the design of a human-computer interface
Communications of the ACM
A Review of Formalisms for Describing Interactive Behaviour
ICSE '94 Proceedings of the Workshop on Software Engineering and 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
SCENARIOO: A new generation UIMS
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
Task models as basis for requirements engineering and software execution
TAMODIA '04 Proceedings of the 3rd annual conference on Task models and diagrams
Linking GUI elements to tasks: supporting an evolutionary design process
TAMODIA '05 Proceedings of the 4th international workshop on Task models and diagrams
A practical approach to task-dialog and abstract presentation modeling of graphical user interfaces
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Modelling form-based interfaces with bipartite state machines
Interacting with Computers
User interface representation using simple components
HCII'11 Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Journal of Systems and Software
Visual interfaces design simplification through components reuse
HCI'13 Proceedings of the 15th international conference on Human-Computer Interaction: human-centred design approaches, methods, tools, and environments - Volume Part I
| Hi-index | 0.00 |
This paper presents the formal definition and visual presentation of Dialogue graphs -- a visual specification technique for dialogue modelling. The Dialogue graphs are used in TADEUS to support an explicit dialogue modelling stage in a task-oriented and model-based approach to the development of interactive systems and automatic generation of the user interface code. The requirements of such a specification technique are discussed from different points of view. The formal definition of the Dialogue graphs is based on Coloured Petri net theory. The interactive tool for handling the Dialogue graphs is described shortly. The use of Dialogue graphs is demonstrated describing the OpenLook e-mail tool.