Konsistenzüberprüfung

Ein solches Modell ist z.B. das in Kapitel 2.1.2 vorgestellte FORE-Modell. Zur Konsistenzüberprüfung des Merkmalmodells gibt es derzeit an der TU Ilmenau ein Forschungsprojekt.

Such a model is e.g. the FORE model presented in chapter 2.1.2. For the consistency examination of the characteristic model it gives to at present DOES to Ilmenau a research project.

Wir empfehlen, die Konsistenzüberprüfung nie abzuschalten, sofern man den kleinen Laufzeitzuwachs verschmerzen kann.

However, it is recommended that you don't disable the consistency checks unless you can't bear the program to run a little slower.

Vorrichtung zum Erleichtern einer Benutzererzeugung eines Satzes von Maschinensteuerungsanweisungen, die zusammengenommen eine Entscheidungsfunktion bilden, die einzelne Wertkombinationen eines vorbestimmten Satzes von Bedingungsfaktoren auf entsprechende einzelne Ergebnisse eines Satzes derartiger Ergebnisse bezieht, wobei jede einzelne Maschinensteuerungsanweisung einen Satz einer oder mehrerer Bedingungsfaktorwert-Kombinationen, nachfolgend CFVCs genannt, einem Ergebnis zuordnet, wobei die Vorrichtung folgende Merkmale aufweist: eine Einrichtung zum Speichern der Maschinensteuerungsanweisungen; eine Anzeigeeinrichtung zum Anzeigen einer strukturierten Darstellung der existierenden Maschinensteuerungsanweisungen für einen Benutzer, bei der eine Anweisung in Form einer visuellen Zuordnung zwischen ihrem CFVC-Satz und ihrem entsprechenden Ergebnis dargestellt ist; eine Eingabeeinrichtung zum Empfangen einer Benutzereingabe zum Erzeugen einer neuen Maschinensteuerungsanweisung und/oder zum Modifizieren mindestens einer existierenden Maschinensteuerungsanweisung, um dadurch einen neuen Satz von Maschinensteuerungsanweisungen zu erzeugen, wobei die neuen und/oder modifizierten Anweisungen in der strukturierten Darstellung dargestellt sind; und wobei die Vorrichtung durch eine Konfliktüberprüfungseinrichtung zum automatischen Ausführen einer Konsistenzüberprüfung des neuen Satzes von Maschinensteuerungsanweisungen gekennzeichnet ist, indem: (a) beliebige Konflikte zwischen Anweisungen identifiziert werden, indem eine beliebige Gruppe mindestens einer CFVC identifiziert wird, welche einer Mehrzahl der Anweisungen gemeinsam ist, die nicht alle das gleiche Ergebnis spezifizieren; (b) Bestimmen, ob ein beliebiger derartiger Konflikt auf der Basis einer spezifischeren Anweisung, die Vorrang über eine allgemeinere hat, lösbar ist, indem bestimmt wird, ob die entsprechende Gruppe gleich dem Satz aller CFVCs ist, die durch eine Anweisung der Mehrzahl eingeschlossen sind, wobei das Vorhandensein einer beliebigen letzteren Anweisung, nachfolgend eine Ausnahmeanweisung genannt, bestimmt, daß der Konflikt lösbar ist, wobei die Ausnahmeanweisung einer beliebigen anderen Anweisung der Mehrzahl zugeordnet ist, derart, daß die Ausnahmeanweisung Vorrang über die beliebige andere Anweisung hat; und (c) Verhindern einer Annahme des neuen Satzes von Anweisungen, wenn ein unlösbarer Konflikt vorhanden ist.

Apparatus of facilitating user generation of a set of machine control statements that taken together constitute a decision function relating particular value combinations of a predetermined set of condition factors to corresponding particular outcomes of a set of such outcomes, each individual machine control statement associating a set of one or more condition-factor value combinations, herein CFVCs, with a said outcome; said apparatus comprising: means for storing said machine control statements; display means for displaying to a user a structured representation of said existing machine control statements in which a said statement is represented in terms of a visual association between its CFVC set and corresponding outcome; input means for receiving user input for creating a new machine control statement and/or for modifying at least one existing machine control statement thereby to generate a new said set of machine control statements, said new and/or modified statements being represented in said structured representation; and being characterised by conflict-checking means for automatically carrying out a consistency check on said new set of machine control statements by: (a) identifying any conflicts between statements by identifying any group of at least one CFVC which is common to a plurality of said statements that do not all specify the same outcome, (b) determining whether any such conflict is resolvable on the basis of a more specific statement having precedence over a more general one, by determining whether the corresponding said group is equal to the set of all the CFVCs encompassed by a said statement of said plurality, the presence of any such latter statement, herein an exception statement, determining said conflict to be resolvable with said exception statement being associated with any other said statement of said plurality such that the exception statement has precedence over said any other statement, and (c) inhibiting acceptance of said new set of statements where an unresolvable conflict is present.

Ein Verfahren gemäß einem beliebigen der vorhergehenden Ansprüche, bei dem bei der Konsistenzüberprüfung bestimmt wird, daß ein unlösbarer Konflikt vorhanden ist, wobei dem Benutzer ein Vorschlag dargeboten wird, um eine Lösung des Konflikts zu ermöglichen, indem der Konflikt als die Basis für eine oder mehrere neue Ausnahmeanweisungen verwendet wird.

A method according to any one of the preceding claims, wherein upon said consistency check determining that a said unresolvable conflict is present, a proposal is presented to the user to enable a resolution of said conflict by using said conflict as the basis for one or more new exception statements.

