Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Widl:
"Towards a Uniform Framework to Support the Evolution of Software Models";
Vortrag: Doctoral Symposium at Models 2011 Conference,
Wellington, New Zealand;
17.10.2011; in: "Proceedings of the Doctoral Symposium at MODELS 2011",
(2011),
8 S.
Kurzfassung englisch:
Software models, as used in Model-Driven Engineering (MDE), are subject to continuous modification and extension in different evolution scenarios. Changes, often requiring propagation throughout the model, may cause undesired effects like inconsistencies and redundancies in different views of the model. Given the size of software models and the complexity of the reasoning tasks to detect relevant problems, automatic verification support is inevitable. We suggest to tackle this problem by first classifying the nature of changes in the course of software evolution and determining inconsistencies relevant for MDE, then finding one or more logic formalisms that are suitable to automate reasoning tasks, and finally establishing and evaluating an overall formal infrastructure to support model evolution.
Schlagworte:
Model evolution, Model consistency, Model management
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_201872.pdf
Zugeordnete Projekte:
Projektleitung Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.