Software build systems tackle the problem of building software from sources in a way which is sound (when a build completes successfully, the relations between the generated and source files are as specified) and optimal (only genuinely required rebuilding steps are done). In this paper, we explain and exploit the connection between software build and the megamodel consistency problem. The model-driven development of systems involves multiple models, metamodels and transformations. Transformations—which may be bidirectional—specify, and provide means to enforce, desired “consistency” relationships between models. We can describe the whole configuration using a megamodel. As development proceeds, and various models are modified, we need to be able to restore consistency in the megamodel, so that the consequences of decisions first recorded in one model are appropriately reflected in the others. At the same time, we need to minimise the amount of recomputation needed; in particular, we would like to avoid reapplying a transformation when no relevant changes have occurred in the models it relates. The megamodel consistency problem requires flexibility beyond what is found in conventional software build, because different results are obtained depending on which models are allowed to be modified and on the order and direction of transformation application. In this paper, we propose using an orientation model to make important choices explicit. We show how to extend the formalised build system pluto to provide a means of restoring consistency in a megamodel, that is, in appropriate senses, flexible, sound and optimal.

中文翻译：

---

连接软件构建并保持模型之间的一致性：从大型模型实现合理，最佳和灵活的构建

软件构建系统以一种合理的方式（当构建成功完成时，所生成的文件与源文件之间的关系已指定）和最佳的方式（仅完成了真正需要的重建步骤）来解决从源代码构建软件的问题。在本文中，我们解释并开发了软件构建与宏模型一致性问题之间的联系。系统的模型驱动开发涉及多个模型，元模型和转换。转换（可能是双向的）指定并提供执行模型之间所需的“一致性”关系的方法。我们可以使用宏模型描述整个配置。随着开发的进行和各种模型的修改，我们需要能够恢复大型模型的一致性，这样，首先记录在一个模型中的决策的结果就可以适当地反映在其他模型中。同时，我们需要最小化所需的重新计算量；特别是，当相关模型没有发生相关更改时，我们希望避免重新应用转换。巨型模型一致性问题需要超越常规软件构建所具有的灵活性，因为根据允许修改的模型以及转换应用程序的顺序和方向获得不同的结果。在本文中，我们建议使用方向模型来明确重要的选择。我们展示了如何扩展正式的构建系统 当与之相关的模型未发生任何相关变化时，我们希望避免重新应用转换。巨型模型一致性问题需要超越常规软件构建所具有的灵活性，因为根据允许修改的模型以及转换应用程序的顺序和方向获得不同的结果。在本文中，我们建议使用方向模型来明确重要的选择。我们展示了如何扩展正式的构建系统 当与之相关的模型未发生任何相关变化时，我们希望避免重新应用转换。巨型模型一致性问题需要超越常规软件构建所具有的灵活性，因为根据允许修改的模型以及转换应用程序的顺序和方向获得不同的结果。在本文中，我们建议使用方向模型来明确重要的选择。我们展示了如何扩展正式的构建系统 因为根据允许修改的模型以及转换应用程序的顺序和方向可以获得不同的结果。在本文中，我们建议使用方向模型来明确重要的选择。我们展示了如何扩展正式的构建系统 因为根据允许修改的模型以及转换应用程序的顺序和方向可以获得不同的结果。在本文中，我们建议使用方向模型来明确重要的选择。我们展示了如何扩展正式的构建系统冥王星提供一种在宏模型中恢复一致性的方法，即在适当的意义上具有灵活性，健全性和最佳性。