%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