Cart (Loading....) | Create Account
Close category search window

Constraint-Based Consistency Checking between Design Decisions and Component Models for Supporting Software Architecture Evolution

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Lytra, I. ; Fac. of Comput. Sci., Univ. of Vienna, Vienna, Austria ; Huy Tran ; Zdun, U.

Software architecture evolution has become an integral part of the software lifecycle. Thus, the maintenance of a software system involves among others the maintenance of the software system architecture. Component models are widely used as an essential view to describe software architectures. In recent years, the software architecture community has proposed to additionally model the architectural design decisions for capturing the design rationale and recording the architectural knowledge. Unfortunately, there are no formal relations between design decisions and component models. This leads to potential inconsistencies between the two kinds of models as the software system evolves. In this paper, we propose to overcome this problem by introducing a constraint-based approach for checking the consistency between the decisions and the corresponding component models. Our approach enables explicit formalized mappings of architectural design decisions onto component models. Based on these mappings, component models along with the constraints used for consistency checking between the decisions and the component models can be automatically generated using model-driven techniques. Our approach can cope with changes in the decision model by regenerating the constraints for the component model. Thus, our component model gets updated and validated as the architectural decisions evolve. The evaluation of our approach shows that our prototypical implementation scales sufficiently for large component model sizes and large sets of decisions.

Published in:

Software Maintenance and Reengineering (CSMR), 2012 16th European Conference on

Date of Conference:

27-30 March 2012

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.