Advertisement

An experience using Jasminum — Formalization assisting with the design of user interfaces

  • L. M. F. Carneiro-Coffin
  • D. D. Cowan
  • C. J. P. Lucena
  • D. Smith
Submitted Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 896)

Abstract

This paper describes experience in using a visual formalism, called Jasminum, in the design of the user interface of a structured document editor called Waterloo Rita. Jasminum combines concepts from Abstract Data Views, with notations from Objectcharts, Statecharts, and Petri-nets. Jasminum was motivated by the need for a formal notation to express directly some aspects of the design of interactive systems, especially the design of an interactive system through its user interface. In this paper we show how the constructs available in Jasminum assistthe designerin the design process, and how they helped in locating some design flaws in the existing Waterloo Rita system. Thus, Jasminum could prove to be a useful notation for both designing and re-engineering systems.

Keywords

User Interface Interactive System Visual Formalism Computer Science Department Design Flaw 
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. [ACCCL94a]
    Paulo Alencar, Luiza M. F. Carneiro-Coffin, Donald D. Cowan, and Carlos J. P. Lucena. The Semantics of Abstract Data Views: A Design Concept to Support Reuse-in-the-Large. In The 62nd Congress of l'Association Canadienne Française pour l'Avancement des Sciences (ACFAS), pages 49–60, Montreal, Canada, May 1994.Google Scholar
  2. [ACCCL94b]
    Paulo Alencar, Luiza M. F. Carneiro-Coffin, Donald D. Cowan, and Carlos J. P. Lucena. Towards a Formal Theory of Abstract Data Views. Technical Report 94-18, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, April 1994.Google Scholar
  3. [AI91]
    Derek Andrews and Darrel Ince. Practical Formal Methods with VDM. McGraw-Hill Software Engineering Series, 1991.Google Scholar
  4. [CBI+92]
    D.D. Cowan, L.F. Barbosa, R. Ierusalimschy, C.J.P. Lucena, and S.B. de Oliveira. Program Design Using Abstract Data Views-an Illustrative Example. Technical Report 92-54, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, December 1992.Google Scholar
  5. [CCCL93]
    Luiza M. F. Carneiro, Michael H. Coffin, Donald D. Cowan, and Carlos J.P. Lucena. User Interface High-Order Architectural Models. Technical Report 93-14, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, February 1993.Google Scholar
  6. [CCL93]
    L. M. F. Carneiro, D.D. Cowan, and C. J. P. Lucena. ADVcharts: a Graphical Specification of Abstract Data Views. In Ann Gawman, W. Morven Gentleman, Evelyn Kidd, Per-Ake Larson, and Jabob Slonim, editors, CASCON'93: Working Together, pages 84–96, October 1993.Google Scholar
  7. [CHB92]
    Derek Coleman, Fiona Hayes, and Stephen Bear. Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Transactions on Software Engineering, 18(1):9–18, January 1992.Google Scholar
  8. [CILS93]
    D.D. Cowan, R. Ierusalimschy, C.J.P. Lucena, and T.M. Stepien. Abstract Data Views. Structured Programming, 14(1):1–13, January 1993.Google Scholar
  9. [CIS92]
    D. D. Cowan, R. Ierusalimschy, and T. M. Stepien. Programming Environments for End-Users. In Proceedings of IF1P 92, Volume III, pages 54–60, 1992.Google Scholar
  10. [CMPS91]
    D. D. Cowan, E. W. Mackie, G. M. Pianosi, and G. de V. Smit. Rita-An Editor and User Interface for Manipulating Structured Documents. Electronic Publishing, 4(3):125–150, 1991.Google Scholar
  11. [Coo90]
    William R. Cook. Object-Oriented Programming Versus Abstract Data Types. In J. M. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, pages 151–178. Springer Verlag, 1990.Google Scholar
  12. [Daw91]
    John Dawes. The VDM-SL Reference Guide. Pitman Publishing, 1991.Google Scholar
  13. [Gre85a]
    Mark Green. Design Notations and User Interface Management Systems. In Günther E. Pfaff, editor, User Interface Management Systems-Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983. Spriger-Verlag, 1985.Google Scholar
  14. [Gre85b]
    Mark Green. Report on Dialogue Specification Tools. In Günther E. Pfaff, editor, User Interface Management Systems — Proceedings of the Workshop on User Interface Managementsystems held in Seeheim, FRG, November 1–3, 1983. Spriger-Verlag, 1985.Google Scholar
  15. [Har87]
    David Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.Google Scholar
  16. [Har88]
    David Harel. On Visual Formalisms. Communications of the ACM, 31(5):514–530, May 1988.Google Scholar
  17. [Har89]
    Rex Hartson. User-Interface Management Control and Communication. IEEE Software, pages 62–70, January 1989.Google Scholar
  18. [Hil86]
    Ralph D. Hill. Supporting Concurrency, Communication and Synchronization in Human-Computer Interaction-the Sassafras UIMS. ACM Transaction on Graphics, 5(3):179–210, July 1986.Google Scholar
  19. [Hil92]
    Ralph D. Hill. The Abstraction-Link-View Paradigm: Using Constraints to Connect User Interfaces to Applications. In CHI'92 Conference Proceedings, May 1992.Google Scholar
  20. [Hoa72]
    C. Hoare. Proof of Correctness of Data Representations. Acta Informatica, 1(4):271–281, 1972.Google Scholar
  21. [HPSS85]
    D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. On the Development of Reactive Systems. In K.R. Apt, editor, Logics and Models of Concurrent Systems, pages 477–498. Springer-Verlag, 1985.Google Scholar
  22. [Ier91]
    Roberto Ierusalimschy. A Method for Object-Oriented Specifications with VDM. Monografias em Ciência da Computação, PUC-RJ, Rio de Janeiro, RJ, Brazil, February 1991.Google Scholar
  23. [Jon90]
    Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, second edition, 1990.Google Scholar
  24. [KP88]
    Glenn E. Krasner and Stephen T. Pope. A Cookbook for Using the Model-View-Controller User Interface Paradigm in Smalltalk-80. JOOP, pages 26–49, August 1988.Google Scholar
  25. [LCP92]
    C. J. P. Lucena, D. D. Cowan, and A. B. Potengy. A Programming Model for User Interface Compositions. In Anais do V Simpósio Brasileiro de Computação Gráfica e Processamento de Imogens, SIBGRAPI'92, Águas de Lindóia, SP, Brazil, November 1992.Google Scholar
  26. [MA88]
    Joel McCormack and Paul Asente. An Overview of the X Toolkit. In Proceedings of the ACM SIGGRAPH Symposium on User Interface Software, pages 46–55, October 1988.Google Scholar
  27. [Mar86]
    Lynn S. Marshall. A Formal Description Method for User Interfaces. PhD thesis, University of Manchester, Department of Computer Science, October 1986.Google Scholar
  28. [Mar90]
    Lynn S. Marshall. Formally Describing Interactive Systems. In Cliff B. Jones and R.C. Shaw, editors, Case Studies in Systematic Software Development, pages 293–336. Prentice Hall, 1990.Google Scholar
  29. [MBW89]
    J. M. Manheimer, R. C. Burnett, and J. A. Wallers. A Case Study of User Interface Management System Development and Application. In Proceeding of CHI'89, pages 127–132. ACM Press, 1989.Google Scholar
  30. [New78]
    I. A. Newman. Personalised User Interfaces to Computer Systems. In Proceedings of the European Computing Congress, pages 473–486, London, 1978.Google Scholar
  31. [NvSCL94]
    L.C.M. Nova, A. von Staa, D. D. Cowan, and C. J. P. Lucena. On the Automation of Code Generation for User-Interface Models. Technical Report 94-18, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, July 1994.Google Scholar
  32. [Ols85]
    D. R. Olsen, Jr. Presentational, Syntactic and Semantic Components of Interactive Dialogue Specifications. In Günther E. Pfaff, editor, User Interface Management Systems — Proceedings of the Workshop on User Interface Management Systems held in Seeheim, FRG, November 1–3, 1983. Spriger-Verlag, 1985.Google Scholar
  33. [PLC93]
    A. B. Potengy, C. J. P. Lucena, and D. D. Cowan. A Programming Approach for Parallel Rendering Applications. Technical Report 93-62, Computer Science Department and Computer Systems Group, University of Waterloo, Waterloo, Ontario, Canada, March 1993.Google Scholar
  34. [Rei85]
    Wolfgang Reisig. Petri Nets: an Introduction. Springer-Verlag, 1985.Google Scholar
  35. [Smi94]
    Debbie Smith. Abstract Data Views: A Case Study Evaluation. Technical Report 94-19, Computer Science Department, University of Waterloo, Waterloo, Ontario, Canada, April 1994.Google Scholar
  36. [US90]
    Jürgen Uhl and Hans Albrecht Schmid. A Systematic Catalogue of Reusable Abstract Data Types. Springer-Verlag, 1990.Google Scholar
  37. [Wat93]
    Watcom, Waterloo, Ontario, Canada. WATCOM VX·REXX for OS/2 Programmer's Guide andReference, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • L. M. F. Carneiro-Coffin
    • 1
  • D. D. Cowan
    • 1
  • C. J. P. Lucena
    • 2
  • D. Smith
    • 1
  1. 1.Computer Science Department and Computer Systems GroupUniversity of WaterlooWaterlooCanada
  2. 2.Departamento de InformáticaPontifícia Universidade CatólicaRio de Janeiro, RJBrazil

Personalised recommendations