+1 Recommend
1 collections
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      A Design Life-Cycle for the Formal Design of User Interfaces

      1 , 2 ,

      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

          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.


          This paper aims at clarifying the articulation between the task models and system models encountered in CHI design practices. We demonstrate how the use of a formal task model may enhance the design of interactive systems, by providing quantitative results on which designers may base their decisions. We also demonstrate that it is possible to describe both task and system models within the same formal framework. This enables us firstly to formally prove that task and system models comply with each other, and secondly to perform quantitative analysis on the combination of task and system models. We propose a software design life cycle integrating formal task and system modelling. The approach is illustrated by a toy example which, despite its small size, allows us to develop both task and device models and to perform several iterations on the life cycle. The device and tasks are modelled using the Interactive Cooperative Objects (ICO) formalism, which is based on Petri nets and on the object-oriented approach. The formality of Petri nets allows for axiomatic validation of isolated and interacting subsystems.

          Related collections

          Author and article information

          September 1996
          September 1996
          : 1-12
          [1 ]L.I.S.-I.H.M., Université Toulouse I

          Place Anatole France

          31042 Toulouse, FRANCE

          Tel: +33-61-63-35-88
          [2 ]Centre d’Etudes de la Navigation Aérienne

          7, Avenue Edouard Belin

          31055 Toulouse cedex, FRANCE

          Tel +33 62 25 95 42
          © Philippe Palanque 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

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


          Comment on this article