Vous pouvez utiliser la fonction de traçabilité pour rechercher les éléments de modèle qui participent à la spécification ou à l'implémentation d'un élément de modèle donné. Cette fonction permet de vérifier qu'un élément de modèle correspond à une spécification existante et qu'il est implémenté. Si un élément de modèle a été modifié, les résultats d'une trace peuvent vous aider à déterminer l'impact de la modification sur les éléments de modèle qui participent à sa spécification ou son implémentation.