ICSE '91 Proceedings of the 13th international conference on Software engineering
Inconsistency Management for Multiple-View Software Development Environments
IEEE Transactions on Software Engineering
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
Managing inconsistent repositories via prioritized repairs
Proceedings of the 2004 ACM symposium on Document engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Model refactorings through rule-based inconsistency resolution
Proceedings of the 2006 ACM symposium on Applied computing
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
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Juzi: a tool for repairing complex data structures
Proceedings of the 30th 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
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Towards automated inconsistency handling in design models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Automatically Detecting and Tracking Inconsistencies in Software Design Models
IEEE Transactions on Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Constraint-Based Program Debugging Using Data Structure Repair
ICST '11 Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Using UML activities for system-on-chip design and synthesis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
Resolving inconsistencies in software models is a complex task because the number of repairs grows exponentially. Existing approaches thus emphasize on selected repairs only but doing so diminishes their usefulness. This paper copes with the large number of repairs by focusing on what caused an inconsistency and presenting repairs as a linearly growing repair tree. The cause is computed by examining the run-time evaluation of the inconsistency to understand where and why it failed. The individual changes that make up repairs are then modeled in a repair tree as alternatives and sequences reflecting the syntactic structure of the inconsistent design rule. The approach is automated and tool supported. Its scalability was empirically evaluated on 29 UML models and 18 OCL design rules where we show that the approach computes repair trees in milliseconds on average. We believe that the approach is applicable to arbitrary modeling and constraint languages.