Modéliser
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 les règles ne sont pas respectées, des descriptions détaillées des erreurs, des avertissements et/ou des notes s'affichent.