%0 Journal Article
%T A Survey on Visual Languages Formal Specification by Grammatical Approach
可视化语言文法形式化描述综述
%A XU Hong-Xia
%A ZHANG Li Software Engineering Institute
%A
许红霞
%A 张莉
%J 计算机科学
%D 2005
%I
%X 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.
%K Visual languages
%K Formal specification
%K Graph grammar
%K Attributed multiset grammar
可视化语言
%K 形式化描述体系
%K 图形文法
%K 属性多重集合文法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=14DADF93409315B1&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=E158A972A605785F&sid=BC084ACE66B62CC8&eid=02DC3A182A5530DF&journal_id=1002-137X&journal_name=计算机科学&referenced_num=3&reference_num=18