Selective and Consistent Undoing of Model Changes. (bibtex)
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},
}
Powered by bibtexbrowser