ICSE '91 Proceedings of the 13th international conference 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
Data structure repair using goal-directed reasoning
Proceedings of the 27th international conference on Software engineering
Incremental consistency checking for pervasive context
Proceedings of the 28th international conference on Software 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
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
The model transformation language of the VIATRA2 framework
Science of Computer Programming
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
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 incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
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
Automatically Detecting and Tracking Inconsistencies in Software Design Models
IEEE Transactions 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
IncQuery-D: incremental graph search in the cloud
Proceedings of the Workshop on Scalability in Model Driven Engineering
Hi-index | 0.00 |
Advances in consistency checking in model-based software development made it possible to detect errors in real-time. However, existing approaches assume that changes come in small quantities and design rules are generally small in scope. Yet activities such as model transformation, re-factoring, model merging, or repairs may cause larger model changes and hence cause performance problems during consistency checking. The goal of this work is to increase the performance of re-validating design rules. This work proposes an automated and tool supported approach that re-validates the affected parts of a design rule only. It was empirical evaluated on 19 design rules and 30 small to large design models and the evaluation shows that the approach improves the computational cost of consistency checking with the gains increasing with the size and complexity of design rules.