Abstract:
Nowadays, application programs are available for a wide variety of domains. The applications are developed using different style-guides for their user interfaces. The way similar tasks are carried out differs depending on the application used. Such inconsistency results in unnecessary learning time and is the cause of mistakes leading to the loss of data and effort. A straight forward approach to this problem would be the standardization of the user-interface. Unfortunately this does not take into account the preferences and capabilities of different users. This paper presents DODS, a formal dialogue specification method that enables the generation of consistent user interfaces. The generation process is flexible enough to allow user interfaces to be adapted to specific preferences. 1.
Citations
|
954
|
Petri nets: Properties, analysis and applications
– Murata
- 1989
|
|
555
|
Petri Net Theory and the Modeling of Systems
– Peterson
- 1981
|
|
61
|
Constraint-based tools for building user interfaces
– Borning, Duisberg
- 1986
|
|
56
|
The UAN: A User-Oriented Representation for Direct Manipulation Interface Designs
– Hartson, Siochi, et al.
- 1990
|
|
45
|
Supporting Concurrency, Communication and Synchronization in Human-Computer Interaction — The Sassafras UIMS
– HILL
- 1986
|
|
29
|
Using Formal Specifications in the Design of a Human-Computer Interface
– Jacob
- 1983
|
|
26
|
Syngraph: A Graphical User Interface Generator
– Olsen, Dempsey
- 1983
|
|
23
|
The University of Alberta User Interface Management System
– GREEN
- 1985
|
|
21
|
A knowledgebased user interface management system
– Foley, Gibbs, et al.
- 1998
|
|
15
|
Multi-party Grammars and Related Features for Defu_ing Interactive Systems
– Shneiderman
- 1981
|
|
14
|
Specification and design of dialogue systems with state diagrams
– Denert
- 1977
|
|
13
|
A Survey of Three Dialog Models
– Green
- 1986
|
|
11
|
Executable Specifications for a Human-Computer Interface
– Jacob
- 1983
|
|
10
|
An Executable Specification Technique for Describing Human-Computer Interaction
– Jacob
- 1985
|
|
7
|
Event-Response Systems - A Technique for Specifying Multi-Threaded Dialogues
– Hill
- 1987
|
|
6
|
Specifying complex dialogs in Algae
– Flecchia, Bergeron
- 1987
|
|
6
|
Input-output tools: a language facility for interactive and real-time systems
– Bos, Plasmeijer, et al.
- 1983
|
|
5
|
A supervisory methodology and notation (SUPERMAN) for human-computer system development
– Yunten, Hartson
- 1985
|
|
4
|
A generalized transition network representation for interactive systems
– Kieras
- 1983
|
|
4
|
ADM-A Dialogue Manager
– Schulert, Rogers, et al.
- 1985
|
|
4
|
Some thoughts on the interface between user interface management systems and application software
– Sibert, Belliardi, et al.
- 1985
|
|
3
|
Dialognetze zur Beschreibung von Dialogabl aufen in graphisch-interaktiven Systemen
– Janssen
- 1993
|
|
3
|
Graphics programming independent of interaction techniques and styles
– Kamran, Feldman
- 1983
|
|
2
|
Dialogue cells: A method for defining interactions
– Borufka, Kuhlmann, et al.
- 1982
|
|
2
|
The use of software tools for dialogue design
– Guest
- 1982
|
|
1
|
Konstruktion von anwendungen aus miteinander kooperierenden prozessen
– Gutenkunst
- 1994
|
|
1
|
Generierung prototypischer benutzerschnittstellen aus interaktionsbeschreibungen
– Marz
- 1994
|
|
1
|
CAiSE '93, chapter Design of UserDriven Interfaces Using Petri Nets and Objects
– Palanque, Bastide, et al.
- 1993
|
|
1
|
Studienreihe Informatik
– Petrinetze
- 1986
|
|
1
|
Extending transition diagrams for the specification of human-computer interaction
– Wassermann
- 1985
|
|
