软件图语言的形式描述

FORMAL DESCRIPTION OF SOFTWARE GRAPH LANGUAGES

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

First studied from the linguistic and formalization view are software graphs which are widely used in the software field,and then Software Graph Languages(SGLs) are proposed in this paper.A group of basic notations in SGLs are defined,and the homomorphism and isomorphism of SGLs are studied,which are used as the basis of formal description of software graphs.Finally,the formal representation of SGLs is discussed,and the graph grammars based on symbol net are proposed so as to make graph grammars more suitable for representing SGLs.The results given can be used in designing SGL oriented tools.