Handling conflict between domain descriptions with computer-supported negotiation
Knowledge Acquisition
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Refactoring: improving the design of existing code
Refactoring: improving the design of existing code
Reconciling requirements: a method for managing interference, inconsistency and conflict
Annals of Software Engineering
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Formalising Behaviour Preserving Program Transformations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Metrics and Laws of Software Evolution - The Nineties View
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
Applications of Graph Transformations with Industrial Relevance
A systematic review of UML model consistency management
Information and Software Technology
Refactoring object-oriented specifications with data and processes
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Iterative development of consistency-preserving rule-based refactorings
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Improving inconsistency resolution with side-effect evaluation and costs
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Incremental consistency checking for complex design rules and larger model changes
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
The goal of model-driven engineering is to raise the level of abstraction by shifting the focus to models. As a result, complex software development activities move to the modelling level as well. One such activity is model refactoring, a technique for restructuring the models in order to improve some quality attributes of the models. As a first contribution of this paper, we argue and show that refactoring a model is enabled by inconsistency detection and resolution. Inconsistencies in or between models occur since models typically describe a software system from different viewpoints and on different levels of abstraction. A second contribution of this paper is rule-based inconsistency resolution, which enables reuse of different inconsistency resolutions across model refactorings and manages the flow of inconsistency resolution steps automatically.