Instant consistency checking for the UML.

Egyed, Alexander

doi:10.1145/1134339

Instant consistency checking for the UML.

by Alexander Egyed

Abstract:

Inconsistencies in design models should be detected immediately to save the engineer from unnecessary rework. Yet, tools are not capable of keeping up with the engineersâ€™ rate of model changes. This paper presents an approach for quickly, correctly, and automatically deciding what consistency rules to evaluate when a model changes. The approach does not require consistency rules with special annotations. Instead, it treats consistency rules as black-box entities and observes their behavior during their evaluation to identify what model elements they access. The UML/Analyzer tool, integrated with IBM Rational Roseâ„¢, fully implements this approach. It was used to evaluate 29 models with tens-of-thousands of model elements, evaluated on 24 types of consistency rules over 140,000 times. We found that the approach provided design feedback correctly and required, in average, less than 9ms evaluation time per model change with a worst case of less than 2 seconds at the expense of a linearly increasing memory need. This is a significant improvement over the state-of-the-art.

Reference:

Alexander Egyed, "Instant consistency checking for the UML.", pp. 381-390, 2006.

Bibtex Entry:

@Conference{DBLP:conf/icse/Egyed06,
  Title                    = {Instant consistency checking for the UML.},
  Author                   = {Alexander Egyed},
  Booktitle                = {29th International Conference on Software Engineering (ICSE), Minneapolis, USA},
  Year                     = {2006},
  Pages                    = {381-390},

  Abstract                 = {Inconsistencies in design models should be detected immediately to save the engineer from unnecessary rework. Yet, tools are not capable of keeping up with the engineersâ€™ rate of model changes. This paper presents an approach for quickly, correctly, and automatically deciding what consistency rules to evaluate when a model changes. The approach does not require consistency rules with special annotations. Instead, it treats consistency rules as black-box entities and observes their behavior during their evaluation to identify what model elements they access. The UML/Analyzer tool, integrated with IBM Rational Roseâ„¢, fully implements this approach. It was used to evaluate 29 models with tens-of-thousands of model elements, evaluated on 24 types of consistency rules over 140,000 times. We found that the approach provided design feedback correctly and required, in average, less than 9ms evaluation time per model change with a worst case of less than 2 seconds at the expense of a linearly increasing memory need. This is a significant improvement over the state-of-the-art.},
  Doi                      = {10.1145/1134339},
  File                     = {Instant Consistency Checking for the UML:Conferences\\ICSE 2006 - Instant Consistency Checking for the UML\\Instant Consistency Checking for the UML.pdf:PDF},
  Keywords                 = {consistency},
  Paper                    = {Publications/Conferences/ICSE 2006 - Instant Consistency Checking for the UML/Instant Consistency Checking for the UML.pdf},
  Presentation             = {Publications/Conferences/ICSE 2006 - Instant Consistency Checking for the UML/Instant Consistency Checking for the UML presentation.pdf}
}