论文部分内容阅读
本文从语言学和形式化角度对软件工程中广泛和频繁使用的软件图进行研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念，研究了软件图语言的同态和同构，以构成软件图形式描述的基础；其次阐述了软件图语言的分类和体式；最后讨论了软件图的优化问题。本文工作可以作为设计软件图‘编辑器及自动生成工具的基础．