8.4.2 Konfigurierung mit EngCon

Basierend auf der Wissensbasis PC_Advanced.lisp, den in dem vorhergehenden Abschnitt beschriebenen Modifikationen und der durch eine Wrapper-Klasse realisierten Anbindung des YACS-Frameworks an das Konfigurierungswerkzeug ENGCON (vgl. Abschnitt 7.9.1) erfolgt an dieser Stelle ein Ausschnitt aus einer beispielhaft durchgeführten Konfigurierung. Die nachfolgende Beschreibung konzentriert sich auf die Propagation der in der Wissensbasis spezifizierten Funktions-Constraints. Die Namen der relevanten Constraint-Variablen, Konzeptinstanzen und Parameter wurden in den Abbildungen jeweils hervorgehoben:

• Das Constraint-Netz nach dem Starten der Konfigurierung ist in Abbildung 8.1 dargestellt. Die Wertebereiche für den Parameter FSB_Rate der Konzeptinstanzen von Memory, Processor und Mainboard enthalten jeweils die Werte 66, 100 und 133.^8.8 Die Wertebereiche für die Parameter Transfer_Rate und Speed der Konzeptinstanz von CD_Rom sind mit Intervallen von 3600 bis 6000 bzw. von 24 bis 40 initialisiert.

  Abbildung 8.1: Das Constraint-Netz nach dem Start der Konfigurierung

  

• In Abbildung 8.2 ist dargestellt, wie durch den Benutzer innerhalb der grafischen Benutzungsoberfläche von ENGCON ein Prozessor spezialisiert wird. Die Auswirkungen der Auswahl des Prozessortyps ,,Athlon`` durch den Benutzer sind in Abbildung 8.3 zu sehen: Die Parameter FSB_Rate für die Konzeptinstanzen von Processor und Mainboard wurden von YACS entsprechend der in Abschnitt 8.4.1.1 definierten Constraint-Relation func_FSB_Rate auf den Wert 100 eingeschränkt. Der Parameter FSB_Rate für die Konzeptinstanz von Memory wird entsprechend auf die Werte 100 und 133 beschränkt. Außerdem wurde die unäre Constraint-Relation func_Power_Supply aktiviert und dem Constraint-Netz inkrementell hinzugefügt. Dieses Constraint stellt sicher, dass ein Computergehäuse mit einem Netzgerät mit entsprechender Leistungsabgabe Verwendung findet (vgl. Abschnitt 8.4.1.3).

  Abbildung 8.2: Spezialisierung der Konzeptinstanz von Prozessor

  

  Abbildung 8.3: Einschränkung der Parameter FSB_Rate

  

• Durch die Spezialisierung der Konzeptinstanz von Mainboard, dargestellt in Abbildung 8.4, werden keine weiteren Wertebereichseinschränkungen verursacht, allerdings wurde durch die vorherige Auswahl einer Grafikkarte mit AGP-Schnittstelle die Constraint-Relation func_AGP_Mainboard inkrementell dem Constraint-Netz hinzugefügt (vgl. Abbildung 8.5). Die Constraint-Relation func_AGP_Mainboard stellt sicher, dass für die Spezialisierung der Konzeptinstanz von Mainboard ausschließlich Mainboards zur Auswahl stehen, deren Parameter AGP_Slot mit dem Wert 1 belegt ist (vgl. Abschnitt 8.4.1.3).

  Abbildung 8.4: Spezialisierung der Konzeptinstanz von Mainboard

  

  Abbildung 8.5: Die Constraint-Relation func_AGP_Mainboard

  

• In der Abbildung 8.6 ist zu sehen, wie der Benutzer in ENGCON eine Parametrierung der Konzeptinstanz von Memory durchführt. Die Auswahl des Werts 133 hat zur Folge, dass das Constraint-Netz bzgl. der Parameter FSB_Rate seinen Endzustand erreicht: Der Parameter FSB_Rate für die Konzeptinstanz von Memory wird auf den Wert 133 beschränkt. Für die Konzeptinstanzen von Processor und Mainboard bleibt die Belegung des Parameters FSB_Rate jeweils entsprechend der Constraint-Relation func_FSB_Rate mit dem Wert 100 bestehen. Die Konsistenz des Constraint-Netzes ist weiterhin gewährleistet (vgl. Abbildung 8.7).

  Abbildung 8.6: Parametrierung von FSB_Rate der Konzeptinstanz von Memory

  

  Abbildung 8.7: Erneute Einschränkung des Parameters FSB_Rate

  

• Abschließend erfolgt die Parametrierung der gewünschten Übertragungsgeschwindigkeit des auszuwählenden CD-ROM-Laufwerks. In Abbildung 8.8 trägt der Benutzer den Wert 4800 für den Parameter Transfer_Rate der Konzeptinstanz von CD_Rom ein. Die darauf folgend einsetzende Propagation innerhalb von YACS berechnet anhand der Constraint-Relation func_CD_Rom (vgl. Abschnitt 8.4.1.2) den korrelierenden Wert 32 für den Parameter Speed derselben Konzeptinstanz von CD_Rom und schränkt dessen Wertebereich entsprechend ein. Das Constraint-Netz in seiner endgültigen Ausprägung ist in Abbildung 8.9 dargestellt.

  Abbildung 8.8: Parametrierung von Transfer_Rate der Konzeptinstanz von CD_Rom

  

  Abbildung 8.9: Endgültig propagiertes und konsistentes Constraint-Netz

  

Die Konfigurierung ist damit beendet. Nicht berücksichtigt in dieser Übersicht wurden Konfigurierungsschritte abseits des Constraint-Systems von ENGCON bzw. Konfigurierungsschritte, die unabhängig von YACS durchgeführt wurden.

Fußnoten

...^8.8

Die Nummerierung der Konzeptinstanzen (z.B. Memory_7) wird in dieser Beschreibung nicht berücksichtigt.