Firstly, a gtoup of basic notations in SALs are defined, and the homomorphism and isomorphism of SGLs are studied, which are used as the basis of formal description of software graphs.

• 本文首先提出了关于软件图语言的一组基本概念，研究了软件图语言的同态和同构，以构成软件图形式描述的基础；