Blog
About

142
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

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

      ,

      Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (FAC)

      Formal Aspects of the Human Computer Interface

      10-12 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Most cited references 6

          • Record: found
          • Abstract: not found
          • Article: not found

          Toward empirically derived methodologies and tools for human-computer interface development

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Using formal specifications in the design of a human-computer interface

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Review of graphical notations for specifying direct manipulation interfaces

                Bookmark

                Author and article information

                Conference
                September 1996
                September 1996
                : 1-14
                Affiliations
                Computer Science Department, University of Rostock

                Rostock, Germany
                Article
                10.14236/ewic/FAC1996.13
                © 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

                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/

                Proceedings of the BCS-FACS Workshop on Formal Aspects of the Human Computer Interface
                FAC
                Sheffield Hallam University
                10-12 September 1996
                Electronic Workshops in Computing (eWiC)
                Formal Aspects of the Human Computer Interface
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article