The model-driven development of systems involves multiple models, metamodels and transformations, and relationships between them. A bidirectional transformation (bx) is usually defined as a means of maintaining consistency between “two (or more)” models. This includes cases where one model may be generated from one or more others, as well as more complex (“symmetric”) cases where models record partially overlapping information. In recent years, binary bx, those relating two models, have been extensively studied. Multiary bx, those relating more than two models, have received less attention. In this paper, we consider how a multiary consistency relation may be defined in terms of binary consistency relations and how consistency restoration may be carried out on a network of models and relationships between them. In particular, we consider the circumstances under which we can prove non-interference between several bidirectional transformations that impact on the same model and how the use of a more refined notion of consistency can help in cases where this is not possible. In the process, we develop an abstract theory of parts of a model that are read or modified by a bidirectional transformation. We relate the work to megamodelling and discuss further research that is needed.

中文翻译：

---

保持模型网络的一致性：大型模型中的双向转换

系统的模型驱动开发涉及多个模型，元模型和转换以及它们之间的关系。双向转换（bx）通常被定义为维持“两个（或更多）”模型之间一致性的一种手段。这包括可能从一个或多个其他模型生成一个模型的情况，以及模型记录部分重叠信息的更复杂（“对称”）情况。近年来，对涉及两种模型的二进制bx进行了广泛的研究。涉及两个以上模型的多元bx受到的关注较少。在本文中，我们考虑如何根据二进制一致性关系定义多元一致性关系，以及如何在模型及其之间的关系网络上进行一致性恢复。尤其是，影响同一模型的多个双向转换之间的互不干扰，以及在不可能的情况下如何使用更精细的一致性概念有帮助。在此过程中，我们开发了模型零件的抽象理论，这些零件可以通过双向转换读取或修改。我们将工作与大型建模联系起来，并讨论需要进行的进一步研究。