UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.

Egyed, Alexander

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.

by Alexander Egyed

Abstract:

Large design models contain thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard to detect new inconsistencies while the model changes but it also hard to keep track of known inconsistencies. The UML/Analyzer tool identifies inconsistencies instantly with design changes and it keeps track of all inconsistencies over time. It does not require consistency rules with special annotations. Instead, it treats consistency rules as black-box entities and observes their behavior during their evaluation. The UML/Analyzer tool is integrated with the UML modeling tool IBM Rational Roseâ„¢ for broad applicability and usability. It is highly scalable and was evaluated on dozens of design models.

View PDF

Reference:

Alexander Egyed, "UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.", pp. 793-796, 2007.

Bibtex Entry:

@Conference{DBLP:conf/icse/Egyed07a,
  Title                    = {UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.},
  Author                   = {Alexander Egyed},
  Booktitle                = {29th International Conference on Software Engineering (ICSE), Minneapolis, MN},
  Year                     = {2007},
  Pages                    = {793-796},

  Abstract                 = {Large design models contain thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard to detect new inconsistencies while the model changes but it also hard to keep track of known inconsistencies. The UML/Analyzer tool identifies inconsistencies instantly with design changes and it keeps track of all inconsistencies over time. It does not require consistency rules with special annotations. Instead, it treats consistency rules as black-box entities and observes their behavior during their evaluation. The UML/Analyzer tool is integrated with the UML modeling tool IBM Rational Roseâ„¢ for broad applicability and usability. It is highly scalable and was evaluated on dozens of design models.},
  File                     = {UMLAnalyzer - A Tool for the Instant Consistency Checking of UML Models:Conferences\\ICSE 2007 - UML Analyzer - A Tool for the Instant Consistency Checking of UML Models\\UMLAnalyzer - A Tool for the Instant Consistency Checking of UML Models.pdf:PDF},
  Keywords                 = {consistency},
  Url                      = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.91}
}