Constraint-based consistency checking between design decisions and component models for supporting software architecture evolution

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2012, Pages 287-296

  Lytra, Ioanna ^a   Tran, Huy ^a   Zdun, Uwe ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

Architectural decisions; Architectural knowledge; Component models; Constraint checking; Software architecture; Software architecture evolution

Indexed keywords

ARCHITECTURAL DECISION; ARCHITECTURAL KNOWLEDGE; COMPONENT MODEL; CONSTRAINT CHECKING; SOFTWARE ARCHITECTURE EVOLUTION;

ARCHITECTURAL DESIGN; COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; MODEL CHECKING; REENGINEERING;

SOFTWARE ARCHITECTURE;

EID: 84860521453     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2012.36     Document Type: Conference Paper

References (23)

1. A. Jansen and J. Bosch, "Software Architecture as a Set of Architectural Design Decisions," in The 5th Working IEEE/IFIP Conf. on Software Architecture, pp. 109-120, IEEE Comp. Soc., 2005.
2. J. Tyree and A. Akerman, "Architecture Decisions: Demystifying Architecture," IEEE Softw., vol. 22, no. 2, pp. 19-27, 2005.
3. L. Lee and P. Kruchten, "Capturing Software Architectural Design Decisions," in 2007 Canadian Conf. on Electrical and Computer Engineering, pp. 686-689, IEEE, 2007.
4. O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, and N. Schuster, "Reusable architectural decision models for enterprise application development," in Proc. of QoSA 2007, pp. 15-32, Springer-Verlag, 2007.
5. M. Shahin, P. Liang, and M. R. Khayyambashi, "Architectural design decision: Existing models and tools," in IEEE/IFIP Conf. on Software Architecture/European Conf. on Software Architecture, pp. 293-296, IEEE, 2009.
6. O. Zimmermann, U. Zdun, T. Gschwind, and F. Leymann, "Combining Pattern Languages and Reusable Architectural Decision Models into a Comprehensive and Comprehensible Design Method," in 7th IEEE/IFIP Conf. on Software Architecture, pp. 157-166, IEEE, 2008.
7. C. Szyperski, Component Software: Beyond Object-Oriented Programming. Boston, MA, USA: Addison-Wesley, 2nd ed., 2002.
8. W. Kozaczynski and G. Booch, "Guest Editors' Introduction: Component-Based Software Engineering," IEEE Software, vol. 15, no. 5, pp. 34-36, 1998.
9. G. T. Heineman and W. T. Councill, Component-Based Software Engineering: Putting the Pieces Together. Addison- Wesley, 2001.
10. L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, vol. 2. Addison-Wesley Professional, 2003.
11. P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, P. Merson, R. Nord, and J. Stafford, Documenting Software Architectures: Views and Beyond. Addison-Wesley, 2nd ed., 2010.
12. N. B. Harrison, P. Avgeriou, and U. Zdun, "Using Patterns to Capture Architectural Decisions," IEEE Softw., vol. 24, pp. 38-45, July 2007.
13. K.-K. Lau and Z. Wang, "Software Component Models," IEEE Trans. Softw. Eng., vol. 33, no. 10, pp. 709-724, 2007.
14. C. Tibermacine, S. Sadou, C. Dony, and L. Fabresse, "Component-based Specification of Software Architecture Constraints," in 14th Int'l ACM SIGSOFT Symposium on Component Based Software Engineering, (Boulder, Colorado, USA), ACM Press, June 2011.
15. U. Zdun and P. Avgeriou, "Modeling Architectural Patterns Using Architectural Primitives," in 20th ACM Conf. on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2005), (San Diego, CA, USA), pp. 133-146, ACM Press, October 2005.
16. T. Sunetnanta and A. Finkelstein, "Automated Consistency Checking for Multiperspective Software Applications," in Int'l. Conf. on Software Engineering Workshop on Advanced Separation of Concerns, pp. 12-19, 2001.
17. R. F. Paige, D. S. Kolovos, and F. A. Polack, "Refinement via Consistency Checking in MDA," Electronic Notes in Theoretical Computer Science, vol. 137, no. 2, pp. 151-161, 2005.
18. B. Graaf and A. Van Deursen, "Model-Driven Consistency Checking of Behavioural Specifications," in 4th Int'l Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp. 115-126, IEEE, 2007.
19. A. Egyed, "Instant consistency checking for the UML," in 28th Int'l Conf. on Software Engineering, pp. 381-390, ACM, 2006.
20. A. Tang, J. Han, and R. Vasa, "Software Architecture Design Reasoning: A Case for Improved Methodology Support," IEEE Software, vol. 26, no. 2, pp. 43-49, 2009.
21. D. Liu and H. Mei, "Mapping requirements to software architecture by feature-orientation," Requirements Engineering, vol. 25, no. 2, pp. 69-76, 2003.
22. H. Kaindl and J. Falb, "Can We Transform Requirements into Architecture?," in 3rd Int'l Conf. on Software Engineering Advances, pp. 91-96, IEEE Comp. Soc., 2008.
23. P. Grunbacher, A. Egyed, and N. Medvidovic, "Reconciling software requirements and architectures with intermediate models," Softw. Syst. Model., vol. 3, no. 3, pp. 235-253, 2003.