all_theses.bib
@phdthesis{Pu06,
author = {Pulverm\"uller, Elke},
title = {{Verifikation von Komponenten-basierten Systemen auf Basis eines
erweiterten temporalen Verifikationsverfahrens.}},
school = {Friedrich-Schiller-Universit\"at Jena},
year = {2006},
month = {January},
language = {German},
mytype = {THESIS}
}
@phdthesis{Goe93b,
author = {G{\"o}ers, Jutta},
title = {Ein neues Konzept zur integrierten CIM-Informationsverwaltung und seine Realisierung am Beispiel eines CAD- und Objektbanksystems},
school = {Technische Universit{\"a}t Clausthal-Zellerfeld},
year = {1993},
mytype = {THESIS}
}
@mastersthesis{runte06diplom,
author = {Runte, Wolfgang},
title = {{YACS}: {E}in hybrides {F}ramework f{\"u}r
{C}onstraint-{S}olver zur {U}nterst{\"u}tzung
wissensbasierter {K}onfigurierung},
school = {University of Bremen},
year = {2006},
type = {Diploma {T}hesis},
month = jan # { 27,},
abstract = {In wissensbasierten Konfigurierungssystemen werden
Komponenten zur Constraint-Verarbeitung f{\"u}r die
Verwaltung von Abh{\"a}ngigkeiten w{\"a}hrend des
Konfigurierungsprozesses eingesetzt. Die Effizienz
von Constraint-L{\"o}sungsverfahren ist allerdings
stark problemabh{\"a}ngig. Zudem kann es aufgrund
einer Vielzahl unterschiedlicher Dom{\"a}nen und der
Vielf{\"a}ltigkeit der Anwendungsszenarien notwendig
werden, an die jeweilige Dom{\"a}ne angepasste
Constraint-L{\"o}sungsverfahren einzusetzen. Zur
Behandlung von unterschiedlichen
Constraint-Dom{\"a}nen innerhalb des
strukturbasierten Konfigurierungswerkzeugs EngCon
sind Constraint-Solver sowohl f{\"u}r finite als
auch infinite Dom{\"a}nen erforderlich. Die
Steuerung muss durch eine Komponente geleistet
werden, mit der sich unterschiedliche
Constraint-Solver je nach Bedarf und
dom{\"a}nenspezifisch einsetzen lassen. Die
Modularit{\"a}t ist dabei entscheidend f{\"u}r die
Austauschbarkeit einzelner Komponenten. Es stellt
daher einen sinnvollen Ansatz dar, ein modulares
Constraint-Framework einzusetzen, in das je nach
Bedarf, und dem in der jeweiligen Wissensbasis
definiertem Problem, unterschiedliche
Constraint-Solver mit jeweils f{\"u}r das
spezifische Problem effizienten L{\"o}sungsverfahren
eingesetzt werden k{\"o}nnen. Das Framework wird
durch einen strategiebasierten Ansatz
unterst{\"u}tzt, der eine flexible Kooperation
unterschiedlicher Constraint-L{\"o}sungsalgorithmen
erlaubt. Die Arbeit gliedert sich in die folgenden
Abschnitte: Nach der Einleitung erfolgt in Kapitel 2
eine Einf{\"u}hrung in die wissensbasierte
Konfigurierung und ein {\"U}berblick {\"u}ber
unterschiedliche Methoden zur Konfigurierung sowie
existierende Konfigurierungswerkzeuge. In Kapitel 3
wird ein detailierter {\"U}berblick {\"u}ber das
strukturbasierte Konfigurierungswerkzeug EngCon
gegeben. Es werden die konzeptionelle Architektur
sowie die unterschiedlichen Wissensarten
beschrieben. Daneben enth{\"a}lt das Kapitel eine
{\"U}bersicht und eine Diskussion zum vorhandenen
Constraint-System von EngCon sowie die Anforderungen
von EngCon bzgl.\ der einzusetzenden
Constraint-L{\"o}sungsverfahren. Das Kapitel 4
enth{\"a}lt eine Einf{\"u}hrung in den
Constraint-Formalismus und {\"U}bersichten sowohl zu
den Eigenschaften von Constraints als auch zu den
bestehenden Konzepten zur Constraint-Verarbeitung.
Au{\"s}erdem beinhaltet dieses Kapitel eine
ausf{\"u}hrliche Evaluierung und Bewertung
existierender Constraint-Systeme hinsichtlich ihrer
Eignung f{\"u}r eine Integration in das
Konfigurierungswerkzeug EngCon. Das Kapitel 5
unterteilt sich in zwei Bereiche: Im ersten Teil des
Kapitels werden Konsistenz- und Suchverfahren zum
Propagieren und L{\"o}sen von klassischen
Constraint-Problemen mit finiten Dom{\"a}nen
behandelt. Dies beinhaltet Heuristiken zur
Optimierung der L{\"o}sungssuche. Neben den
L{\"o}sungsverfahren f{\"u}r bin{\"a}re
Constraint-Probleme werden au{\"s}erdem Verfahren
f{\"u}r {\textit{n}}-stellige Probleme
vorgestellt. Im zweiten Teil des Kapitels wird ein
{\"U}berblick {\"u}ber L{\"o}sungsverfahren f{\"u}r
intervallwertige Constraint-Probleme gegeben. Neben
intervallarithmetischen Grundlagen beinhaltet dies
Splitting-Techniken und Konsistenzalgorithmen,
angewendet auf Intervalldom{\"a}nen. In Kapitel 6
wird das Konzept f{\"u}r ein hybrides
Constraint-System entwickelt. Eingebettet in eine
modulare und wiederverwendbare Framework-Architektur
ist es strategiebasiert, wodurch sich
L{\"o}sungsverfahren flexibel einsetzen und
austauschen lassen. Zur Verarbeitung von hybriden
Constraint-Problemen wird die Funktion eines
Meta-Constraint-Solvers zum L{\"o}sen von
heterogenen Constraints spezifiziert sowie mehrere
Szenarien zur Umsetzung des Systems aufgezeigt. In
Kapitel 7 wird die Implementierung des
YACS-Frameworks dargelegt. Es werden der Reihe nach
die enthaltenen Komponenten aufgez{\"a}hlt und
dokumentiert. Abschlie{\"s}end erfolgt die
Beschreibung der Integration von YACS in das
Konfigurierungswerkzeug EngCon. In Kapitel 8 folgt
eine Validierung der Umsetzung von YACS anhand der
realisierten Funktionalit{\"a}t und der zuvor
benannten Anforderungen. Neben synthetischen
Problemstellungen wird die Integration des
YACS-Frameworks in das strukturbasierte
Konfigurierungswerkzeug EngCon
validiert. Au{\"s}erdem erfolgt eine Positionierung
im Vergleich mit weiterf{\"u}hrenden Arbeiten. In
Kapitel 9 erfolgt eine Zusammenfassung sowie ein
kurzer Ausblick hinsichtlich der
Erweiterungsm{\"o}glichkeiten der Konzeption und des
entwickelten Prototypen. Neben den genannten
Kapiteln enth{\"a}lt die Arbeit eine Reihe von
erg{\"a}nzenden Anh{\"a}ngen.},
mytype = {THESIS},
pages = {xx + 405},
url = {http://www.inf.uos.de/woru/pub/diplom/runte06diplom.pdf},
urldate = {18. M{\"a}rz 2011},
url_alt1 = {http://www.inf.uos.de/woru/pub/diplom/runte06diplom-nolinks.pdf},
url_dvi = {http://www.inf.uos.de/woru/pub/diplom/runte06diplom.dvi},
url_home = {http://www.inf.uos.de/woru/pub/diplom/},
url_html = {http://www.inf.uos.de/woru/pub/diplom/html/index.html},
url_html_targz = {http://www.inf.uos.de/woru/pub/diplom/runte06diplom-html.tar.gz},
url_project = {http://sourceforge.net/projects/constraints},
url_psgz = {http://www.inf.uos.de/woru/pub/diplom/runte06diplom.ps.gz}
}