Skip to main content

A Formal Design for Mutually Composed Multiple Media in Presentations

  • Conference paper
Design, Specification and Verification of Interactive Systems ’95

Part of the book series: Eurographics ((EUROGRAPH))

Abstract

The motivation for this paper is to design a simple but expressive representation for the arbitrary organisation and nesting of text and images in presentations like user interfaces and document browsers. The design defined here achieves this with a single generic hierarchical structure, called a TANGLE, instantiated with two node types, BLOCKs and SPACEs, to carry text and images respectively, and two mappings which represent how text may be framed in graphical spaces, and images may be embedded in text blocks. In addition, a projection function is defined by which visualisations from the structure can be generated. The inclusion of other media types is also discussed.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Information Processing Systems — Copmuter Graphics — Kernel System (GKS) fuctional description (ISO 7942). ISO Central Secretariat, Geneva, 1985.

    Google Scholar 

  2. Standard Generalised Markup Language (SGML)(ISO DIS 8879). Geneva, 1986.

    Google Scholar 

  3. Information Processing - Computer Graphics - Programmers Hierarchical Interactive Graphics System (PHIGS) (DIS 9592–1:1987(E)). Geneva, October 1987.

    Google Scholar 

  4. Information Processing - Text and Office Systems: Office Document Architecture (ODA) and Interchange Format (ISO DIS 8613 part 1–8). Geneva, July 1987.

    Google Scholar 

  5. The OpenDoc Design Team etc. Opendoc required reading packet. Technical report, Apple Computer Inc., April 1994.

    Google Scholar 

  6. V. Joloboff. Trends and standards in document representation. In Proc. Conf. Text Processsing and Document Manipulation,pages 107–124, Nottingham, 1986. Cambridge University Press.

    Google Scholar 

  7. G. D. Kimura. A structure editor for abstract document objects. IEEE Trans. Software Engineering, SE-12: 417–435, March 1986.

    Google Scholar 

  8. J. M. Spivey. The Z Notation - A Reference Manual. Prentice Hall International, 1989.

    Google Scholar 

  9. R. K. Took. Putting design into practice: Formal specification and the user interface. In M. Harrison and H. Thimbleby, editors, Formal Methods in Human-Computer Interaction, pages 63–96. Cambridge University Press, 1990.

    Google Scholar 

  10. R. K. Took. Surface interaction: A paradigm and model for separating application and interface. In Proc CHI ‘80, pages 35–42. ACM, April 1990.

    Google Scholar 

  11. R. K. Took. Integrating inheritance and composition in an objective presentation model for multiple media. In F. H. Post and W. Barth, editors, Proc. Eurographics ‘81, pages 291–303. North-Holland, September 1991.

    Google Scholar 

  12. R. K. Took. Surface Interaction: Separating Direct Manipulation Interfaces from their Applications. PhD thesis, Computer Science Department, University of York, 1991.

    Google Scholar 

  13. R. K. Took. The active medium: A conceptual and practical architecture for direct manipulation. In P. Gray and R. K. Took, editors, Building Interactive Systems: Architectures and Tools, Workshops in Computing Series, pages 6–22. Springer-Verlag, May 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag/Wien

About this paper

Cite this paper

Took, R. (1995). A Formal Design for Mutually Composed Multiple Media in Presentations. In: Palanque, P., Bastide, R. (eds) Design, Specification and Verification of Interactive Systems ’95. Eurographics. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9437-9_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-9437-9_20

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82739-0

  • Online ISBN: 978-3-7091-9437-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics