Incremental Consistency Checking of Dynamic Constraints.

Groher, Iris; Reder, Alexander; Egyed, Alexander

doi:10.1007/978-3-642-12029-9_15

Incremental Consistency Checking of Dynamic Constraints.

by Iris Groher, Alexander Reder, Alexander Egyed

Abstract:

Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt model constraints. To benefit from quick design feedback, such consistency checkers should evaluate the consistency of such changeable constraints incrementally with design changes. This paper presents such a freely customizable, incremental consistency checker. We demonstrate that constraints can be defined and re-defined at will. And we demonstrate that its performance is instant for many kinds of constraints without manual annotations or restrictions on the constraint language used. Our approach supports both model and meta-model constraints and was evaluated on over 20 software models and 24 types of constraints. It is fully automated and integrated into the IBM Rational Software Modeler tool.

Reference:

Iris Groher, Alexander Reder, Alexander Egyed, "Incremental Consistency Checking of Dynamic Constraints.", pp. 203-217, 2010.

Bibtex Entry:

@Conference{DBLP:conf/fase/GroherRE10,
  Title                    = {Incremental Consistency Checking of Dynamic Constraints.},
  Author                   = {Iris Groher and Alexander Reder and Alexander Egyed},
  Booktitle                = {13th International Conference on Fundamental Approaches to Software Engineering (FASE) March 2010, Paphos, Cyprus},
  Year                     = {2010},
  Pages                    = {203-217},

  Abstract                 = {Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt model constraints. To benefit from quick design feedback, such consistency checkers should evaluate the consistency of such changeable constraints incrementally with design changes. This paper presents such a freely customizable, incremental consistency checker. We demonstrate that constraints can be defined and re-defined at will. And we demonstrate that its performance is instant for many kinds of constraints without manual annotations or restrictions on the constraint language used. Our approach supports both model and meta-model constraints and was evaluated on over 20 software models and 24 types of constraints. It is fully automated and integrated into the IBM Rational Software Modeler tool.},
  Doi                      = {10.1007/978-3-642-12029-9_15},
  File                     = {Incremental Consistency Checking of Dynamic Constraints:Conferences\\FASE 2010 - Incremental Consistency Checking of Dynamic Constraints\\Incremental Consistency Checking of Dynamic Constraints.pdf:PDF},
  Keywords                 = {consistency, FWF P21321-N15}
}