论文研究-适用于动态软件体系结构的扩展的Z描述语言.pdf

【文件属性】：

文件名称：论文研究-适用于动态软件体系结构的扩展的Z描述语言.pdf

文件大小：1.02MB

文件格式：PDF

更新时间：2022-08-11 11:51:36

软件工程, 动态演化, 动态软件体系结构, Z语言描述

动态软件体系结构语言已成为描述复杂软件体系结构的重要工具, 然而许多描述语言都是静态的, 并不能对动态软件体系进行描述。为此, 对经典Z描述语言进行扩展, 主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。