A Formal Study of a Visual Language for the Visualization of Document Type Definition

Jean-Yves Vion-Dury 1 Emmanuel Pietriga 1, 2
2 OPERA - Tools for Electronic Documents, Research and applications
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique
Abstract : This formal study proposes a transformational approach to the definition of general purpose visual languages based on hierarchical structures, addressing more specifically DTD visualization as its application area. We show that such visual languages can be constructed through progressive refinement of a syntax based on nested/juxtaposed rectangles. Several transformation stages, which can all be formally characterized, produce a high quality visual representation which expresses the fundamental properties of the original structure. Moreover, this approach opens some perspectives in proving visual properties through standard mathematical tools such as inductive proofs, thus establishing some practical links between visual language theory and classical language theory.
Document type :
Conference papers
IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), Sep 2001, Stresa, Italy, 2001, 〈10.1109/HCC.2001.995236〉
Liste complète des métadonnées

Cited literature [11 references]  Display  Hide  Download


https://hal.inria.fr/inria-00125478
Contributor : Emmanuel Pietriga <>
Submitted on : Friday, January 19, 2007 - 5:07:03 PM
Last modification on : Tuesday, May 31, 2011 - 3:16:37 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 10:19:43 PM

Files

DTDvizVLFM01.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jean-Yves Vion-Dury, Emmanuel Pietriga. A Formal Study of a Visual Language for the Visualization of Document Type Definition. IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), Sep 2001, Stresa, Italy, 2001, 〈10.1109/HCC.2001.995236〉. 〈inria-00125478〉

Share

Metrics

Record views

293

Document downloads

255