Forschungsthemen
[GB] Validierung modellbasierter Softwareproduktlinien
Obwohl Gemeinsamkeiten und Variabilitäten einer Softwareproduktfamilie durch ein Featuremodell modelliert werden können,
stellen die Features im Featuremodell nur eine symbolische Repräsentation dar.
Mit Hilfe Werkzeugs
Leider besteht die Gefahr, dass von Entwicklern Abbildungen erstellt werden, die in ungültigen Modellen resultieren oder andere Constraints verletzten. Beispielsweise kann durch eine Abbildungsvorschrift ein Modellelement entfernt werden, welches an anderer Stelle referenziert wird. Solche Fehler sollen durch das Werkzeug erkannt werden und geeignete Maßnahmen zur Behebung der Fehler vorgeschlagen bzw. durchgeführt werden.
Schwerpunkte der Arbeit sind:
- Einarbeitung in das Eclipse Modeling Framework (EMF) und den FeatureMapper
- Analyse möglicher zu erkennender Fehlerfälle
- Entwurf und Entwicklung eines erweiterbaren und parameterisierbaren Validierungsmechanismus für beliebige Ecore-basierte Sprachen.
- Entwurf und Entwicklung eines Mechanismus zur automatischen Korrektur von Fehlern die zur fehlgeschlagenen Validierung führen.
Betreuer: Florian Heidenreich