by Iris Groher, Alexander Egyed
Abstract:
There are many reasons why modeling tools support the undoing of model changes. However, the sequential undoing is no longer useful for interrelated, multi-diagrammatic modeling languages where model changes in one diagram may also affect other diagrams. This paper introduces selective undoing of model changes where the designer decides which model elements to undo and our approach automatically suggests related changes in other diagrams that should be undone also. Our approach identifies dependencies among model changes through standard consistency and well-formedness constraints. It then investigates whether an undo causes inconsistencies and uses the dependencies to explore which other model changes to undo to preserve consistency. Our approach is fully automated and correct with respect to the constraints provided. Our approach is also applicable to legacy models provided what the models were version controlled. We demonstrate our approach's scalability and correctness based on empirical evidence for a range of large, third party models. The undoing is as complete and correct as the constraints are complete and correct.
Reference:
Selective and Consistent Undoing of Model Changes. (Iris Groher, Alexander Egyed), In Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway (Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen, eds.), Springer, volume 6395, 2010.
Bibtex Entry:
@Conference{DBLP:conf/models/GroherE10,
author = {Iris Groher and Alexander Egyed},
title = {Selective and Consistent Undoing of Model Changes.},
booktitle = {Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway},
year = {2010},
editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen},
volume = {6395},
series = {Lecture Notes in Computer Science},
pages = {123-137},
publisher = {Springer},
abstract = {There are many reasons why modeling tools support the undoing of model
changes. However, the sequential undoing is no longer useful for
interrelated, multi-diagrammatic modeling languages where model changes
in one diagram may also affect other diagrams. This paper introduces
selective undoing of model changes where the designer decides which
model elements to undo and our approach automatically suggests related
changes in other diagrams that should be undone also. Our approach
identifies dependencies among model changes through standard consistency
and well-formedness constraints. It then investigates whether an
undo causes inconsistencies and uses the dependencies to explore
which other model changes to undo to preserve consistency. Our approach
is fully automated and correct with respect to the constraints provided.
Our approach is also applicable to legacy models provided what the
models were version controlled. We demonstrate our approach's scalability
and correctness based on empirical evidence for a range of large,
third party models. The undoing is as complete and correct as the
constraints are complete and correct.},
doi = {10.1007/978-3-642-16129-2_10},
file = {:Conferences\\MODELS 2010 - Selective and Consistent Undoing of Model Changes (new)\\Selective and Consistent Undoing of Model Changes-preprint.pdf:PDF},
keywords = {FWF P21321},
}