本书聚焦于模型驱动框架中的CIM抽象层次和PIM抽象层次，展开形式化模型自动转换的研究。全面系统地讲述了模型驱动框架（MDA）中的计算无关模型（CIM）、平台无关模型（PIM）以及平台相关模型（PSM）三个抽象层次模型。主要内容包括多层次的CIM建模方法研究，GSP模型形式化研究，CIM模型至PIM模型的转换研究，以及GSP多层次模型语义一致性和工作流视图下CIM模型与PIM模型语义的一致性研究。可作为软件工程专业或相关信息类专业的研究生教材，也可作为软件开发人员的参考用书。