[Back]

M. Widl:
"Towards a Uniform Framework to Support the Evolution of Software Models";
Talk: Doctoral Symposium at Models 2011 Conference, Wellington, New Zealand; 2011-10-17; in: "Proceedings of the Doctoral Symposium at MODELS 2011", (2011), 8 pages.

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.

Model evolution, Model consistency, Model management

http://publik.tuwien.ac.at/files/PubDat_201872.pdf

Project Head Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung

Project Head Uwe Egly:
Quantified Boolean Formulas