xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Enabling dynamic metamodels through constraint-driven modeling
Proceedings of the 34th International Conference on Software Engineering
Automatically generating and adapting model constraints to support co-evolution of design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Integrated development environments are widely used in industry and support software engineers with instant error feedback about their work. Modeling tools often react to changes at a coarse level of granularity that make reasoning about errors inefficient and late. Furthermore, there is often a lack of appropriate visualizations of model errors and information on how to fix them. This paper presents the Model/Analyzer tool, an eclipse-based plug-in for the IBM Rational Software Modeler (RSM). The tool lets software engineers define arbitrary design rules and provides instant feedback on their validity in context of a model. Design errors are then visualized together with the information on what parts of the model contributed to them and how to fix them. The tool is fully automated and currently supports OCL and Java as languages for defining the design rules; and UML as the modeling language. The main benefit for the software engineer is the tool's incremental nature if providing instant feedback for many kinds of design errors even for large models.