Verification of Model Transformations A Survey of the State-of-the-Art 模型转换的验证 对现状的调查

模型驱动工程范式认为软件开发生命周期由工件（需求规范、分析和设计文档、测试套件、源代码）支持，这些工件是表示要构建的系统不同视图的模型。存在一个由模型转换驱动的（半）自动构造过程，从系统的抽象模型开始转换直到生成一个可执行的模型。模型驱动工程范式认为软件开发生命周期由工件（需求规范、分析和设计文档、测试套件、源代码）支持，这