Incremental attribute evaluation in distributed language-based environments
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Gandalf: software development environments
IEEE Transactions on Software Engineering
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
An incremental access method for ViewCache: concept, algorithms, and cost analysis
ACM Transactions on Database Systems (TODS)
Multiple view analysis of designs
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
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
On the Consequences of Acting in the Presence of Inconsistency
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Integrating COTS Software into Systems through Instrumentation and Reasoning
Automated Software Engineering
Support for Managing Design-Time Decisions
IEEE Transactions 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
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Goal-Directed Context Validation for Adaptive Ubiquitous Systems
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
JooJ: real-time support for avoiding cyclic dependencies
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
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
Global consistency checking of distributed models with TReMer+
Proceedings of the 30th international conference on Software engineering
Rubacon: automated support for model-based compliance engineering
Proceedings of the 30th international conference on 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
Live Model Transformations Driven by Incremental Pattern Matching
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Early Identification of Problem Interactions: A Tool-Supported Approach
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Verifying Action Semantics Specifications in UML Behavioral Models
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
Ontology-Based Requirements Conflicts Analysis in Activity Diagrams
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
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
Comparing multiple state diagrams to sequence diagrams using super state analysis
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Partial constraint checking for context consistency in pervasive computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Realizing correspondences in multi-viewpoint specifications
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Paving the road for formally defined architecture description in software development
Proceedings of the 2010 ACM Symposium on Applied Computing
Generation of repair plans for change propagation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Resolving feature dependency implementations inconsistencies during product derivation
Proceedings of the 6th ECMFA Traceability Workshop
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML
Proceedings of the IEEE/ACM international conference on Automated software engineering
C2O: a tool for guided decision-making
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)
Synchronization of abstract and concrete syntax in domain-specific modeling languages
Software and Systems Modeling (SoSyM)
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
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
A framework for reviewing domain specific conceptual models
Computer Standards & Interfaces
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
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
Benefits and barriers of user evaluation in software engineering research
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
A knowledge-based object modeling advisor for developing quality object models
Expert Systems with Applications: An International Journal
An experimental investigation of UML modeling conventions
MoDELS'06 Proceedings of the 9th 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
Towards fixing inconsistencies in models with variability
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
Concordance: a framework for managing model integrity
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
On the evolution of OCL for capturing structural constraints in modelling languages
Rigorous Methods for Software Construction and Analysis
A knowledge-based system for improving the consistency between object models and use case narratives
Expert Systems with Applications: An International Journal
Change-driven model transformations
Software and Systems Modeling (SoSyM)
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
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
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
A modeling approach to support the similarity-based reuse of configuration data
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
A method for the definition and treatment of conceptual schema quality issues
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
SimPL: A product-line modeling methodology for families of integrated control systems
Information and Software Technology
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
C2O configurator: a tool for guided decision-making
Automated Software Engineering
Monitoring system-of-systems requirements in multi product lines
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Generation of process using multi-objective genetic algorithm
Proceedings of the 2013 International Conference on Software and System Process
Using a functional size measurement procedure to evaluate the quality of models in MDD environments
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Supporting different process views through a shared process model
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Inconsistencies in design models should be detected immediately to save the engineer from unnecessary rework. Yet, tools are not capable of keeping up with the engineers' rate of model changes. This paper presents an approach for quickly, correctly, and automatically deciding what consistency rules to evaluate when a model changes. The approach does not require consistency rules with special annotations. Instead, it treats consistency rules as black-box entities and observes their behavior during their evaluation to identify what model elements they access. The UML/Analyzer tool, integrated with IBM Rational Rose™, fully implements this approach. It was used to evaluate 29 models with tens-of-thousands of model elements, evaluated on 24 types of consistency rules over 140,000 times. We found that the approach provided design feedback correctly and required, in average, less than 9ms evaluation time per model change with a worst case of less than 2 seconds at the expense of a linearly increasing memory need. This is a significant improvement over the state-of-the-art.