Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Automated impact analysis of UML models
Journal of Systems and Software
Matching and Merging of Statecharts Specifications
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
Self-Managed Systems: an Architectural Challenge
FOSE '07 2007 Future of Software Engineering
An Eclipse-based tool framework for software model management
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Impact analysis of database schema changes
Proceedings of the 30th international conference on Software engineering
Workshop on modeling in software engineering at ICSE 2009
ACM SIGSOFT Software Engineering Notes
Orchestrating security and system engineering for evolving systems
ServiceWave'11 Proceedings of the 4th European conference on Towards a service-based internet
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Supporting incremental synchronization in hybrid multi-view modelling
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Hi-index | 0.00 |
Software development is an evolutionary process. Requirements of a system are often incomplete or inconsistent, and hence need to be extended or modified over time. Customers may demand new services or goals that often lead to changes in the design and implementation of the system. These changes are typically very expensive. Even if only local modifications are needed, manually applying them is time-consuming and and error-prone. Thus, it is essential to assist users in propagating changes across requirements, design, and implementation artifacts. In this paper, we take a model-based approach and provide an automated algorithm for propagating changes between requirements and design models. The key feature of our work is explicating relationships between models at the requirements and design levels. We provide conditions for checking validity of these relationships both syntactically and semantically. We show how our algorithm utilizes the relationships between models at different levels to localize the regions that should be modified. We use the IBM Trade 6 case study to demonstrate our approach.