ICSE '91 Proceedings of the 13th international conference on Software engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Consistency Checking for Component Reuse in Open Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A systematic review of UML model consistency management
Information and Software Technology
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Proceedings of the IEEE/ACM international conference on Automated software engineering
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
UMLGrader: an automated class diagram grader
Journal of Computing Sciences in Colleges
Good architecture = good (ADL + practices)
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Towards semantics-aware merge support in optimistic model versioning
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
| Hi-index | 0.00 |
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^TM for broad applicability and usability. It is highly scalable and was evaluated on dozens of design models.