Advertisement

Towards User Interfaces Prototyping from Algebraic Specification

  • M. Cabrera
  • J. C. Torres
  • M. Gea
Conference paper
Part of the Eurographics book series (EUROGRAPH)

Abstract

This paper describes the use of an algebraic specification language GRALPLA 1, 2, 3, to specify User Interface. In order to obtain a description at a high level of abstraction, the specification language has been enriched with such concepts as Interactive Objects, and user actions. A description of a prototyping tool based on this language has been given.

Keywords

User Interface User Action Interactive System Interactive Object Prototype Tool 
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.

Bibliography

  1. 1.
    Torres, J.C.; Gea, M.; Gutiérrez, F.L.; Cabrera, M.; Rodriguez, M.: The GRALPLA Specification Language. Dpto. Lenguajes y Sistemas Informâticos, Universidad de Granada, Spain. Internal Report 96–1, 1996.Google Scholar
  2. 2.
    Torres, J.C; Gea, M.; Gutiérrez, F.L.; Cabrera, M.; Rodriguez, M.: GRALPLA: An Algebraic Specification Language For Interactive Graphic Systems. Design, Specification and Verification of Interactive Systems, F. Bodart, J. Vanderdonck (eds.). Springer Verlag, 1996. pp. 272–291Google Scholar
  3. 3.
    Gea, M. Especificaciôn Formal de Sistemas Grâficos. PhD Dissertation, Department of Lenguajes y Sistemas Informâticos, University of Granada, Granada, Spain. June 1997.Google Scholar
  4. 4.
    Sukaviriya, P.; Foley, J.D.; Griffith, T.: A second generation user interface design environment: The model and the runtime architecture. ACM INTERCHI 93 Proceedings. ACM, 1993.Google Scholar
  5. 5.
    Sukaviriya, P.; Muthukumarasamy, J.; Frank, M.; Foley, J.D.: A Model-based User Interface Architecture: Enhancing a Runtime Environment with Declarative Knowledge. Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’94. Pisa. 1994Google Scholar
  6. 6.
    Szekely, P.; Luo, P.; Neches, R.: Facilitating the Exploration of Design Alternative: The HUMANOID Model of User Interface Design. ACM CHI 92 Proceedings. ACM 1992.Google Scholar
  7. 7.
    Szekely, P.; Luo, P.; Neches, R.: Beyond Interface Builders: Model-Based Interface Tools. InterCHI’93, pp 383–390.Google Scholar
  8. 8.
    Bodart, F.; Hennebert, A.M.; Leheureux, J.M.; Provot, I.; Vanderdonckt, J.: A Model-Based Approach to Presentation: a Continuum from Task Analysis to Prototype. Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS’94. 1994Google Scholar
  9. 9.
    Bodart, F.; Hennebert, A.M.; Leheureux, J.M.; Provot, I.; Sacré, B.; Vanderdonckt, J.: Towards a Systematic Building of Software Architectures: the TRIDENT Methodological Guide. Eurographics Workshop on Design, Specification and Verification of Interactive Systems DSV-IS’95. 1995Google Scholar
  10. 10.
    Markopoulos, P.; Pycock, J.; Wilson, S.; Johnson: Adept - A task based design environment. Eurographics Workshop on Design, Specification and Verification of Interactive Systems CADUI’96. 1996.Google Scholar
  11. 11.
    Balzert, H,: From OOA to GUI - The JANUS-System. Proceedings Interact’95. 1995.Google Scholar
  12. 12.
    Schlungbaum, E.; Elwert, T: Automatic User Interface Generation from Declarative Models. Proceedings of the 2°d International Workshop on Computer-Aided Design of User Interfaces CADUI’96. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. pp. 3–18.Google Scholar
  13. 13.
    Schlungbaum, E.; Elwert, T: Modelling and Generation of Graphical User Interface in the TADEUS Approach. P. Palanque, R. Bastide (eds.): Designing, Specification, and Verification of Interactive Systems. Wien, Springer Verlag, 1995. Pp. 193–208.Google Scholar
  14. 14.
    Lonczewski F.; Schriber S.: The Fuse-System: an integrated User Interface Environment. Proceedings of the 2’d International Workshop on Computer-Aided Design of User Interfaces CADUI’96. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. Pp. 39–56.Google Scholar
  15. 15.
    Paterne), F.; Meniconi, S.: TLIM, a Systematic Method for the Design of Interactive Systems. Palanque, P; Paterne), F. (eds.). Formal Methods in Human–Computer Interaction. Springer Verlag, FACIT Series, ISBN 3–540–76158–6, 1997. pp 241 – 260.Google Scholar
  16. 16.
    Paterne), F.; Santoro, C.; Tahmassebi, S.: Formal Models for Cooperative Task: Concepts and an Application for En-route Air Traffic Control. Markopoulos, P.; Johnson, P. (eds.). Design, Specification and Verification of Interactive Systems’98. Springer Verlag. 1998. pp 71–86.Google Scholar
  17. 17.
    Puerta, A: The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development. Proceedings of the 2’d International Workshop on Computer-Aided Design of User Interfaces CADUI’96. Namur, Belgium, 1996. J. Vanderdonck (Ed.) Presses Universitaires de Namur, 1996. Pp. 19–35.Google Scholar
  18. 18.
    Puerta, A.; Eisenstein, J.: Interactively Mapping Task Models to Interfaces in MOBI-D. Proceedings 5’h Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’98. Abingdon, United Kingdom, June 1998.Google Scholar
  19. 19.
    Gutiérrez, F.L.; Gea, M.; Torres, J.C.: Verification of Interactive Systems using Algebraic Specification. Proceedings 5’h Eurographics Workshop on Design, Specification and Verification of Interactive Systems, DSV-IS’98. Abingdon, United Kingdom, June 1998.Google Scholar
  20. 20.
    Urena, C.; Designing an Object-Oriented Rendering System. Proceedings 6th Eurographics Workshop on Programming Paradigms in Graphics. Budapest, Hungary. September 1997.Google Scholar

Copyright information

© Springer-Verlag/Wien 1999

Authors and Affiliations

  • M. Cabrera
    • 1
  • J. C. Torres
    • 1
  • M. Gea
    • 1
  1. 1.Dpto. Lenguajes y Sistemas InformáticosUniversity of GranadaGranadaSpain

Personalised recommendations