【软件图语言的形式规范和软件图的自动生成】.pdf

【软件图语言的形式规范和软件图的自动生成】.pdf

1994-JX1612-264-4 摘要 软件图语言是软件领城应用极其广泛且极为重要的一类语言。本文的研 究重点就是软件图语言的形式规范和软件图的自动生成,它们是研制第二代 本文首先研究了图语言的基本理论,软件图语言是图语言的一个子类.我们提出和定义了一组有关的基本概念,包括图元表、图符网和图语言等.论述了图语言的运算和映射,主要是图语言的同态和同构.讨论了图语言的 两种表示法一产生法和识别法,拓广了图文法的定义,使图文法更适合于 表示图语言。我们还按软件图的拓扑特征对软件图(语言)进行了分类,系统 地总结了软件图的体式和优化目标。ABSTRACT The Software Graph Languages(SGL) are a very important class of languages widely used in the area of aoftware engineering.Thie diagertation ie focused on formal apecificatione of SGLe and automatic layout of Software Grapha(SG),which are twokey problems in the Firatly,the basic theory of6目录 3源(汇)点集和极小源(汇)点集的判定算法 4实时系统数据流图语言的形式规范.y本文的研究背景 1本文的主要研究内容 1国内外同类研究工作综述 1软件图语言的形式规范 1软件图的自动生成 1本文的结构.第二章图语言和软件圈语言 2图符网和图语言 2图语言的运算和映射 2图语言的表示法 2引言 2识别法 2.