next up previous contents index
Nächste Seite: 8.4.1.1 Beispiel: Taktfrequenzen Aufwärts: 8.4 Validierung im Praxiseinsatz Vorherige Seite: 8.4 Validierung im Praxiseinsatz   Inhalt   Index

8.4.1 Modifikation der Wissensbasen

Damit das Konfigurierungswerkzeug ENGCON in der Lage ist das YACS-Framework für die Constraint-Auswertung zu nutzen, ist neben dem Austausch der Schnittstellenklasse eine Modifikation der jeweils eingesetzten Wissensbasis notwendig. Die Änderungen sind grundsätzlich minimal und betreffen ausschließlich die an den Constraint-Solver zu übergebenden Strings, welche die Constraint-Ausdrücke beinhalten. Diese werden innerhalb der Wissensbasis um den Namen der Constraint-Lösungsstrategie ergänzt, welche für die Verarbeitung des jeweiligen Constraints zuständig ist. Eine vereinfachte Schnittstelle könnte vorsehen, dass diese Zuordnung statisch innerhalb der Wrapper-Klasse zum YACS-Framework vorgenommen wird. Zu Demonstrationszwecken wurde die flexiblere Variante gewählt, wodurch allerdings die Modifikationen erforderlich werden.

Für die Validierung mit dem Konfigurierungswerkzeug ENGCON wurden zwei bereits existierende Wissensbasen an das YACS-Framework angepasst: PC.lisp und PC_Advanced.lisp. Mit beiden Wissensbasen lässt sich beispielhaft eine PC-Konfigurierung durchführen. An dieser Stelle werden die hierfür benötigten Konzepte, die Constraints und die Modifikationen in PC_Advanced.lisp dokumentiert, da diese Wissensbasis die Änderungen von PC.lisp sinngemäß beinhaltet, und sich zudem das nachfolgende Beispiel einer Konfigurierung auf PC_Advanced.lisp bezieht. Im Folgenden werden aus Platzgründen ausschließlich die für die Constraint-Propagation relevanten Teile der Wissensbasis aufgeführt.



Unterabschnitte
next up previous contents index
Nächste Seite: 8.4.1.1 Beispiel: Taktfrequenzen Aufwärts: 8.4 Validierung im Praxiseinsatz Vorherige Seite: 8.4 Validierung im Praxiseinsatz   Inhalt   Index