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

摘要：EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EGG形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。

摘要：程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。

摘要：本文采用关系模型、图文法与面向对象的风格相结合的方法,将数据定义与数据处理模化,表示为统一的树图结构,给出了产生局部扩展E-R(EE-R)图、EE-R 图归并和数据库历史事务版本修改的线性树图文法。研制了面向应用开发人员或学习数据库学生进行数据库概念模式设计的辅助工具TGGLT,为他们提供了方便灵活地创造自己需要的概念模式、子模式及各种历史事务版本。

摘要：边缘图（EGG）是一种基于边的上下文相关图文法形式化框架。EGG总结改进了分层图（LGG）和保留图（RGG）,并继承其优点而产生。首先介绍了EGG形式化框架及其包含的操作功能,分析支持EGG系统的需求,设计出支持EGG系统用户界面,实现EGG支持系统,重点讨论便捷和简化系统用户的使用,如图的绘制、推导和归约等,通过设计产生式和主图测试实现的EGG系统中图的绘制、推导、归约等功能。EGG支持系统使得用户可以便捷地运用EGG理论研究,但EGG支持系统在用户友好方面需要改进。

摘要：讨论对象的操作可视化，将其连续操作映射为图的剪枝与拼接，对其连续操作映射为图文法的推导，这不仅可视化了查询语言，也有利于可视化对象的设计过程．

摘要：可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论了可视化语言的形式理论基础,回顾了相关的可视化图形编程环境.特别提出了一种空间图文法,并且用该图文法定义了统一建模语言的行为语义.基于空间图文法,开发了一种基于模式驱动的框架,以帮助软件架构与设计.

摘要：本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念．本文首先提出了关于软件图语言的一组基本概念，其次研究了软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的图文法，使图文法更适合于表示软件图语言．本文工作可以作为设计面向软件图语言的软件工具的基础．

摘要：Gamma( general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具 .***等人提出结构化 Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析 .在摒弃了基于“地址”的定义方式的基础上 ,给出结构化 Gamma的更一般形式的语法、语义描述 ,在两个层次上讨论结构重集 ( structured multiset)的类型 ,并指出 ,这种新模型保持了有关程序的静态类型检测等理论成果 .

摘要：0624862基于贝叶斯分类的邮件过滤方法及模型研究[刊,中]/肖曼//南京师范大学学报(工程技术版)．—2006,6 (2)．—86-89(L) 0624863基于DEA的群决策支持系统方案评价[刊,中]/郭涤//武汉理工大学学报(信息与管理工程版)．—2006,28 (6)．—84-88(D) 0624864网格环境下的GIS数据协作生产模型研究[刊,中]/王华敏//武汉理工大学学报(信息与管理工程版)．—2006,28(6)．—1-4(D)提出了网格环境下的GIS数据协作生产体系结构并论述了所涉及的关键技术。该模型将GIS数据生产相关资源有机地结合为一体,以网格服务的统一形式对外提供数据生产服务,同时采用工作流技术组织服务对GIS数据生产流程进行控制和管理,是解决分布式GIS数据协作生产的理想方案。