Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.

Reder, Alexander; Egyed, Alexander

doi:10.1007/978-3-642-33666-9_14

by Alexander Reder, Alexander Egyed

Abstract:

Advances in consistency checking in model-based software development made it possible to detect errors in real-time. However, existing approaches assume that changes come in small quantities and design rules are generally small in scope. Yet activities such as model transformation, re-factoring, model merging, or repairs may cause larger model changes and hence cause performance problems during consistency checking. The goal of this work is to increase the performance of re-validating design rules. This work proposes an automated and tool supported approach that re-validates the affected parts of a design rule only. It was empirical evaluated on 19 design rules and 30 small to large design models and the evaluation shows that the approach improves the computational cost of consistency checking with the gains increasing with the size and complexity of design rules.

Reference:

Incremental Consistency Checking for Complex Design Rules and Larger Model Changes. (Alexander Reder, Alexander Egyed), In Proceedings of the 15th International Conference on Model-Driven Engineering Languages & Systems (MoDELS 2012), Innsbruck, Austria (Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson, eds.), Springer, volume 7590, 2012.

Bibtex Entry:

@Conference{DBLP:conf/models/RederE12,
  author    = {Alexander Reder and Alexander Egyed},
  title     = {Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.},
  booktitle = {Proceedings of the 15th International Conference on Model-Driven Engineering Languages \& Systems (MoDELS 2012), Innsbruck, Austria},
  year      = {2012},
  editor    = {Robert B. France and Jürgen Kazmeier and Ruth Breu and Colin Atkinson},
  volume    = {7590},
  series    = {Lecture Notes in Computer Science},
  pages     = {202-218},
  publisher = {Springer},
  abstract  = {Advances in consistency checking in model-based software development
	made it possible to detect errors in real-time. However, existing
	approaches assume that changes come in small quantities and design
	rules are generally small in scope. Yet activities such as model
	transformation, re-factoring, model merging, or repairs may cause
	larger model changes and hence cause performance problems during
	consistency checking. The goal of this work is to increase the performance
	of re-validating design rules. This work proposes an automated and
	tool supported approach that re-validates the affected parts of a
	design rule only. It was empirical evaluated on 19 design rules and
	30 small to large design models and the evaluation shows that the
	approach improves the computational cost of consistency checking
	with the gains increasing with the size and complexity of design
	rules.},
  doi       = {10.1007/978-3-642-33666-9_14},
  file      = {:Conferences\\MODELS 2012 - Incremental Consistency Checking for Complex Design Rules and Larger Model Changes\\Incremental Consistency Checking for Complex Design Rules and Larger Model Changes-preprint.pdf:PDF},
  keywords  = {FWF P21321},
}