Issues in multiparadigm viewpoint specification
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ICSE '91 Proceedings of the 13th international conference on Software engineering
Consistency checking for multiple view software architectures
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
The Pragmatics of Model-Driven Development
IEEE Software
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
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
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Incremental evaluation of OCL constraints
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Conflict detection for model versioning based on graph modifications
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Modeling a web site quality-based recommendation system
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
Operation based model representation: experiences on inconsistency detection
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
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
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
A commutative model composition operator to support software adaptation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Transformation and validation with SWRL and OWL of ODM-based models
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
A method for the definition and treatment of conceptual schema quality issues
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Change propagation due to uncertainty change
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Enforcement of conceptual schema quality issues in current integrated development environments
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gaining more and more attention. Inconsistency checkers typically analyze entire models to detect undesired structures as defined by inconsistency rules. The larger the models become, the more time the inconsistency detection process takes. Taking into account model evolution, one can significantly reduce this time by providing an incremental checker. In this article we propose an incremental inconsistency checker based on the idea of representing models as sequences of primitive construction operations. The impact of these operations on the inconsistency rules can be computed to analyze and reduce the number of rules that need to be re-checked during a model increment.