Automatisierte Korrekturen von Fehlern in formalen Modellen

Bei der Modellgetriebenen Softwareentwciklung werden Modelle aus Basis formaler Metamodelle (DSLs) definiert. Dabei müssen bestimmte Modellierungsregeln und -einschränkungen beachtet werden, z.B. das Vorhandensein von Pflichtattributen und -beziehungen o.ä. Solche Regelverletzungen werden von den heutigen Entwicklungs- und Modellierungstools im Eclipse-Umfeld bereits erkannt und entsprechend angezeigt.

Im Rahmen der Diplomarbeit soll nun analog zur heute üblichen Autokorrektur von Fehlern im Source Code eine Autokorrektur (QuickFix) von Modellierungsfehlen realisiert werden. Die Umsetzung erfolgt im Umfeld des openArchitectureWare Generatorframeworks.