Advertisement

Context and Caterpillars and Structured Documents

  • Anne Brüggemann-Klein
  • Stefan Hermann
  • Derick Wood
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1481)

Abstract

We present a novel, yet simple, technique for the specification of context in structured documents that we call caterpillar expressions. Although we are applying this technique in the specification of context- dependent style sheets for HTML, XML, and SGML documents, it is clear that it can be used in other environments such as query specification for structured documents and for computer program transformations. In addition, we present a number of theoretical results that allow us to compare the expressive power of caterpillar expressions to that of tree automata.

Keywords

Node Label Structure Document Electronic Publishing Syntax Tree Tree Automaton 
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.
    H. Abelson and A.A. diSessa. Turtle Geometry: The Computer as Medium for Exploring Mathematics. MIT Press, Cambridge, MA, 1980.Google Scholar
  2. 2.
    H. Alblas and B. Melichar. Attribute Grammars, Applications and Systems. Springer-Verlag, Heidelberg, 1991. LNCS 545.zbMATHGoogle Scholar
  3. 3.
  4. 4.
    A. Brüggemann-Klein. Formal models in document processing. Habilitations-schrift. Faculty of Mathematics at the University of Freiburg, 1993.Google Scholar
  5. 5.
    A. Brüggemann-Klein and S. Hermann. Design by Example: A user-centered approach to the specification of document layout. In F. Rowland and J. Meadows, editors, Electronic Publishing’ 97: New Models and Opportunities. Proceedings of an ICCC/IFIP Conference held at the University of Kent at Canterbury, England, 14–16 April 1997, pages 223–236. ICCC Press, 1997. URL: http://www11.informatik.tu-muenchen.de/proj/designer/canterbury.ps.
  6. 6.
    A. Brüggemann-Klein and T. Schroff. Grammar-compatible stylesheets. In C. Nicholas and D. Wood, editors, Proceedings of the Third International Workshop on Principles of Document Processing (PODP 96), pages 51–58, Heidelberg, 1996. Springer-Verlag. Lecture Notes of Computer Science 1293.Google Scholar
  7. 7.
    A. Brüggemann-Klein and D. Wood. Electronic style sheets. Interner Bericht 45, Institut für Informatik, Universität Freiburg, January 1992.Google Scholar
  8. 8.
    D. Connolly. W3C web page on XML. http://www.w3.org/XML/, 1997.
  9. 9.
    M. P. Consens, F. C. Eigler, M. Z. Hasan, A. O. Mendelzon, E. G. Naik, A. G. Ryman, and D. Vista. Architecture and application of the Hy+ visualization system. IBM Systems Journal, 33(3):458–476, 1994.CrossRefGoogle Scholar
  10. 10.
    ISO 8879: Information processing—Text and office systems—Standard Generalized Markup Language (SGML), October 1986. International Organization for Standardization.Google Scholar
  11. 11.
    P. Kilpeläinen and H. Mannila. Grammatical tree matching. Report C-1991-61, Department of Computer Science, University of Helsinki, Finland, 1991.Google Scholar
  12. 12.
    D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127–145, 1968.zbMATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    P. E. Lauer, P. R. Torrigiani, and M. W. Shields. COSY: A system specification language based on paths and processes. Acta Informatica, 12:109–158, 1979.zbMATHCrossRefGoogle Scholar
  14. 14.
    H. Lie. W3C web page on Cascading Style Sheets. http://www.w3.org/Style/css/, 1997.
  15. 15.
    H. Lie and B. Bos. Cascading Style Sheets: Designing for the Web. Addison-Wesley Publishing Company, Reading, MA, 1998.Google Scholar
  16. 16.
    A. O. Mendelzon and P. T. Wood. Finding regular simple paths in graph databases. SIAM Journal of Computing, 24(6), December 1995.Google Scholar
  17. 17.
    M. Merk. Spezifikation von Mustern als Kontexte. Master’s thesis, Institut für Informatik, Universität Freiburg, 1994.Google Scholar
  18. 18.
    John David Morgenthaler. Static Analysis for a Software Transformation Tool. PhD thesis, University of California, San Diego, Department of Computer Science and Engineering, 1997. Also available as Technical Report CS97-552 and from URL: http://www-cse.ucsd.edu/users/jdm/Papers/Dissertation.html.
  19. 19.
    E. V. Munson. Proteus: An Adaptable Presentation System for a Software Development and Multimedia Document Environment. PhD thesis, Computer Science Division, University of California, Berkeley, 1994.Google Scholar
  20. 20.
    M. Murata. Transformation of documents and schemas by patterns and contextual conditions. In C. Nicholas and D. Wood, editors, Proceedings of the Third International Workshop on Principles of Document Processing (PODP 96), pages 153–169, Heidelberg, 1997. Springer-Verlag. Lecture Notes in Computer Science 1293.Google Scholar
  21. 21.
    W. Schreiber. Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen. PhD thesis, Institut für Informatik, Technische Universität München, 1996.Google Scholar
  22. 22.
    J.W. Thatcher. Characterizing derivation trees of context-free grammars through a generalization of finite automata theory. Journal of Computer and System Sciences, 1:317–322, 1967.zbMATHMathSciNetGoogle Scholar
  23. 23.
    X. Wang and D. Wood. Xtable—A tabular editor and formatter. In A. Brown, A. Brüggemann-Klein, and A. Feng, editors, EP96, Proceedings of the Sixth International Conference on Electronic Publishing, Document Manipulation and Typography, pages 167–180, 1996. Special Issue, Electronic Publishing—Origination, Dissemination and Design 8(2 and 3).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Anne Brüggemann-Klein
    • 1
  • Stefan Hermann
    • 1
  • Derick Wood
    • 2
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany
  2. 2.Department of Computer ScienceHong Kong University of Science & TechnologyKowloonHong Kong

Personalised recommendations