23、FTG+PM：用于研究模型转换链的集成框架

FTG+PM：用于研究模型转换链的集成框架

1 引言

模型驱动工程（MDE）是当前软件开发的主流自上而下的方法。其核心思想是从构建特定领域的系统结构和行为模型开始软件开发，这些模型使用接近所处理领域的语言来描述。在开发过程中，通过模型转换对这些模型进行改进、扩充和细化，可能还会自动或手动注入额外信息。

模型转换被称为 MDE 的核心和灵魂，将模型转换链接起来是 MDE 中的自然步骤，它能描述软件开发活动的组合，并为 MDE 自动化提供明确手段。然而，在特定领域软件开发中，对模型转换链底层结构的研究还比较少。研究模型转换链的底层结构至关重要，原因如下：
- 复用 ：模型转换链通常用于特定领域的软件开发。例如在汽车软件开发中，转换链的模块化和复用性从工程角度来看非常重要。为特定软件工程目的开发的转换链的子集可以在类似工程中进行复用，并且通过识别和分类负责高层活动的转换链子集，可以更好地理解和控制这些活动。
- 可追溯性 ：在软件开发的利益相关者层面和开发层面，可追溯性的需求日益增加。由于转换链明确建模了 MDE 过程中各个步骤之间的关系，使用转换链自然可以实现可追溯性。
- 认证 ：通过明确表示转换链及其处理的模型和元模型，可以对这些过程进行认证。在嵌入式系统、汽车或航空航天等领域，有严格的规范确保软件生产的每个步骤都正确执行并得到妥善记录。MDE 社区需要研究验证方法的应用时机和方式，以及如何有意义地组合这些方法，而模型转换链是研究这些验证方法在 MDE 中应用和效用的理想环境。

为了研究模型转换链的性质和实际用途，需要一个能明确形式化、方