Integrating Semantically-Related Legacy Models in Vitruvius

The development of software-intensive systems, such as automotive systems, is becoming more and more complex. To cope with this complexity, the developers use several modelling formalisms and languages to describe the same system from different viewpoints at multiple levels of abstraction. The used heterogeneous models can share common semantics and are usually separately developed and reused in different projects. This poses a challenge to the developer to keep them consistent along the development process. The Vitruvius approach for view-based software development provides change-driven consistency preservation between heterogeneous models. Vitruvius uses predefined consistency rules to support the consistent development of heterogeneous models. The developers of existing software models can benefit from Vitruvius advantages only if they integrate their models into its consistency preservation mechanism. This paper extends Vitruvius with semi-automated legacy models integration, i.e. the ability to import multiple existing models into the consistency preservation mechanism. For this purpose, we propose an algorithm for automatic consistency checking of multiple existing models and for semi-automatic resolving of the potential conflicts. This algorithm is evaluated by a case study from automotive systems development. In this case study, we integrate existing models in the languages SysML, AMALTHEA and ASCET.