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

Reder, Alexander; Egyed, Alexander

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

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

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:

Alexander Reder, Alexander Egyed, "Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.", pp. 202-218, 2012.

Bibtex Entry:

@Conference{DBLP:conf/models/RederE12,
  Title                    = {Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.},
  Author                   = {Alexander Reder and Alexander Egyed},
  Booktitle                = {15th International Conference on Model-Driven Engineering Languages \& Systems (MoDELS), Innsbruck, Austria},
  Year                     = {2012},
  Pages                    = {202-218},

  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                     = {Incremental Consistency Checking for Complex Design Rules and Larger Model Changes: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.pdf:PDF},
  Keywords                 = {consistency, FWF P21321-N15}
}