Modell prüfen

Sie können Ihr Modell mit Prüfroutinen auf syntaktische und methodische Korrektheit prüfen. Prüfroutinen verwalten Sie ausschließlich im Konfigurationseditor.

Modelle prüfen

Sie können umfangreiche Einstellungen vornehmen, um eine Modellprüfung durchzuführen, die genau Ihren Vorstellungen bezüglich der syntaktischen und methodischen Korrektheit eines Modells entspricht.

Folgende Parameter beeinflussen die Ergebnisse der Modellprüfung:

stets der aktuelle Stand der Modellinhalte
ggf. die aktuell selektierten Modellelemente
der gewählte Inhalt der Modellprüfung
- Das aktive Diagramm
- Die aktuelle Selektion
- Elemente relativ zur aktuellen Selektion
- Ein individueller Ausschnitt des Modells
- Das gesamte Modell
die ausgeführte Prüfroutine oder selbsterstellte Prüfaktion mit ihren Festlegungen zum Inhalt der Prüfung

Ihre selbsterstellten Prüfaktionen können aus ausgelieferten Prüfroutinen und selbstprogrammierten Prüfaktionen bestehen. Diese Prüfkonfiguration können Sie für alle Modelle in der Datei $INODIR/inoverify.xml bereitstellen oder alternativ in einem speziellen Spezifikationstext modellspezifisch festlegen.

Prüfroutinen kennen lernen

Weil Modelle durchaus komplex sind und die Abhängigkeiten von der Konfiguration und der benutzten Notation nicht gering sind, ist eine Prüfung auf Konsistenz notwendig.

Für die Prüfung benutzen Sie konfigurierte Prüfroutinen. Eine Prüfroutine besteht aus mindestens einer Prüfoption, die die eigentliche Prüfung enthält und ggf. eine Meldung als Prüfergebnis liefert.

Um eine Prüfroutine aufrufen zu können, muss sie im Konfigurationseditor in der Ansicht Menüs für das Menü konfiguriert worden sein.

Für die Anzeige in den sprachabhängigen Benutzeroberflächen werden die lokalisierten Namen bevorzugt. Der lokalisierte Name der Prüfroutine wird entsprechend der eingestellten Oberflächensprache ($INOLANG) wie folgt angezeigt:

Konfigurationseditor
- im Profilbaum
- im Dialog Bearbeiten>Eigenschaften als Bezeichnung des Wurzelregisters
Modelleditor
- im Untermenü Überarbeiten>Modell prüfen>Prüfroutine ausführen.

Hinweis

Die Vergabe von Ausführungsrechten auf Prüfroutinen erfolgt im Konfigurationseditor in der Ansicht Ausführungsrechte.

Aufrufen und Auswerten einer Prüfroutine

Voraussetzungen

Zum Aufrufen einer Prüfroutine müssen Sie in Ihrer Rolle das Ausführungsrecht besitzen. Sie können das Ausführungsrecht durch ein vorübergehendes Modelladministratorrecht erlangen.

Zusammenhang

Mit dem Aufruf einer Prüfroutine starten Sie für die selektierten Modellelemente die Ausführung einer konfigurierten Zusammenstellung von Prüfoptionen.

Wenn eine Prüfoption eine Meldung liefert, erscheint diese entweder im Toolfenster Prüfergebnisse oder im rechten Bereich des geprüften Diagramms.

Weitergehende Informationen zu den Prüfmeldungen finden Sie in der Übersicht der Prüfmeldungen. Jede Prüfmeldung trägt die ID der Prüfoption, die sie liefert.

Wenn Sie eine Prüfmeldung selektieren, dann wird das betroffene Modellelement selektiert und im Diagramm eine Linie von der Meldung zum betroffenen Diagrammelement gezogen. Dadurch können Sie sofort mit der korrigierenden Bearbeitung beginnen.

So gehen Sie vor

Selektieren Sie die Elemente, die Sie prüfen möchten.
Wählen Sie Überarbeiten>Modell prüfen>Prüfroutine ausführen><Prüfroutine>.

Meldungen zu den ermittelten Unstimmigkeiten in den geprüften Elementen werden im Toolfenster Prüfergebnisse oder im rechten Bereich des Diagramms aufgelistet. Jede Meldung weist auf einen Mangel hin, der aus Sicht eines konsistenten Modells noch besteht.
Um das Element zu selektieren, auf das sich eine Meldung bezieht, selektieren Sie die Meldung.

Das Element wird selektiert. Die Toolfenster Eigenschaften, Details und andere liefern Informationen zum selektierten Element.
Korrigieren Sie die Ursache der Prüfmeldung.
Um die fehlerhaften Elemente erneut zu prüfen, klicken Sie auf die Schaltfläche Wiederholen.

Der Befehl Fehlerhafte Elemente erneut prüfen wird ausgeführt.
Um alle Elemente erneut zu prüfen, klicken Sie auf die Schaltfläche Wiederholen und wählen Sie Alle Elemente erneut prüfen.
Wiederholen Sie Korrekturen und Prüfung bis keine Prüfmeldungen mehr vorhanden sind.