Towards Rigorously Defined Model-to-Model Traceability

A Model Driven Engineering process typically involves models expressed in different modelling languages that capture different views of the system under development. To enhance automation, consistency and coherency, establishing and maintaining semantically rich traceability links between model elements that belong to different models used throughout the process is of paramount importance. In this paper we propose a rigorous approach to defining such semantically rich traceability links between models expressed in diverse modelling languages using case-specific traceability metamodels and demonstrate the practicality and usefulness of our approach using a concrete example.