Metamodell-Check

Die Idee des Metamodell-Checkers ist es, ausgehend von einem Metamodell zu prüfen, ob ein Modell die im Metamodell definierten Regeln erfüllt. Damit lassen sich gleich zwei Probleme lösen:

• Die Prüfung eines Modells auf strukturelle Korrektheit muss nicht separat ausprogrammiert werden.
  Zur Prüfung wird einfach das Metamodell herangezogen.
• Da das Metamodell nun auf die dadurch spezifizierten Modell angewendet wird, ist sichergestellt, dass das Metamodell dem aktuellen Stand des Modells entspricht. Damit ist das klassische Problem gelöst, dass es zwar ein Metamodell gibt, dieses aber einen veralteten Stand wiedergibt.

In Rahmen des Projekts Projekt MBSE bei Mercedes-Benz konnte sich unser Metamodell-Checker im Produktiv-Betrieb mit IBM Rhapsody bewähren. Die Erstellung und Pflege des Metamodells sind inzwischen strategischer Bestandteil des Projekts. Der Metamodell-Checker ist auch für die DNG-Lastenhefte verfügbar und wartet nur noch auf die Fertigstellung der entsprechenden Teile des Metamodells.