A Formal Study of a Visual Language for the Visualization of Document Type Definition
Identifieur interne : 000012 ( Hal/Curation ); précédent : 000011; suivant : 000013A Formal Study of a Visual Language for the Visualization of Document Type Definition
Auteurs : Jean-Yves Vion-Dury [France] ; Emmanuel Pietriga [France]Source :
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.
Url:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000012
Links to Exploration step
Hal:inria-00125478Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Formal Study of a Visual Language for the Visualization of Document Type Definition</title><author><name sortKey="Vion Dury, Jean Yves" sort="Vion Dury, Jean Yves" uniqKey="Vion Dury J" first="Jean-Yves" last="Vion-Dury">Jean-Yves Vion-Dury</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23641" status="VALID"><orgName>Xerox Research Centre Europe [Meylan]</orgName><desc><address><addrLine>Xerox Research Centre Europe 6 Chemin de Maupertuis 38240 Meylan, FRANCE</addrLine><country key="FR"></country></address><ref type="url">http://www.xrce.xerox.com</ref></desc><listRelation><relation active="#struct-365538" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-365538" type="direct"><org type="institution" xml:id="struct-365538" status="INCOMING"><orgName>Xerox</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Pietriga, Emmanuel" sort="Pietriga, Emmanuel" uniqKey="Pietriga E" first="Emmanuel" last="Pietriga">Emmanuel Pietriga</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23641" status="VALID"><orgName>Xerox Research Centre Europe [Meylan]</orgName><desc><address><addrLine>Xerox Research Centre Europe 6 Chemin de Maupertuis 38240 Meylan, FRANCE</addrLine><country key="FR"></country></address><ref type="url">http://www.xrce.xerox.com</ref></desc><listRelation><relation active="#struct-365538" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-365538" type="direct"><org type="institution" xml:id="struct-365538" status="INCOMING"><orgName>Xerox</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00125478</idno><idno type="halId">inria-00125478</idno><idno type="halUri">https://hal.inria.fr/inria-00125478</idno><idno type="url">https://hal.inria.fr/inria-00125478</idno><date when="2001-09-20">2001-09-20</date><idno type="wicri:Area/Hal/Corpus">000012</idno><idno type="wicri:Area/Hal/Curation">000012</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">A Formal Study of a Visual Language for the Visualization of Document Type Definition</title><author><name sortKey="Vion Dury, Jean Yves" sort="Vion Dury, Jean Yves" uniqKey="Vion Dury J" first="Jean-Yves" last="Vion-Dury">Jean-Yves Vion-Dury</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23641" status="VALID"><orgName>Xerox Research Centre Europe [Meylan]</orgName><desc><address><addrLine>Xerox Research Centre Europe 6 Chemin de Maupertuis 38240 Meylan, FRANCE</addrLine><country key="FR"></country></address><ref type="url">http://www.xrce.xerox.com</ref></desc><listRelation><relation active="#struct-365538" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-365538" type="direct"><org type="institution" xml:id="struct-365538" status="INCOMING"><orgName>Xerox</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Pietriga, Emmanuel" sort="Pietriga, Emmanuel" uniqKey="Pietriga E" first="Emmanuel" last="Pietriga">Emmanuel Pietriga</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-23641" status="VALID"><orgName>Xerox Research Centre Europe [Meylan]</orgName><desc><address><addrLine>Xerox Research Centre Europe 6 Chemin de Maupertuis 38240 Meylan, FRANCE</addrLine><country key="FR"></country></address><ref type="url">http://www.xrce.xerox.com</ref></desc><listRelation><relation active="#struct-365538" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-365538" type="direct"><org type="institution" xml:id="struct-365538" status="INCOMING"><orgName>Xerox</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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.</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="en">A Formal Study of a Visual Language for the Visualization of Document Type Definition</title><author role="aut"><persName><forename type="first">Jean-Yves</forename><surname>Vion-Dury</surname></persName><email></email><idno type="halauthor">158821</idno><orgName ref="#struct-365538"></orgName><affiliation ref="#struct-23641"></affiliation></author><author role="aut"><persName><forename type="first">Emmanuel</forename><surname>Pietriga</surname></persName><email>emmanuel.pietriga@inria.fr</email><idno type="idhal">epietrig</idno><idno type="halauthor">158820</idno><orgName ref="#struct-365538"></orgName><affiliation ref="#struct-23641"></affiliation><affiliation ref="#struct-25978"></affiliation></author><editor role="depositor"><persName><forename>Emmanuel</forename><surname>Pietriga</surname></persName><email>emmanuel.pietriga@inria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2007-01-19 17:07:03</date><date type="whenModified">2011-05-31 15:16:37</date><date type="whenReleased">2007-01-19 17:10:34</date><date type="whenProduced">2001-09-20</date><date type="whenEndEmbargoed">2007-01-19</date><ref type="file" target="https://hal.inria.fr/inria-00125478/document"><date notBefore="2007-01-19"></date></ref><ref type="annex" subtype="figure" n="1" target="https://hal.inria.fr/inria-00125478/file/fig4.png"><date notBefore="2007-01-19"></date></ref><ref type="file" subtype="author" n="1" target="https://hal.inria.fr/inria-00125478/file/DTDvizVLFM01.pdf"><date notBefore="2007-01-19"></date></ref><ref type="annex" subtype="figure" n="0" target="https://hal.inria.fr/inria-00125478/file/fig6.png"><date notBefore="2007-01-19"></date></ref></edition><respStmt><resp>contributor</resp><name key="102668"><persName><forename>Emmanuel</forename><surname>Pietriga</surname></persName><email>emmanuel.pietriga@inria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">inria-00125478</idno><idno type="halUri">https://hal.inria.fr/inria-00125478</idno><idno type="halBibtex">viondury:inria-00125478</idno><idno type="halRefHtml">IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), Sep 2001, Stresa, Italy, 2001, <10.1109/HCC.2001.995236></idno><idno type="halRef">IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01), Sep 2001, Stresa, Italy, 2001, <10.1109/HCC.2001.995236></idno></publicationStmt><seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="INRIA-RHA">INRIA Grenoble - Rhône-Alpes</idno></seriesStmt><notesStmt><note type="audience" n="1">Not set</note><note type="invited" n="0">No</note><note type="popular" n="0">No</note><note type="peer" n="1">Yes</note><note type="proceedings" n="1">Yes</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">A Formal Study of a Visual Language for the Visualization of Document Type Definition</title><author role="aut"><persName><forename type="first">Jean-Yves</forename><surname>Vion-Dury</surname></persName><idno type="halAuthorId">158821</idno><orgName ref="#struct-365538"></orgName><affiliation ref="#struct-23641"></affiliation></author><author role="aut"><persName><forename type="first">Emmanuel</forename><surname>Pietriga</surname></persName><email>emmanuel.pietriga@inria.fr</email><idno type="idHal">epietrig</idno><idno type="halAuthorId">158820</idno><orgName ref="#struct-365538"></orgName><affiliation ref="#struct-23641"></affiliation><affiliation ref="#struct-25978"></affiliation></author></analytic><monogr><meeting><title>IEEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01)</title><date type="start">2001-09-20</date><settlement>Stresa, Italy</settlement></meeting><respStmt><resp>conferenceOrganizer</resp><name>IEEE</name></respStmt><imprint><date type="datePub">2001-09-20</date></imprint></monogr><idno type="doi">10.1109/HCC.2001.995236</idno></biblStruct></sourceDesc><profileDesc><langUsage><language ident="en">English</language></langUsage><textClass><classCode scheme="halDomain" n="info.info-wb">Computer Science [cs]/Web</classCode><classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode><classCode scheme="halDomain" n="info.info-hc">Computer Science [cs]/Human-Computer Interaction [cs.HC]</classCode><classCode scheme="halTypology" n="COMM">Conference papers</classCode></textClass><abstract xml:lang="en">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.</abstract></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Hal/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000012 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 000012 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= OperaV1
|flux= Hal
|étape= Curation
|type= RBID
|clé= Hal:inria-00125478
|texte= A Formal Study of a Visual Language for the Visualization of Document Type Definition
}}
| This area was generated with Dilib version V0.6.21. |  |