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.
The work of the three authors was supported partially by a joint DAAD-HK grant. In addition, the work of the third author was supported under a grant from the Research Grants Council of Hong Kong.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Abelson and A.A. diSessa. Turtle Geometry: The Computer as Medium for Exploring Mathematics. MIT Press, Cambridge, MA, 1980.
H. Alblas and B. Melichar. Attribute Grammars, Applications and Systems. Springer-Verlag, Heidelberg, 1991. LNCS 545.
J. Bosak. Web page on DSSSL online. http://sunsite.unc.edu/pub/sun-info/standards/dsssl/dssslo/do960816.htm, 1997.
A. Brüggemann-Klein. Formal models in document processing. Habilitations-schrift. Faculty of Mathematics at the University of Freiburg, 1993.
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.
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.
A. Brüggemann-Klein and D. Wood. Electronic style sheets. Interner Bericht 45, Institut für Informatik, Universität Freiburg, January 1992.
D. Connolly. W3C web page on XML. http://www.w3.org/XML/, 1997.
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.
ISO 8879: Information processing—Text and office systems—Standard Generalized Markup Language (SGML), October 1986. International Organization for Standardization.
P. Kilpeläinen and H. Mannila. Grammatical tree matching. Report C-1991-61, Department of Computer Science, University of Helsinki, Finland, 1991.
D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127–145, 1968.
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.
H. Lie. W3C web page on Cascading Style Sheets. http://www.w3.org/Style/css/, 1997.
H. Lie and B. Bos. Cascading Style Sheets: Designing for the Web. Addison-Wesley Publishing Company, Reading, MA, 1998.
A. O. Mendelzon and P. T. Wood. Finding regular simple paths in graph databases. SIAM Journal of Computing, 24(6), December 1995.
M. Merk. Spezifikation von Mustern als Kontexte. Master’s thesis, Institut für Informatik, Universität Freiburg, 1994.
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.
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.
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.
W. Schreiber. Generierung von Dokumentverarbeitungssystemen aus formalen Spezifikationen von Dokumentarchitekturen. PhD thesis, Institut für Informatik, Technische Universität München, 1996.
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.
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).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brüggemann-Klein, A., Hermann, S., Wood, D. (1998). Context and Caterpillars and Structured Documents. In: Munson, E.V., Nicholas, C., Wood, D. (eds) Principles of Digital Document Processing. PODDP 1998. Lecture Notes in Computer Science, vol 1481. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49654-8_1
Download citation
DOI: https://doi.org/10.1007/3-540-49654-8_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65086-7
Online ISBN: 978-3-540-49654-0
eBook Packages: Springer Book Archive