Skip to main content
SpringerLink
Log in

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

  • Submitted Papers
  • Conference paper
  • First Online:
Software Engineering and Human-Computer Interaction (SE-HCI 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 896))

Included in the following conference series:

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.

L.M.F. Carneiro-Coffin holds a doctoral fellowship from CAPES (the Brazilian Scholarship Agency).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. Derek Andrews and Darrel Ince. Practical Formal Methods with VDM. McGraw-Hill Software Engineering Series, 1991.

    Google Scholar 

  4. 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. 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. 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. 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. 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. 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. 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. 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. John Dawes. The VDM-SL Reference Guide. Pitman Publishing, 1991.

    Google Scholar 

  13. 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. 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. David Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, 8:231–274, 1987.

    Google Scholar 

  16. David Harel. On Visual Formalisms. Communications of the ACM, 31(5):514–530, May 1988.

    Google Scholar 

  17. Rex Hartson. User-Interface Management Control and Communication. IEEE Software, pages 62–70, January 1989.

    Google Scholar 

  18. 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. 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. C. Hoare. Proof of Correctness of Data Representations. Acta Informatica, 1(4):271–281, 1972.

    Google Scholar 

  21. 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. 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. Cliff B. Jones. Systematic Software Development using VDM. Prentice Hall, second edition, 1990.

    Google Scholar 

  24. 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. 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. 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. Lynn S. Marshall. A Formal Description Method for User Interfaces. PhD thesis, University of Manchester, Department of Computer Science, October 1986.

    Google Scholar 

  28. 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. 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. I. A. Newman. Personalised User Interfaces to Computer Systems. In Proceedings of the European Computing Congress, pages 473–486, London, 1978.

    Google Scholar 

  31. 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. 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. 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. Wolfgang Reisig. Petri Nets: an Introduction. Springer-Verlag, 1985.

    Google Scholar 

  35. 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. Jürgen Uhl and Hans Albrecht Schmid. A Systematic Catalogue of Reusable Abstract Data Types. Springer-Verlag, 1990.

    Google Scholar 

  37. Watcom, Waterloo, Ontario, Canada. WATCOM VX·REXX for OS/2 Programmer's Guide andReference, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department and Computer Systems Group, University of Waterloo, Waterloo, Ont, Canada

    L. M. F. Carneiro-Coffin, D. D. Cowan & D. Smith

  2. Departamento de Informática, Pontifícia Universidade Católica, Rio de Janeiro, RJ, Brazil

    C. J. P. Lucena

Authors
  1. L. M. F. Carneiro-Coffin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. D. Cowan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. J. P. Lucena
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. D. Smith
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Richard N. Taylor Joëlle Coutaz

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Carneiro-Coffin, L.M.F., Cowan, D.D., Lucena, C.J.P., Smith, D. (1995). An experience using Jasminum — Formalization assisting with the design of user interfaces. In: Taylor, R.N., Coutaz, J. (eds) Software Engineering and Human-Computer Interaction. SE-HCI 1994. Lecture Notes in Computer Science, vol 896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035812

Download citation

  • DOI: https://doi.org/10.1007/BFb0035812

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59008-8

  • Online ISBN: 978-3-540-49173-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation