Abstract During the development of large software-intensive systems, developers use several modeling languages and tools to describe a system from different viewpoints. Model-driven and view-based technologies have made it easier to define domain-specific languages and transformations. Nevertheless, using several languages leads to fragmentation of information, to redundancies in the system description, and eventually to inconsistencies. Inconsistencies have negative impacts on the system’s quality and are costly to fix. Often, there is no support for consistency management across multiple languages. Using a single language is no practicable solution either, as it is overly complex to define, use, and evolve such a language. View-based development is a suitable approach to deal with complex systems, and is widely used in other engineering disciplines. Still, we need to cope with the problems of fragmentation and consistency. In this paper, we present the Vitruvius approach for consistency in view-based modeling. We describe the approach by formalizing the notion of consistency, presenting languages for consistency preservation, and defining a model-driven development process. Furthermore, we show how existing models can be integrated. We have evaluated our approach at two case studies from component-based and embedded automotive software development, using our prototypical implementation based on the Eclipse Modeling Framework.

中文翻译：

---

在基于视图的系统开发中实现一致性 – Vitruvius 方法

摘要 在大型软件密集型系统的开发过程中，开发人员使用多种建模语言和工具从不同的角度描述系统。模型驱动和基于视图的技术使定义特定领域的语言和转换变得更加容易。然而，使用多种语言会导致信息碎片化、系统描述冗余，并最终导致不一致。不一致会对系统质量产生负面影响，并且修复成本高昂。通常，不支持跨多种语言的一致性管理。使用单一语言也不是可行的解决方案，因为定义、使用和发展这种语言过于复杂。基于视图的开发是处理复杂系统的合适方法，并广泛应用于其他工程学科。尽管如此，我们仍然需要应对碎片化和一致性的问题。在本文中，我们介绍了 Vitruvius 方法以实现基于视图的建模的一致性。我们通过形式化一致性的概念、呈现用于保持一致性的语言以及定义模型驱动的开发过程来描述该方法。此外，我们展示了如何集成现有模型。我们使用基于 Eclipse 建模框架的原型实现，在基于组件和嵌入式汽车软件开发的两个案例研究中评估了我们的方法。我们通过形式化一致性概念、呈现用于保持一致性的语言以及定义模型驱动的开发过程来描述该方法。此外，我们展示了如何集成现有模型。我们使用基于 Eclipse 建模框架的原型实现，在基于组件和嵌入式汽车软件开发的两个案例研究中评估了我们的方法。我们通过形式化一致性概念、呈现用于保持一致性的语言以及定义模型驱动的开发过程来描述该方法。此外，我们展示了如何集成现有模型。我们使用基于 Eclipse 建模框架的原型实现，在基于组件和嵌入式汽车软件开发的两个案例研究中评估了我们的方法。