朱云
- 作品数:3 被引量:9H指数:2
- 供职机构:河海大学计算机与信息学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 图文法EGG在ER图设计中的应用被引量:4
- 2014年
- 为了检测出设计较为复杂的ER图时出现的各种错误结构,提出了一种应用图文法EGG来检查任意设计的ER图合法性的方法。根据ER图的结构规范,定义了相应的EGG产生式,利用EGG的语法分析算法对预处理后规范的ER图进行结构上分析,实现自动判定ER图的结构合法性。结合实例结果表明,该方法有效且可行,为设计人员检测ER图的合法性提供了方便。
- 刘禹锋朱云曾晓勤
- 关键词:图文法ER图产生式
- EGG图文法语法分析算法的研究被引量:1
- 2012年
- EGG是一种基于边的上下文相关图文法形式化框架,其语法分析(归约操作)算法是该文法重要的组成部分。在简要介绍EGG的基础上,给出了EGG语法分析算法的设计,其中包括子图匹配算法、子图替换算法和算法计算复杂性的分析。为了展示如何用EGG来定义图语言,特别是如何用所设计的归约算法来分析图,文中以程序流程图为例,给出了相关的EGG形式定义以及对一个具体流程图的归约过程,并探讨了可能降低分析算法复杂性的一些途径。
- 朱云曾晓勤朱宁
- 关键词:图文法语法分析归约
- 基于图文法的程序流程图与源代码自动转换被引量:6
- 2015年
- 程序流程图在整个软件工程的生命周期中发挥着非常重要的作用。在软件设计中,设计人员通常需要先根据算法从结构上画出程序执行流程图,然后再依据流程图写出相应的源程序代码;在分析和维护软件时,如果能先将源程序代码逆向转换成流程图,则可以有效地帮助分析程序结构。显然,若能让计算机自动地实现流程图与源程序代码之间的相互转换,将大量节省软件开发的人力资源和时间耗费。讨论了如何利用基于边的图文法EGG来自动地实现这种转换,并用具体例子展示了应用EGG图文法的归约和推导操作分别实现流程图的语法分析和流程图的逆向生成,前者可以完成从流程图自动生成源程序代码,而后者则可以从源程序代码自动生成流程图。
- 朱云曾晓勤朱宁刘禹锋
- 关键词:图文法流程图源程序归约