Contrôle sémantique

Un contrôle sémantique est un script contenant des conventions de modélisation. Il peut être appliqué aux modèles et indique si les conventions de modélisation ont été suivies. Si le modèle ne respecte pas les règles, le contrôle montre des descriptions détaillées des erreurs, des avertissements ou des remarques.