Eigene Prüfaktionen konfigurieren

Sie können Ihr Modell mit selbst programmierten Einzelprüfungen auf syntaktische und methodische Korrektheit prüfen. Diese Einzelprüfungen können Sie mit Hilfe einer Prüfaktion in den Assistenten zur Modellprüfung einbinden.

Prüfaktionen kennen lernen

Die Qualität eines Modells ist entscheidend für die Nutzung des Modells. Bei der Erstellung eines Modells soll der Modellierer jedoch nicht eingeschränkt werden. Gerade dann, wenn in Teams modelliert wird, ist es notwendig, die Modellqualität sicherzustellen. Daher ist eine automatisierte Modellprüfung notwendig, die nach festgelegten Regeln das gesamte Modell oder einen Ausschnitt prüft.

Der Einrichter der Prüfungen erstellt eine Prüfaktion, die allen Modellbenutzern (außer Gast) zur Durchführung im Assistenten angeboten werden. Der lokalisierte Name der Prüfaktion und die lokalisierte Beschreibung wird entsprechend der eingestellten Oberflächensprache ($INOLANG) im Assistenten zur Modellprüfung angezeigt.

Eine Prüfaktion besteht aus Einzelprüfungen, die fachlich gruppiert werden können.

Eine Einzelprüfung kann eine kundenspezifische Prüfung sein, die in einer .NET-Sprache oder in Java programmiert ist. Sie können auch Prüfroutinen selbst als Einzelprüfung einbinden.

Prüfkonfiguration bearbeiten

Prüfkonfiguration

Um eine Prüfaktion nutzen zu können, muss sie in der Prüfkonfiguration enthalten sein. Die Prüfkonfiguration kann mehrere Prüfaktionen enthalten.

Die Prüfkonfiguration ist in der Datei $INODIR/inoverify.xml enthalten.

Ein Beispiel der Datei ist:

Die Datei muss manuell durch den Einrichter der Prüfungen gepflegt werden.

Nach Änderungen an der Datei muss Innovator neu gestartet werden, damit die Änderungen wirksam werden, da die Konfiguration ausschließlich beim Start von Innovator gelesen wird.

