Traceability links have no formal semantic meaning, but can be followed when performing an impact analysis or otherwise navigating through the model structure.