You can use the traceability feature to locate the model elements that contribute to the specification or implementation of a given model element. You can use traceability to verify that a model element corresponds to an existing specification and is implemented. If a model element changes, the results of a trace can help you to determine the impact of a change on the model elements that contribute to its specification or implementation.