一种可视化语言的形式化研究，用于文档类型定义的可视化

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587) Pub Date : 2001-09-05 DOI:10.1109/HCC.2001.995236

Jean-Yves Vion-Dury, Emmanuel Pietriga

{"title":"一种可视化语言的形式化研究，用于文档类型定义的可视化","authors":"Jean-Yves Vion-Dury, Emmanuel Pietriga","doi":"10.1109/HCC.2001.995236","DOIUrl":null,"url":null,"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.","PeriodicalId":438014,"journal":{"name":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"A formal study of a visual language for the visualization of document type definition\",\"authors\":\"Jean-Yves Vion-Dury, Emmanuel Pietriga\",\"doi\":\"10.1109/HCC.2001.995236\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":438014,\"journal\":{\"name\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"volume\":\"79 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HCC.2001.995236\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HCC.2001.995236","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

这项正式的研究提出了一种基于层次结构的通用可视化语言定义的转换方法，更具体地将DTD可视化作为其应用领域。我们展示了这样的视觉语言可以通过基于嵌套/并置矩形的语法的逐步细化来构建。几个转换阶段，都可以正式表征，产生高质量的视觉表现，表达原始结构的基本属性。此外，该方法还为通过归纳证明等标准数学工具证明视觉特性开辟了一些前景，从而在视觉语言理论与经典语言理论之间建立了一些实际联系。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A formal study of a visual language for the visualization of document type definition

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)

自引率

0.00%

发文量