Modelle sind ein wichtiger Bestandteil der modernen Softwareentwicklung.
Hierbei unterscheidet man zwischen explizit und implizit definierten Modellen. Als explizit definierte Modelle (kurz: explizite Modelle) werden solche Modelle bezeichnet, die auf Basis eines Metamodells definiert werden. Ein Beispiel hierfür sind Klassendiagramme der UML oder Use Case Modelle, die mit EMF-Mitteln erzeugt wurden. Impliziert definierte Modelle (kurz: implizite Modelle) sind durch natürlich-sprachlichen Text und Dokumentstrukturen wie Tabellen beschrieben.
In dieser Dissertation wird ein Prozess zur Synchronisierung von impliziten und expliziten Modellen vorgestellt. Hierzu werden Verfahren zum Transformieren von einer Modellart in die andere vorgestellt und bewertet. Das Verfahren zur Dokumentextraktion wird zusätzlich um ein Verfahren zur Reintegration der extrahierten Modelle in das ursprüngliche Dokument ergänzt. Ein wichtiger Punkt bei der Reintegration ist die Erhaltung der ursprünglichen Dokumentcharakteristik.