Dialogue Graphs - a Formal and Visual Specification Technique for Dialogue Modelling

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.

Content

Author and article information

Conference

Publication date: September 1996

Publication date (Print): September 1996

Pages: 1-14

Affiliations

[0001]Computer Science Department, University of Rostock

Rostock, Germany

Article

DOI: 10.14236/ewic/FAC1996.13

SO-VID: 3fb53b10-f666-47ea-98bf-a30f55639e33

Copyright © © Egbert Schlungbaum et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, Sheffield Hallam University

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface

Conference acronym: FAC

Conference number:

Conference location: Sheffield Hallam University

Conference date: 10-12 September 1996

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Formal Aspects of the Human Computer Interface

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FAC1996.13

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Dialogue Graphs - a Formal and Visual Specification Technique for Dialogue Modelling

Abstract