next up previous contents index
Nächste Seite: 3.6.2 Constraint-Relationen Aufwärts: 3.6 Constraint-Wissen Vorherige Seite: 3.6 Constraint-Wissen   Inhalt   Index

3.6.1 Konzeptuelle Constraints

Konzeptuelle Constraints sind neben dem in der Begriffshierarchie definierten Konzept- und Kontrollwissen Teil des statischen Wissens. Sie beschreiben Abhängigkeiten zwischen den Konzepten der Begriffshierarchie von ENGCON. Mittels konzeptueller Constraints lässt sich über die Konzeptebene eine Zuordnung zwischen den Instanzen bestimmter Konzepte und deren Parametern zu anderen Instanzen vornehmen. In konzeptuellen Constraints werden Instantiierungsregeln, auch ,,Bindungsmuster`` genannt, in Form von sog. Variablen-Pattern-Paaren definiert. Mit einem Variablen-Pattern-Paar wird eine bestimmte Instanz eines Konfigurierungsobjektes an eine Pattern-Variable gebunden. Variablen-Pattern-Paare werden von einem Pattern-Matcher ausgewertet. Der Pattern-Matcher entscheidet, wann die in den konzeptuellen Constraints definierten Constraint-Relationen instantiiert werden. Für jede neu erzeugte Instanz eines Konfigurierungsobjektes überprüft der Pattern-Matcher, ob mit ihr das Variablen-Pattern-Paar eines konzeptuellen Constraints erfüllt wird (engl. to match). Ist ein Variablen-Pattern-Paar erfüllt, werden Instanzen von der bzw. den in dem konzeptuellen Constraint definierten Constraint-Relation(en) erzeugt und deren Constraint-Variablen an die Slots der Instanzen der betreffenden Konfigurierungsobjekte gebunden (vgl. Werres, 2002).

Abbildung 3.8: Konzeptuelles Constraint
\begin{figure}\centering
\begin{rahmen}
\begin{small}
\begin{verbatim}(def-kon...
...GP_Mainboard (?m AGP_Slot))))\end{verbatim}
\end{small}\end{rahmen}
\end{figure}

Beispiel 3.6.1   Das konzeptuelle Constraint mit dem Namen conc_AGP_Mainboard in Abbildung 3.8 bestimmt, dass wenn die Variablen-Pattern-Paare erfüllt sind, die Constraint-Relation func_AGP_Mainboard mit dem Parameter AGP_Slot instantiiert wird. Die Instantiierungsregeln bzw. die Variablen-Pattern-Paare, in denen Objektinstanzen an die Pattern-Variablen ?v und ?m gebunden werden, besagen, dass genau dann eine Instanz der Constraint-Relation erzeugt wird, wenn es

  1. eine Instanz des Konzepts VGA_Card mit der Wertebelegung agp für den Parameter Bus und

  2. eine Instanz des Konzepts mit dem Namen Mainboard gibt (deren Parameter AGP_Slot der Instanz der Constraint-Relation übergeben wird).

Über konzeptuelle Constraints wird somit durch sukzessives Instantiieren von Constraints der inkrementelle Aufbau des Constraint-Netzes gesteuert. Konzeptuelle Constraints können wie (Meta-)Regeln mit einem Bedingungs- und einem Aktionsteil aufgefasst werden. Der Bedingungsteil wird dementsprechend durch die Variablen-Pattern-Paare repräsentiert, der Aktionsteil durch den Constraint-Aufruf bzw. die Instantiierung der Constraint-Relation.


next up previous contents index
Nächste Seite: 3.6.2 Constraint-Relationen Aufwärts: 3.6 Constraint-Wissen Vorherige Seite: 3.6 Constraint-Wissen   Inhalt   Index