适用于动态软件体系结构的扩展的Z描述语言

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