Ressourcenoptimierung von Workflow Problemen

Inhaltsverzeichnis

• 1 Einleitung
  • 1.1 Workflow Management
  • 1.2 Motivation
  • 1.3 Beitrag der Arbeit
  • 1.4 Aufbau der Arbeit
• 2 Workflow Problem Spezifikation
  • 2.1 Grundbegriffe
  • 2.2 Datenfluß
  • 2.3 Partitionierung
  • 2.4 Infrastruktur
• 3 Constraint Programmierung
  • 3.1 Constraint Programmierung mit Finite Domains (FD)
  • 3.2 Propagierung
  • 3.3 Zerlegung
  • 3.4 Exploration
  • 3.5 Modellierung
  • 3.6 Constraint Programmierung mit Finite Sets (FS)
• 4 Modellierung
  • 4.1 Grundmodell
  • 4.2 Präzises Modell

Zielsetzung und Themenschwerpunkte

Diese Diplomarbeit befasst sich mit der Ressourcenoptimierung in Workflow-Management-Systemen, insbesondere im Hinblick auf flexible Prozesse mit kontinuierlicher Versorgung. Ziel ist die Entwicklung und Implementierung von Woop, einem System zur Lösung von Optimierungsproblemen in diesem Kontext mittels Constraint-Programmierung. Die Arbeit untersucht die Möglichkeiten zur effizienten, exakten und generischen Approximation optimaler Lösungen.

• Optimierung von Workflow-Prozessen
• Anwendung der Constraint-Programmierung
• Modellierung flexibler Prozesse mit kontinuierlicher Versorgung
• Effiziente Approximationsmethoden
• Implementierung mit Mozart/Oz

Zusammenfassung der Kapitel

1 Einleitung: Dieses Kapitel führt in die Thematik des Workflow Managements ein und begründet die Notwendigkeit der Ressourcenoptimierung, insbesondere für komplexe, flexible Prozesse in der Wirtschaft. Es beschreibt den Beitrag der Arbeit und skizziert den Aufbau der folgenden Kapitel.

2 Workflow Problem Spezifikation: Dieses Kapitel definiert die grundlegenden Begriffe, die für das Verständnis des Workflow-Problems unerlässlich sind. Es erläutert den Datenfluss, die Partitionierung von Prozessen und die Rolle der Infrastruktur bei der Optimierung. Es legt den Fokus auf die Spezifikation flexibler Prozesse mit kontinuierlicher Versorgung, die eine besondere Herausforderung für die Optimierung darstellen.

3 Constraint Programmierung: Dieses Kapitel liefert einen Überblick über die grundlegenden Prinzipien der Constraint-Programmierung, insbesondere mit Finite Domains (FD) und Finite Sets (FS). Es erklärt Konzepte wie Propagierung, Zerlegung und Exploration, die für die Entwicklung des Optimierungsalgorithmus essentiell sind. Der Schwerpunkt liegt auf der Modellierung von Problemen mittels Constraint-Programmierung.

4 Modellierung: Dieses Kapitel beschreibt die mathematische Modellierung des Workflow-Optimierungsproblems. Es beginnt mit einem vereinfachten Grundmodell, um die grundlegenden Prinzipien zu erläutern, und erweitert es anschließend zu einem präziseren Modell, das die Komplexität flexibler Prozesse mit kontinuierlicher Versorgung angemessen abbildet. Dieses Kapitel stellt den Kern der entwickelten Optimierungslösung dar, indem es die Übersetzung des realen Problems in ein für die Constraint-Programmierung lösbares Modell beschreibt.

Schlüsselwörter

Workflow Management, Ressourcenoptimierung, Constraint Programmierung, flexible Prozesse, kontinuierliche Versorgung, Mozart/Oz, Optimierung, Approximation, Modellierung.

Häufig gestellte Fragen zur Diplomarbeit: Ressourcenoptimierung in Workflow-Management-Systemen

Was ist das Thema dieser Diplomarbeit?

Die Diplomarbeit befasst sich mit der Ressourcenoptimierung in Workflow-Management-Systemen, insbesondere für flexible Prozesse mit kontinuierlicher Versorgung. Das Ziel ist die Entwicklung und Implementierung eines Systems (Woop) zur Lösung von Optimierungsproblemen in diesem Kontext mittels Constraint-Programmierung.

Welche Methoden werden in der Arbeit verwendet?

Die Arbeit verwendet Constraint-Programmierung, sowohl mit Finite Domains (FD) als auch Finite Sets (FS), zur Modellierung und Lösung des Workflow-Optimierungsproblems. Es werden Konzepte wie Propagierung, Zerlegung und Exploration angewendet, um effiziente und exakte, bzw. approximative Lösungen zu finden. Die Implementierung erfolgt mit Mozart/Oz.

Welche Problematik wird im Detail behandelt?

Die Arbeit konzentriert sich auf die Optimierung komplexer, flexibler Workflow-Prozesse mit kontinuierlicher Versorgung. Dies stellt eine besondere Herausforderung dar, da die dynamische Natur dieser Prozesse eine effiziente und robuste Optimierungslösung erfordert.

Wie ist die Arbeit aufgebaut?

Die Arbeit gliedert sich in vier Kapitel: Einleitung (Workflow Management, Motivation, Beitrag, Aufbau), Workflow Problem Spezifikation (Grundbegriffe, Datenfluss, Partitionierung, Infrastruktur), Constraint Programmierung (FD, FS, Propagierung, Zerlegung, Exploration, Modellierung) und Modellierung (Grundmodell, Präzises Modell). Die Einleitung gibt einen Überblick und die Kapitel 2 und 3 liefern die theoretischen Grundlagen. Kapitel 4 beschreibt die konkrete Modellierung des Problems für die Constraint-Programmierung.

Welche Ziele werden verfolgt?

Das Hauptziel ist die Entwicklung und Implementierung von Woop, einem System zur effizienten, exakten und generischen Approximation optimaler Lösungen für Workflow-Optimierungsprobleme. Die Arbeit untersucht die Möglichkeiten zur Anwendung der Constraint-Programmierung in diesem Kontext.

Welche Schlüsselwörter beschreiben die Arbeit?

Workflow Management, Ressourcenoptimierung, Constraint Programmierung, flexible Prozesse, kontinuierliche Versorgung, Mozart/Oz, Optimierung, Approximation, Modellierung.

Welche konkreten Themenschwerpunkte werden behandelt?

Die Arbeit behandelt die Optimierung von Workflow-Prozessen, die Anwendung der Constraint-Programmierung, die Modellierung flexibler Prozesse mit kontinuierlicher Versorgung, effiziente Approximationsmethoden und die Implementierung mit Mozart/Oz.

Was ist das Ergebnis der Arbeit?

Das Ergebnis ist ein implementiertes System (Woop) zur Lösung von Workflow-Optimierungsproblemen mittels Constraint-Programmierung, sowie eine detaillierte Beschreibung der Modellierung und des Lösungsansatzes für flexible Prozesse mit kontinuierlicher Versorgung.