Inhalt

• Abbildungsverzeichnis
• Tabellenverzeichnis
• 1. Einleitung
  • 1.1 Motivation
  • 1.2 Angestrebte Ergebnisse
  • 1.3 Aufbau der Arbeit
  
  
• 2. Wissensbasierte Konfigurierung
  • 2.1 Einordnung
  • 2.2 Methoden zur Konfigurierung
    • 2.2.1 Regelbasiertes Konfigurieren
    • 2.2.2 Strukturbasiertes Konfigurieren
    • 2.2.3 Constraint-basiertes Konfigurieren
    • 2.2.4 Ressourcenbasiertes Konfigurieren
    • 2.2.5 Fallbasiertes Konfigurieren
    • 2.2.6 Verhaltensbasiertes Konfigurieren
  • 2.3 Konfigurierungswerkzeuge
  
  
• 3. Wissensbasierte Konfigurierung am Beispiel von EngCon
  • 3.1 Übersicht
  • 3.2 Historie
  • 3.3 Architektur
  • 3.4 Konzeptuelles Wissen
    • 3.4.1 Begriffshierarchie
    • 3.4.2 Konzeptuelle Hierarchie
    • 3.4.3 Kompositionelle Hierarchie
    • 3.4.4 Dynamische Spezialisierung durch taxonomische Inferenzen
    • 3.4.5 Eigenschaften von Komponenten
  • 3.5 Kontrollwissen
    • 3.5.1 Kategorien von Kontrollwissen
    • 3.5.2 Konfigurierungsvorgang
    • 3.5.3 Interaktives Konfigurieren
  • 3.6 Constraint-Wissen
    • 3.6.1 Konzeptuelle Constraints
    • 3.6.2 Constraint-Relationen
    • 3.6.3 Constraint-Netz
    • 3.6.4 Visualisierung des Constraint-Netzes
  • 3.7 Diskussion zum Constraint-System
    • 3.7.1 Constraints und mögliche Alternativen
    • 3.7.2 Besonderheiten des Constraint-Systems von EngCon
    • 3.7.3 Zusammenfassung
  • 3.8 Anforderungen an einen Constraint-Solver für EngCon
  
  
• 4. Constraints - Konzepte und verfügbare Systeme
  • 4.1 Einführung
  • 4.2 Algebraische Constraints
  • 4.3 Eigenschaften von Constraints
  • 4.4 Ansätze zur Constraint-Verarbeitung
    • 4.4.1 Allgemeine Konzepte
    • 4.4.2 Constraint-Verfahren zur Konfigurierung
    • 4.4.3 Überbestimmte Constraint-Probleme
    • 4.4.4 Weiterführende Konzepte
  • 4.5 Verfügbare Constraint-Systeme
    • 4.5.1 Integrierte Constraint-Solver
    • 4.5.2 Bibliotheken
    • 4.5.3 Frameworks
    • 4.5.4 Kooperative Ansätze
  • 4.6 Fazit
  
  
• 5. Grundlegende Constraint-Lösungstechniken für ein hybrides System
  • 5.1 Einführung
  • 5.2 Klassische Constraint Satisfaction Probleme
    • 5.2.1 Historisches Beispiel
    • 5.2.2 Lösen eines CSP
    • 5.2.3 Konsistenzverfahren
    • 5.2.4 Suchverfahren
    • 5.2.5 Heuristiken zur Variablen- und Werteauswahl
    • 5.2.6 Behandlung von höherwertigen Constraints
  • 5.3 Intervall Constraint Satisfaction Probleme
    • 5.3.1 Intervallmathematik
    • 5.3.2 Intervall-Splitting
    • 5.3.3 Label Inference
    • 5.3.4 Toleranzpropagation
    • 5.3.5 2B-, 3B- und kB-Konsistenz
    • 5.3.6 Box-Konsistenz
    • 5.3.7 -Baum-Methode
  • 5.4 Zusammenfassung und Diskussion
  
  
• 6. Ein hybrides Framework zur heterogenen Constraint-Verarbeitung
  • 6.1 Einführung
  • 6.2 Der Framework-Ansatz
  • 6.3 Constraint-Lösungsstrategien
  • 6.4 Ein hybrides Constraint-System
    • 6.4.1 Ausführungsmodelle
    • 6.4.2 Hybridizität versus Heterogenität
    • 6.4.3 Heterogenes Constraint-Lösen
  • 6.5 Systemarchitektur von YACS
  • 6.6 Diskussion
  
  