Das Schema ist in der Datei $INODIR/inoverify.xsd enthalten. Das Schema gibt den Namensraum vor (XML-Namespace http://www.mid.de/inoverify.

An der Prüfkonfiguration (XML-Element VerificationConfiguration) können Sie Folgendes konfigurieren:

Liste von Prüfaktionen (XML-Element Actions)

Prüfaktion

An der Prüfaktion (XML-Element VerificationAction) können Sie Folgendes konfigurieren.

Liste von Prüfgruppen (XML-Element Groups)
Lokalisierter Name der Prüfaktion (XML-Element Name)
Lokalisierte Beschreibung der Prüfaktion (XML-Element Description)
Lokalisierter Name der Kategorie, der die Prüfaktion zugeordnet ist (XML-Element Category)
Name der Methode (XML-Element Method)

Prüfgruppe

An einer Prüfgruppe (XML-Element VerificationGroup) können Sie Folgendes konfigurieren.

Lokalisierter Name der Prüfgruppe (XML-Element Name)
Liste von Einzelprüfungen. In dieser Liste stehen die Einzelprüfungen für Java und .NET-Sprachen und für Prüfroutinen (XML-Element Singles)

Für den lokalisierten Text kann jeweils der deutsche Text im untergeordneten XML-Element German und der englische Text im untergeordneten XML-Element English gepflegt werden.

Einzelprüfungen konfigurieren

Generische Einzelprüfung

Für eine generische Einzelprüfung, die in einer .NET-Sprache oder in Java programmiert ist, erstellen Sie ein XML-Element SingleVerification mit dem Attribut xsi:type=JavaGenericVerification bzw. xis:type=[Name der C#-Klasse] . Darunter können Sie Folgendes konfigurieren.

Lokalisierter Name der Einzelprüfung (XML-Element Name)
Typ der Einzelprüfung (XML-Element Type) mit dem Inhalt
- CLR (C#-Prüfung)
- JavaGeneric (generische Java-Prüfung)
Lokalisierte Beschreibung der Einzelprüfung (XML-Element Description)
Qualifizierter Name der implementierenden C#-Klasse bzw. Java-Klasse (XML-Element Check)
Lokalsierter Meldungstext, der im Falle eines Fehlers mit ausgegeben wird (XML-Element Message)
Typ der Meldung (Fehler, Warnung, Info), der im Falle eines Fehlers ausgegeben wird (XML-Element MessageKind)
Liste von Parametern, die beim Aufruf mitgegeben werden (XML-Element Parameters mit den untergeordneten XML-Elementen VerifyParameter)
- Name des Parameters (XML-Element Name)
- Wert des Parameters (XML-Element Value)
Liste von Stereotypen, auf deren Modellelemente die Einzelprüfung anwendbar ist (XML-Element Stereotypes mit den untergeordneten XML-Elementen VerifyStereotype)
- Elementtyp des Stereotyps. Es wird der API-Name verwendet, den Sie z.B. über Hilfe>Info sehen können (XML-Element MetaType)
- Definierendes Profil des Stereotyps (XML-Element Profile)
- Name des Stereotyps (XML-Element Stereotype)
- Prüfungsnummer (XML-Element Id)
- Ob die Einzelprüfung für diesen Stereotyp aktiv ist, d.h. ausgeführt werden soll. (XML-Element IsActive)

Nichtgenerische Einzelprüfung

Für eine in Java programmierte Einzelprüfung, die nicht generisch ist, erstellen Sie ein XML-Element SingleVerification mit dem Attribut xsi:type=JavaVerification . Darunter können Sie folgendes konfigurieren.

Typ der Einzelprüfung (XML-Element Type) mit dem Inhalt Java
Ob die Einzelprüfung aktiv ist, d.h. ausgeführt werden soll. (XML-Element IsActive)
Qualifizierter Name der implementierenden C#-Klasse bzw. Java-Klasse (XML-Element Check)

Prüfroutine

Für eine Prüfroutine erstellen Sie ein XML-Element SingleVerification mit dem Attribut xsi:type=VerificationRoutine. Darunter können Sie folgendes konfigurieren.

Lokalisierter Name der Prüfroutine. Verwenden Sie hier den Namen der Prüfroutine aus der Modellkonfiguration. (XML-Element Name)
Typ der Einzelprüfung (XML-Element Type) mit dem Inhalt Server
Ob die Einzelprüfung aktiv ist, d.h. ausgeführt werden soll. (XML-Element IsActive)

Für den lokalisierten Text kann jeweils der deutsche Text im untergeordneten XML-Element German und der englische Text im untergeordneten XML-Element English gepflegt werden.

Migrieren eines Prüfprofils aus dem Prüfmanager

Voraussetzungen

Sie haben in Java für den Prüfmanager Prüfungen programmiert und als JAR-Datei vorliegen.
Sie haben eine XML-Datei zur Konfiguration dieser Prüfungen im Verzeichnis $INODIR/java/Verification/conf.
Die JAR-Datei liegt im Verzeichnis $INODIR/java/Verification/bin.
Weitere verwendete JAR-Dateien befinden sich entweder in $INODIR/java/Verification/bin oder in $INODIR/java/Verification/lib.
Im Verzeichnis $INODIR existiert noch keine Datei namens inoverify.xml.

Zusammenhang

Der Prüfmanager kann über eine Engineering-Aktion in Innovator gestartet werden. Er kann ausschließlich Java-Prüfungen ausführen und ist nicht in die Benutzeroberfläche von Innovator integriert.

Sie sollten daher vom Prüfmanager auf den Assistenten zur Modellprüfung umsteigen.

Der Umstieg ist denkbar einfach: Wenn ein Durchführer den Assistenten zur Modellprüfung statt des Prüfmanagers verwenden soll, dann können Sie als Einrichter die vorhandenen Prüfungen für den Prüfmanager zur Verwendung im Assistenten zur Modellprüfung vorbereiten.

Die in Java programmierten Einzelprüfungen können unverändert bleiben. Aus den bestehenden Konfigurationsdateien für den Prüfmanager wird automatisch eine Prüfkonfiguration für den Assistenten zur Modellprüfung erstellt.

So gehen Sie vor

Selektieren Sie die Elemente, die Sie prüfen möchten.
Wählen Sie Überarbeiten>Modellierung prüfen>Prüfassistent.

Der Prüfassistent öffnet sich und Sie können den Umfang der zu prüfenden Modellelemente auswählen.
Wählen Sie Die aktuelle Selektion aus.

Auf der nächsten Seite können Sie die Prüfmethode auswählen. Sie sehen im Abschnitt Prüfaktion ausführen für jedes Prüfprofil des Prüfmanagers eine migrierte Prüfaktion. Die Prüfkonfiguration ist im temporären Verzeichnis in der Datei inoverify.xml gespeichert worden.
Kopieren Sie die Datei ins Verzeichnis $INODIR .
Sie haben nun eine vollwertige Prüfkonfiguration.
Bearbeiten Sie die Prüfkonfiguration, um an den Prüfaktionen eine Beschreibung zu erstellen oder um mehrsprachige Namen zu haben.