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