Serveur d'exploration sur l'opéra

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

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

Identifieur interne : 000012 ( Hal/Curation ); précédent : 000011; suivant : 000013

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

Auteurs : Jean-Yves Vion-Dury [France] ; Emmanuel Pietriga [France]

Source :

RBID : Hal:inria-00125478

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...)


Links to Exploration step

Hal:inria-00125478

Le 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
}}

Wicri

This area was generated with Dilib version V0.6.21.
Data generation: Thu Apr 14 14:59:05 2016. Site generation: Thu Oct 8 06:48:41 2020