Ein Verfahren zum Erleichtern der Benutzererzeugung eines Satzes von Maschinensteuerungsanweisungen, die zusammengenommen eine Entscheidungsfunktion bilden, die einzelne Wertkombinationen eines vorbestimmten Satzes von Bedingungsfaktoren auf entsprechende einzelne Ergebnisse eines Satzes derartiger Ergebnisse bezieht, wobei jede einzelne Maschinensteuerungsanweisung einen Satz von einer oder mehreren Bedingungsfaktorwert-Kombinationen (nachfolgend CFVCs genannt) einem Ergebnis zuordnet, wobei das Verfahren folgende Schritte aufweist: Anzeigen einer strukturierten Darstellung der Maschinensteuerungsanweisungen für einen Benutzer, bei der eine Anweisung in Form einer visuellen Zuordnung zwischen ihrem CFVC-Satz und einem entsprechenden Ergebnis dargestellt ist; Empfangen einer Benutzereingabe zum Erzeugen mindestens einer neuen Maschinensteuerungsanweisung und/ oder zum Modifizieren mindestens einer existierenden Maschinensteuerungsanweisung, um dadurch einen neuen Satz von Maschinensteuerungsanweisungen zu erzeugen, wobei die neuen und/oder modifizierten Anweisungen in der strukturierten Darstellung dargestellt sind; und wobei das Verfahren durch den Schritt des automatischen Ausführens einer Konsistenzüberprüfung des neuen Satzes von Maschinensteuerungsanweisungen gekennzeichnet ist, indem: (a) beliebige Konflikte zwischen Anweisungen identifiziert werden, indem eine beliebige Gruppe von mindestens einer CFVC identifiziert wird, welche einer Mehrzahl der Anweisungen gemeinsam ist, die nicht alle das gleiche Ergebnis spezifizieren; (b) Bestimmen, ob ein beliebiger derartiger Konflikt auf der Basis einer spezifischeren Anweisung, die Vorrang über eine allgemeinere aufweist, lösbar ist, indem bestimmt wird, ob die entsprechende Gruppe dem Satz aller CFVCs gleich ist, die durch eine Anweisung der Mehrzahl eingeschlossen sind, wobei das Vorhandensein irgendeiner derartigen letzteren Anweisung, nachfolgend Ausnahmeanweisung genannt, bestimmt, daß der Konflikt lösbar ist, wobei die Ausnahmeanweisung einer beliebigen anderen Anweisung der Mehrzahl zugeordnet ist, derart, daß die Ausnahmeanweisung Vorrang über die beliebige andere Anweisung besitzt; und (c) Verhindern der Annahme des neuen Satzes von Anweisungen, wenn ein unlösbarer Konflikt vorhanden ist.

A method of facilitating user generation of a set of machine control statements that taken together constitute a decision function relating particular value combinations of a predetermined set of condition factors to corresponding particular outcomes of a set of such outcomes, each individual machine control statement associating a set of one or more condition-factor value combinations, herein CFVCs, with a said outcome; said method comprising the steps of: displaying to a user a structured representation for said machine control statements in which a said statement is represented in terms of a visual association between its CFVC set and corresponding outcome; receiving user input for creating at least one new machine control statement and/or modifying at least one existing machine control statement thereby to generate a new said set of machine control statements, said new and/or modified statement being represented in said structured representation; and being characterised by the step of automatically carrying out a consistency check on said new set of machine control statements by: (a) identifying any conflicts between statements by identifying any group of at least one CFVC which is common to a plurality of said statements that do not all specify the same outcome, (b) determining whether any such conflict is resolvable on the basis of a more specific statement having precedence over a more general one, by determining whether the corresponding said group is equal to the set of all the CFVCs encompassed by a said statement of said plurality, the presence of any such latter statement, herein an exception statement, determining said conflict to be resolvable with said exception statement being associated with any other said statement of said plurality such that the exception statement has precedence over said any other statement, and (c) inhibiting acceptance of said new set of statements where an unresolvable conflict is present.

Ein Verfahren gemäß einem beliebigen der vorhergehenden Ansprüche, bei dem bei der Konsistenzüberprüfung bestimmt wird, daß ein unlösbarer Konflikt vorhanden ist, wobei eine visuelle Anzeige dieses Konflikts und der Identität der Konflikt-bildenden Anweisungen dem Benutzer angezeigt wird.

A method according to any one of the preceding claims, wherein upon said consistency check determining that a said unresolvable conflict is present, a visual indication of this conflict and of the identity of the conflicting statements is displayed to the user.

Ein Verfahren gemäß einem beliebigen der vorhergehenden Ansprüche, bei dem die Konsistenzüberprüfung bei einer Benutzeranforderung, die einer Benutzereingabe folgt, zum Erzeugen mindestens einer neuen/modifizierten Anweisung ausgeführt wird.

A method according to any one of the preceding claims, wherein said consistency check is carried out upon user request following user input for creating at least one new/modified statement.

Verfahren nach Anspruch 13, dadurch gekennzeichnet, dass in einem Fall, bei dem die Konsistenzüberprüfung der Zeitstempel eine Diskrepanzzeit zeigt, die Server- (1) Version die Priorität übernimmt und die in dem lokalen Cache zwischengespeicherte (15) Version überschrieben wird.

Method according to claim 13, characterized in that in case the consistency check of the timestamps shows a discrepancy, the server (1) version takes precedence and the locally cached (15) version is overwritten.