f 变换模型 　　变换模型是一种基于形式化规格说明语言及程序变换的软件开发模型。它采用形式化的软件开发方法，对形式化的软件规格说明进行一系列自动的或半自动的程序变换，最终映射成为计算机系统能够接受的程序系统。 变换模型的表示如图1.10所示。