| 可视化语言文法形式化描述综述 |
| |
| 引用本文： | 许红霞,张莉.可视化语言文法形式化描述综述[J].计算机科学,2005,32(4):201-204. |
| |
| 作者姓名： | 许红霞 张莉 |
| |
| 作者单位： | 北京航空航天大学软件工程研究所,北京,100083 |
| |
| 基金项目： | 航空科学基金(00F51058)，北京市科技新星计划(H013610270112) |
| |
| 摘 要： | 可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。
|
| 关 键 词： | 可视化语言 形式化描述体系 图形文法 属性多重集合文法 |
A Survey on Visual Languages Formal Specification by Grammatical Approach |
| |
| XU Hong-Xia,ZHANG Li.A Survey on Visual Languages Formal Specification by Grammatical Approach[J].Computer Science,2005,32(4):201-204. |
| |
| Authors: | XU Hong-Xia ZHANG Li |
| |
| Affiliation: | XU Hong-Xia,ZHANG Li Software Engineering Institute. Beijing University of Aeronautics and Astronautics,Beijing 100083 |
| |
| Abstract: | Visual languages is an important component of human-computer interaction. Grammar provides a useful formalism for specifying visual languages. This paper begins with the analysis of characterization of visual languages, then reviews theoretical aspects of grammar-like visual language formal specification, particularly of graph grammar and attributed multiset grammar, and also discusses several specification formalisms in the field. Several current re- search tasks and their challenge are pointed out finally. |
| |
| Keywords: | Visual languages Formal specification Graph grammar Attributed multiset grammar |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
