图文法EGG在设计模式中的应用

作     者：韩秀清 曾晓勤 邹阳 HAN Xiu-qing;ZENG Xiao-qin;ZOU Yang

作者机构：河海大学计算机及信息工程学院江苏南京210098 

基　　金：国家自然科学基金资助项目(60673186) 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2010年第32卷第3期

页      码：104-110页

摘      要：对图变换和可视化语言的研究激发并促进了图文法的研究和发展。作为一维字符文法的扩展,图文法可以形式化描述二维空间中的对象,如图像、图形和表格等,为它们的定义、生成、变换及分析提供理论和技术上的支持。设计模式是可复用面向对象软件的基础,通常以二维图的形式来表示。为了与用户多样化的需求相适应,设计模式经常需要在不改变系统基本结构的情况下进行演化。本文讨论了图文法EGG及其形式化方法在设计模式的演化中的应用,聚焦在图变换和图解析两方面。前者用EGG格式的产生式作为图重写式来指导图的每一次变换,以确保相应设计模式演化每一步的正确性;后者用EGG文法机制来对图进行归约,以检查随意演化后的设计模式是否合法。

主 题 词：可视化语言 图文法 图变换 图重写 EGG 设计模式 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2010.03.028

馆 藏 号：203124072...