Advertisement

Integrating rendering specifications into a formalism for the design of interactive systems

  • Rémi Bastide
  • Philippe Palanque
  • Duc-Hoa Le
  • Jaime Muñoz
  • LIS — FROGIS
Part of the Eurographics book series (EUROGRAPH)

Abstract

In interactive systems, the term rendering applies to any form of communication directed from the application towards the users. The present paper deals with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the basics of the ICO formalism, which is used for the formal specification of the application. We then present a case study illustrating how various categories of rendering are taken into account in the ICO formalism. Lastly, we show how mathematical analysis can be performed on the ICO models to verify predictability properties of the interactive system.

Keywords

Interactive System Interaction Space Functional Core Rendering Function Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bastide, Rémi; Palanque, Philippe. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism, in: Paternò, Fabio, Volume editor. Interactive systems: design, specification, and verification (DSV-IS’94). Springer-Verlag; 1994. pp. 383–400.Google Scholar
  2. 2.
    Bastide, Rémi; Palanque, Philippe. Implementation techniques for Petri net based specifications of human computer dialogues, in: Vanderdonkt, Jean, Editor. 2nd workshop on Computer Aided Design of User Interfaces, CADUI’96; Universite Notre-Dame de la Paix, Namur (Belgium). Presses Universitaires de Namur; 1996. pp. 285–302.Google Scholar
  3. 3.
    Bumbulis, Peter; Alencar, P.; Cowan, D.; Lucena, C. Combining formal techniques in user interface construction and verification, in: Palanque, Philippe; Bastide, Remi, Editors. 2nd Eurographics workshop on Design Specification and Verification of Interactive System (DSV-IS’95) Jun 7–9 1995; Toulouse, France. Springer-Verlag; 1995. pp. 174–192.Google Scholar
  4. 4.
    Campos, José C; Harrison, Michael. Formally verifying interactive systems: A review, in: Harrison, Michael; Torres, Juan C, Editors. 4th Eurographics workshop on Design, Specification and Verification of Interactive System (DSV-IS’97) Jun 4–6 1997; Granada, Spain. Springer-Verlag; 1997. pp. 109–124.Google Scholar
  5. 5.
    Carr, David. Interaction Object Graphs: an executable graphical notation for specifying user interfaces, in: Palanque, Philippe; Paternò, Fabio, Editors. Formal methods in Human-Computer Interaction. Springer-Verlag; 1997. pp. 141–155.Google Scholar
  6. 6.
    Coutaz, Joëlle; Nigay, Laurence; Salber, Daniel. Conceptual software architecture models for interactive system. ESPRIT BRA 7040 Amodeus-2; 1993 Mar. Report No.:WP11.Google Scholar
  7. 7.
    David, René; Alia, Hassane. Du Grafcet aux réseaux de Petri. Paris: Hermès; 1992.MATHGoogle Scholar
  8. 8.
    Desel, Jörg; Esparza, Javier. Free choice Petri nets. Cambridge University Press; 1995. (Cambridge tracts on computer science; 40).MATHCrossRefGoogle Scholar
  9. 9.
    Dix, Alan J. Formal methods for interactive systems. Academic Press; 1991.Google Scholar

Copyright information

© Springer-Verlag Wien 1998

Authors and Affiliations

  • Rémi Bastide
    • 1
  • Philippe Palanque
    • 1
  • Duc-Hoa Le
    • 1
  • Jaime Muñoz
    • 1
  • LIS — FROGIS
    • 1
  1. 1.Université Toulouse IToulouse cedexFrance

Personalised recommendations