@Conference{DBLP:conf/fase/Egyed04,
  author    = {Alexander Egyed},
  title     = {Consistent Adaptation and Evolution of Class Diagrams during Refinement.},
  booktitle = {Proceedings of the 7th International Conference on Fundamental Approaches to Software Engineering (FASE 2004), Barcelona, Spain},
  year      = {2004},
  editor    = {Michel Wermelinger and Tiziana Margaria},
  volume    = {2984},
  series    = {Lecture Notes in Computer Science},
  pages     = {37-53},
  publisher = {Springer},
  abstract  = {Software models are key in separating and solving independent development
	concerns. However, there is still a gap on how to transition design
	information among these separate, but related models during development
	and maintenance. This paper addresses the problem on how to maintain
	the consistency of UML class diagrams during various levels of refinement.
	We present a new approach to automated consistency checking called
	ViewIntegra. Our approach separates consistency checking into transformation
	and comparison. It uses transformation to translate model elements
	to simplify their subsequent comparison. Transformation-based consistency
	checking, in the manner we use it, is new since we use transformation
	to bridge the gap between software models. No intermediate models
	or model checkers are required; developers need only be familiar
	with the models they design with and none other. The separation of
	transformation and comparison makes our approach to consistency checking
	more transparent. It also makes our approach useful for both propagating
	design changes among models and validating consistency. This gives
	developers added flexibility in deciding when to re-generate a model
	from scratch or when to resolve its inconsistencies. Although this
	paper emphasizes the adaptation and evaluation of class diagrams,
	we found our tech},
  doi       = {10.1007/978-3-540-24721-0_3},
  file      = {:Conferences\\FASE 2004 - Consistent Adaptation and Evolution of Class Diagrams during Refinement\\Consistent Adaptation and Evolution of Class Diagrams during Refinement-preprint.pdf:PDF},
  keywords  = {},
}