Mit der Funktion für Tracefähigkeit können Sie Modellelemente lokalisieren, die an der Spezifizierung oder Implementierung eines Modellelementes beteiligt sind. Mit der Tracefähigkeit kann überprüft werden, ob ein Modellelement eine bestehende Spezifikation erfüllt und entsprechend implementiert ist. Wenn ein Modellelemente geändert wird, können Sie anhand der Traceergebnisse ermitteln, welche Auswirkungen die Änderung auf diejenigen Modellelemente hat, die zu seiner Spezifizierung und Implementierung beitragen.