可视化语言文法形式化描述综述  

A Survey on Visual Languages Formal Specification by Grammatical Approach

作　　者：许红霞[1] 张莉[1] 

机构地区：[1]北京航空航天大学软件工程研究所,北京100083

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

基　　金：航空科学基金(00F51058);北京市科技新星计划(H013610270112)

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

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP301.2[自动化与计算机技术—计算机科学与技术]