作　　者： ; ;

机构地区： 北京航空航天大学计算机学院软件工程研究所

出　　处： 《计算机科学》 2005年第4期201-204,共4页

摘　　要： 可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。 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.

关 键 词： 可视化语言 文法 形式化描述方法 综述 计算机科学 人机交互 研究领域 形式模型 研究内容

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]