Semantikcheck

Ein Semantikcheck ist ein Skript, das Modellierungskonventionen enthält. Es kann auf Modelle angewendet werden und gibt an, ob die Modellierungskonventionen eingehalten wurden. Wenn ein Modell nicht regelkonform ist, werden detaillierte Fehlerbeschreibungen, Warnungen oder Hinweise ausgegeben.