• 7. Realisierung und Anbindung an EngCon
  • 7.1 Einleitung
  • 7.2 Das Framework-Konzept
  • 7.3 Übersicht über die Packages
  • 7.4 Der Constraint-Manager
  • 7.5 Repräsentation von Constraint-Ausdrücken
    • 7.5.1 Constraints
    • 7.5.2 Wertebereiche
    • 7.5.3 Elemente
  • 7.6 Implementierte Constraint-Lösungsverfahren
  • 7.7 Constraint-Lösungsstrategien
    • 7.7.1 Der XML-Parser
    • 7.7.2 Einbettung in Constraint-Netze
    • 7.7.3 Ausführungskontrolle
    • 7.7.4 Beispiel für einen Constraint-Lösungsvorgang
  • 7.8 Ausnahmebehandlung
  • 7.9 Integration
    • 7.9.1 Anbindung an EngCon
    • 7.9.2 Integration in andere Systeme
  
  
• 8. Validierung von YACS
  • 8.1 Einleitung
  • 8.2 Eigenschaften des Prototypen
  • 8.3 Validierung anhand synthetischer Probleme
    • 8.3.1 Übersicht über die Problemstellungen
    • 8.3.2 Initialisierung der Constraint-Netze
    • 8.3.3 Ergebnisse des ersten Auswertevorgangs
    • 8.3.4 Modifikation der Constraint-Netze
    • 8.3.5 Ergebnisse des zweiten Auswertevorgangs
    • 8.3.6 Zusammenfassung
  • 8.4 Validierung im Praxiseinsatz
    • 8.4.1 Modifikation der Wissensbasen
    • 8.4.2 Konfigurierung mit EngCon
    • 8.4.3 Zusammenfassung
  • 8.5 Vergleich mit weiterführenden Ansätzen
  • 8.6 Zusammenfassung
  
  
• 9. Zusammenfassung und Ausblick
  • 9.1 Zusammenfassung
  • 9.2 Ausblick
  
  
• A. Konfigurierungswerkzeuge
  • A.1 Historische Systeme
  • A.2 Verfügbare Produkte
  • A.3 Forschungsprototypen
  
  
• B. Konfigurierungszyklus von EngCon
• C. Constraint-Lösungsstrategien
• D. Grammatik der Constraint-Ausdrücke
• E. YACS API-Dokumentation
  • E.1 Package yacs
    • E.1.1 Interface YacsConstraintManager
    • E.1.2 Klasse YacsConstraintManagerImpl
  • E.2 Package yacs.net
    • E.2.1 Klasse ConstraintNet
    • E.2.2 Klasse Solution
    • E.2.3 Klasse Solutions
    • E.2.4 Klasse Strategy
    • E.2.5 Klasse StrategyReader
  • E.3 Package yacs.parser
    • E.3.1 Abstrakte Klasse Expression
    • E.3.2 Klasse BinaryOperator
    • E.3.3 Klasse UnaryOperator
    • E.3.4 Klasse Variable
    • E.3.5 Klasse Constant
  • E.4 Package yacs.domain
    • E.4.1 Klasse Domain
    • E.4.2 Abstrakte Klasse DomainElement
    • E.4.3 Klasse IntervalDomain
    • E.4.4 Klasse IntervalDomainElement
    • E.4.5 Klasse NumericFDDomain
    • E.4.6 Klasse NumericFDElement
    • E.4.7 Klasse SymbolicFDDomain
    • E.4.8 Klasse SymbolicFDElement
  • E.5 Package yacs.solver
    • E.5.1 Interface Solver
    • E.5.2 Abstrakte Klasse ConsistencySolver
    • E.5.3 Abstrakte Klasse PreprocessingSolver
    • E.5.4 Abstrakte Klasse SearchSolver
  • E.6 Package yacs.solver.fdsolver.consistency
    • E.6.1 Klasse AC3Solver
    • E.6.2 Klasse ACSolver
    • E.6.3 Klasse BinaryArc
    • E.6.4 Klasse HyperArc
    • E.6.5 Klasse NCSolver
  • E.7 Package yacs.solver.fdsolver.search
    • E.7.1 Klasse BacktrackingSolver
    • E.7.2 Klasse DomDegRatioVariableOrdering
    • E.7.3 Klasse MAC3Solver
    • E.7.4 Klasse MACSolver
    • E.7.5 Klasse SingleSolutionBTSolver
  • E.8 Package yacs.solver.intervalsolver.consistency
    • E.8.1 Klasse HullConsistencySolver
  • E.9 Package yacs.exceptions
  
  
• F. Programm YacsTester
• G. Glossar
• Literaturverzeichnis
• Stichwortverzeichnis