Computer
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards consistency-preserving model evolution
Proceedings of the International Workshop on Principles of Software Evolution
Constraint checking in UML modeling
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Consistency-Preserving Model Evolution through Transformations
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Journal of Systems and Software
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Automated Check of Architectural Models Consistency Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Visual specification and analysis of use cases
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
A tool for automatic UML model consistency checking
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Communications of the ACM - Two decades of the language-action perspective
Generalizing Consistency Checking between Software Views
WICSA '05 Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture
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
A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Consistency Checking of UML Dynamic Models Based on Petri Net Techniques
CIC '06 Proceedings of the 15th International Conference on Computing
Intelligent Systems and Formal Methods in Software Engineering
IEEE Intelligent Systems
Inter-Model Consistency in UML Based on CPN Formalism
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
Software Specification Methods
Software Specification Methods
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Assurance of System Consistency During Independent Creation of UML Diagrams
DEPCOS-RELCOMEX '07 Proceedings of the 2nd International Conference on Dependability of Computer Systems
Model-Driven Consistency Checking of Behavioural Specifications
MOMPES '07 Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Ensuring Consistency in Relational Repository of UML Models
ICIT '07 Proceedings of the 10th International Conference on Information Technology
Information and Software Technology
Refinement via Consistency Checking in MDA
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring UML Models Consistency Using the OCL Environment
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting and resolving model inconsistencies using transformation dependency analysis
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model checking dynamic UML consistency
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
A precise approach for the analysis of the UML models consistency
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Consistency in UML and b multi-view specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Consistency problems in UML-based software development
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
The approach of ensuring consistency of UML model based on rules
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Model driven development of user interface prototypes: an integrated approach
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
On well-formedness rules for UML use case diagram
WISM'10 Proceedings of the 2010 international conference on Web information systems and mining
The model role level: a vision
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Information and Software Technology
A framework for reviewing domain specific conceptual models
Computer Standards & Interfaces
Six years of systematic literature reviews in software engineering: An updated tertiary study
Information and Software Technology
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A knowledge-based system for improving the consistency between object models and use case narratives
Expert Systems with Applications: An International Journal
Classification and trend analysis of UML books (1997---2009)
Software and Systems Modeling (SoSyM)
Extending UML to model Web 2.0-based context-aware applications
Software—Practice & Experience
A mapping study to investigate component-based software system metrics
Journal of Systems and Software
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Research Review: A Systematic Literature Review on the Quality of UML Models
Journal of Database Management
Hi-index | 0.00 |
Information System (IS) development has been beset by consistency problems since its infancy. These problems are greater still in UML software development, and are principally caused by the existence of multiple views (models) for the same system, and may involve potentially contradictory system specifications. Since a considerable amount of work takes place within the scope of model consistency management, this paper presents a systematic literature review (SLR) which was carried out to discover the various current model consistency conceptions, proposals, problems and solutions provided. To do this, a total of 907 papers related to UML model consistency published in literature and extracted from the most relevant scientific sources (IEEE Computer Society, ACM Digital Library, Google Scholar, ScienceDirect, and the SCOPUS Database) were considered, of which 42 papers were eventually analyzed. This systematic literature review resulted in the identification of the current state-of-the-art with regard to UML model consistency management research along with open issues, trends and future research within this scope. A formal approach for the handling of inconsistency problems which fulfils the identified limitations is also briefly presented.