Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon by André Schiemann, Ulrich John, Ulrich Geske und Dmitri Boulanger (GMD FIRST, Berlin, Germany) Abstract Constraint-Hierarchien ermöglichen die Spezifikation und Verarbeitung von weichen (möglichst einzuhaltenden) Constraints. In dieser Arbeit wird die Implementation eines neuen Verfahrens zur Verarbeitung von Constraint-Hierarchien vorgestellt. Es ermöglicht, spezifizierte Constraint-Hier- archien, die mit trivialen oder nicht-trivialen Fehlerfunktionen behaftet sind, zu verarbeiten. Dies geschieht durch Transformation in Finite-Domain-Constraints, die von gängigen FD-Constraint- Lösern (z.B. ECLIPSE und CHIP) verarbeitet werden können. Die Realisierung wurde in das Sys- tem ConBaCon (Constraint Based Con,guration) integriert, mit dem die Konfiguration und Rekon- figuration von technischen Systemen durchgeführt werden kann.