A Formal Study of a Visual Language for the Visualization of Document Type Definition
Identifieur interne : 002172 ( Main/Exploration ); précédent : 002171; suivant : 002173A 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:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000012
- to stream Hal, to step Curation: 000012
- to stream Hal, to step Checkpoint: 000883
- to stream Main, to step Merge: 002253
- to stream Main, to step Curation: 002172
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><idno type="wicri:Area/Hal/Checkpoint">000883</idno><idno type="wicri:Area/Main/Merge">002253</idno><idno type="wicri:Area/Main/Curation">002172</idno><idno type="wicri:Area/Main/Exploration">002172</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><affiliations><list><country><li>France</li></country></list><tree><country name="France"><noRegion><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></noRegion><name sortKey="Pietriga, Emmanuel" sort="Pietriga, Emmanuel" uniqKey="Pietriga E" first="Emmanuel" last="Pietriga">Emmanuel Pietriga</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002172 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002172 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Musique
|area= OperaV1
|flux= Main
|étape= Exploration
|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. |  |