Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
A generic, peer-to-peer repository for distributed configuration management
Proceedings of the 18th international conference on Software engineering
Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
Program developments: formal explanations of implementations
Communications of the ACM
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Alloy: a lightweight object modelling notation
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
A Scenario-Driven Approach to Trace Dependency Analysis
IEEE Transactions on Software Engineering
Generalized Model Checking: Reasoning about Partial State Spaces
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
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
Flexible and scalable consistency checking on product line variability models
Proceedings of the IEEE/ACM international conference on Automated software engineering
On the need of safe software product line architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Selective and consistent undoing of model changes
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
On the relationships between QoS and software adaptability at the architectural level
Journal of Systems and Software
Hi-index | 0.00 |
The desirability of maintaining multiple stakeholders' interests during the software design process argues for leaving choices undecided as long as possible. Yet, any form of underspecification, either missing information or undecided choices, must be resolved before automated analysis tools can be used. This paper demonstrates how Constraint Satisfaction Problem Solution Techniques (CSTs) can be used to automatically reduce the space of choices for ambiguities by incorporating the local effects of constraints, ultimately with more global consequences. As constraints typical of those encountered during the software design process, we use UML consistency and well-formedness rules. It is somewhat surprising that CSTs are suitable for the software modeling domain since the constraints may relate many ambiguities during their evaluation, encountering a well-known problem with CSTs called the k-consistency problem. This paper demonstrates that our CST-based approach is computationally scalable and effective—as evidenced by empirical experiments based on dozens of industrial models.