Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
ICSE '91 Proceedings of the 13th international conference on Software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Proceedings of the 24th International Conference on Software Engineering
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Effects of defects in UML models: an experimental investigation
Proceedings of the 28th international conference on Software engineering
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
Using Graph Transformation to Support Collaborative Ontology Evolution
Applications of Graph Transformations with Industrial Relevance
Supporting inconsistency resolution through predictive change impact analysis
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Challenges in model-based evolution and merging of access control policies
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
Partial models: a position paper
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Partial models: towards modeling and reasoning with uncertainty
Proceedings of the 34th International Conference on Software Engineering
Badger: a regression planner to resolve design model inconsistencies
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
| Hi-index | 0.00 |
During model-driven software development, we are inevitably confronted with design models that contain a wide variety of inconsistencies. Interactive and automated support for detecting and resolving these inconsistencies is therefore indispensable. In this paper, we report on an iterative inconsistency resolution process. Our approach relies on the underlying formalism of graph transformation. We exploit the mechanism of critical pair analysis to analyse dependencies and conflicts between inconsistencies and resolutions, to detect resolution cycles and to analyse the completeness of resolutions. The results of this analysis are integrated in the iterative inconsistency resolution process and can help the software engineer to develop and evolve models in presence of inconsistencies.