Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
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
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Proceedings of the IEEE/ACM international conference on Automated software engineering
Incremental evaluation of model queries over EMF models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Virtual verification of system designs against system requirements
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Implementing efficient model validation in EMF tools
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Derived features for EMF by integrating advanced model queries
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Integrating efficient model queries in state-of-the-art EMF tools
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Constraint-Driven modeling through transformation
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Query-driven soft interconnection of EMF models
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.01 |
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt model constraints. To benefit from quick design feedback, such consistency checkers should evaluate the consistency of such changeable constraints incrementally with design changes. This paper presents such a freely customizable, incremental consistency checker. We demonstrate that constraints can be defined and re-defined at will. And we demonstrate that its performance is instant for many kinds of constraints without manual annotations or restrictions on the constraint language used. Our approach supports both model and meta-model constraints and was evaluated on over 20 software models and 24 types of constraints. It is fully automated and integrated into the IBM Rational Software Modeler tool.