UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. (bibtex)
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.
Reference:
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models. (Alexander Egyed), In Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, USA, IEEE Computer Society, 2007.
Bibtex Entry:
@Conference{DBLP:conf/icse/Egyed07a,
  author    = {Alexander Egyed},
  title     = {UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.},
  booktitle = {Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, USA},
  year      = {2007},
  pages     = {793-796},
  publisher = {IEEE Computer Society},
  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      = {: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-preprint.pdf:PDF},
  keywords  = {},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.91},
}
Powered by bibtexbrowser