ICSE '91 Proceedings of the 13th international conference on Software engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Software Change Impact Analysis
Software Change Impact Analysis
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Impact Analysis and Change Management of UML Models
ICSM '03 Proceedings of the International Conference on Software Maintenance
An Empirical Comparison of Dynamic Impact Analysis Algorithms
Proceedings of the 26th International Conference on Software Engineering
Incremental Change in Object-Oriented Programming
IEEE Software
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
An approach to detecting failures automatically
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Scalable automatic test data generation from modeling diagrams
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Execution and simulation of (profiled) UML models using pópulo
Proceedings of the 2008 international workshop on Models in software engineering
Cost-based BDI plan selection for change propagation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Incremental model synchronization for multiple updates
Proceedings of the third international workshop on Graph and model transformations
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Managing Model Conflicts in Distributed Development
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Evaluating an Agent-Oriented Approach for Change Propagation
Agent-Oriented Software Engineering IX
Relationship-based change propagation: A case study
MISE '09 Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Supporting Parallel Updates with Bidirectional Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Supporting automatic model inconsistency fixing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Consistency Checking for Component Reuse in Open Systems
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Maintaining constraints of UML models in distributed collaborative environments
Journal of Systems Architecture: the EUROMICRO Journal
A systematic review of UML model consistency management
Information and Software Technology
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
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Supporting inconsistency resolution through predictive change impact analysis
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Realizing correspondences in multi-viewpoint specifications
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Colex: a web-based collaborative conflict lexicon
Proceedings of the 1st International Workshop on Model Comparison in Practice
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
Automated support for repairing input-model faults
Proceedings of the IEEE/ACM international conference on Automated software engineering
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
A dynamic-priority based approach to fixing inconsistent feature models
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Selective and consistent undoing of model changes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Artifact or process guidance, an empirical study
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Specifying overlaps of heterogeneous models for global consistency checking
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Supporting consistency checking between features and software product line use scenarios
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
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
An agent-based framework for distributed collaborative model evolution
Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Constraint-based model refactoring
Proceedings of the 14th international conference on Model driven engineering languages and systems
Managing SAT inconsistencies with HUMUS
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Incremental consistency checking of dynamic constraints
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Coping with variability in model-based systems engineering: an experience in green energy
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Computing repair trees for resolving inconsistencies in design models
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A comparison of strategies for tolerating inconsistencies during decision-making
Proceedings of the 16th International Software Product Line Conference - Volume 1
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
Pattern Language Verification in Model Driven Design
Information Sciences: an International Journal
Hi-index | 0.00 |
Changes are inevitable during software development and so are their unintentional side effects. The focus of this paper is on UML design models, where unintentional side effects lead to inconsistencies. We demonstrate that a tool can assist the designer in discovering unintentional side effects, locating choices for fixing inconsistencies, and then in changing the design model. Our techniques are "on-line," applied as the designer works, and non-intrusive, without overwhelming the designer. This is a significant improvement over the state-of-the-art. Our tool is fully integrated with the design tool IBM Rational Rose^TM. It was empirically evaluated on 48 case studies.