Article

Towards supporting the architecture design process through evaluation of design alternatives

Authors:

Scott A. Hendrickson,

André van der Hoek,

Debra J. RichardsonAuthors Info & Claims

ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis

Pages 81 - 87

https://doi.org/10.1145/1147249.1147260

Published: 17 July 2006 Publication History

Abstract

This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expressed as state-charts. Non-functional requirements greatly impact the resulting design of a system because they naturally conflict with each other, crosscut the system at multiple points, and may be satisfied in a number of different ways. This makes correctly designing them early in the software lifecycle critical, since correcting them later can be extremely costly. Our approach supports an architect generating and evaluating many different design alternatives. This explorative process is not well supported by current techniques, which focus on documenting the result of this process, but not on assisting the designer during this process. We present an architecture-based approach that supports exploration of non-functional requirements expressed as statecharts. Our approach captures design alternatives of non-functional requirements separately, composes different system designs from these alternatives using a novel weaving technique, and analyzes the resulting design for specific qualities using simulation.

References

[1]

Bosch, J. Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Wesley, A. ed. ACM Press, 2000.

Digital Library

[2]

Brandozzi, M. and Perry, D. E. From Goal-Oriented Requirements to Architecture Prescriptions: The Preskiptor Process. In Proceedings of the Software Requirements to Architectures Workshop (STRAW). p. 107--113, May, 2003.

[3]

Chung, L., Nixon, B., et al. Non-functional Requirements in Software Engineering. Kulwer Academic Publishers, 2000.

[4]

Cysneiros, L. M., Leite, J.C.S.P., et al. A Framework for Integrating Non-functional Requirements into Conceptual Models. In Proceedings of the Requirements Engineering. 2001.

[5]

Cysneiros, L. M. and Leite, J.C.S.P. Nonfunctional Requirements: From Elicitation to Conceptual Models. IEEE Transactions on Software Engineering. May, 2004.

Digital Library

[6]

Egyed, A. and Wile, D. Statechart Simulator for Modeling Architectural Dynamics. In Proceedings of the 2nd International Working Conference on Software Architecture. Amsterdam, The Netherlands, August, 2001.

Digital Library

[7]

Gross, D. and Yu, E. From Non-Functional Requirements to Design Through Patterns. Requirements Engineering Journal. 6, 2001.

[8]

Harel, D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8, p. 231--274, 1987.

Digital Library

[9]

Holzmann, G. J. Design and Validation of Computer Protocols. Prentice Hall: Englewood Cliffs, N.J., 1991.

Digital Library

[10]

Holzmann, G. J. The Model Checker SPIN. IEEE Transactions on Software Engineering. 23(5), p. 279--295, May, 1997.

Digital Library

[11]

Institute for Software Research. EASEL, An Extensible Architecting Support Environment with Layers. <http://www.isr.uci.edu/projects/easel/>, University of California, Irvine.

[12]

Lopes, C. V., Kiczales, G., et al. Aspect-Oriented Programming. In Proceedings of the European Conference on Object-Oriented Programming. Finland, 1997.

Digital Library

[13]

Lopez-Herrejon, R., Batory, D., et al. A Displined Approach to Aspect Composition. In Proceedings of the Workshop on Partial Evaluation and Program Manipulation. p. 68--77, Charleston, SC, January 9-10, 2006.

Digital Library

[14]

Luckham, D. C., Kenney, J. J., et al. Specification and Analysis of System Architecture Using Rapide. IEEE Transactions on Software Engineering. 21(4), p. 336--355, April, 1995.

Digital Library

[15]

Luckham, D. C. and Vera, J. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering. 21(9), p. 717--734, September, 1995.

Digital Library

[16]

Muccini, H., Bertolino, A., et al. Using Software Architecture for Code Testing. IEEE Transactions on Software Engineering. 30, p. 160--177, March, 2004.

Digital Library

[17]

Mylopoulos, J., Chung, L., et al. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering. 18, June, 1992.

Digital Library

[18]

van Lamsweerde, A. From System Goals to Software Architecture. In Proceedings of the SFM. p. 25--43, 2003.

[19]

Vieira, M. E. R., Dias, M. S., et al. Analyzing Software Architectures with Argus-I. In Proceedings of the International Conference on Software Engineering (ICSE 2000). p. 758--761, Limerick, Ireland, June 4-11, 2000.

Digital Library

[20]

Xu, L., Ziv, H., et al. An Architectural Pattern for Non-functional Dependability Requirements. Journal of Systems and Software. to appear.

[21]

Yu, Y., Leite, J. C., et al. From Goals to Aspects: Discovering Aspects from Goal Models. In Proceedings of the International Conference on Requirements Engineering. 2004.

Digital Library

Cited By

Molenaar Svan den Berg NDalpiaz FBrinkkemper S(2025)Concept definition review: A method for studying terminology in software engineeringInformation and Software Technology10.1016/j.infsof.2024.107648180(107648)Online publication date: Apr-2025
https://doi.org/10.1016/j.infsof.2024.107648
Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 27-Jan-2024
https://doi.org/10.1007/s11227-023-05866-0
Liu XBarnes ESavolainen JPoltrock SSimone CGrudin JMark GRiedl J(2012)Conflict detection and resolution for product line design in a collaborative decision making environmentProceedings of the ACM 2012 conference on Computer Supported Cooperative Work10.1145/2145204.2145402(1327-1336)Online publication date: 11-Feb-2012
https://dl.acm.org/doi/10.1145/2145204.2145402
Show More Cited By

Index Terms

Towards supporting the architecture design process through evaluation of design alternatives
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering

Recommendations

Structuring Software Requirements for Architecture Design
ECBS '13: Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems

Global influence factors, e.g., quality attributes or technical constraints, often guide the process of designing software architectures. However, characteristics of individual requirements (e.g., the complexity or volatility of a requirement) also ...
Optimal selection of operationalizations for non-functional requirements
APCCM '13: Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143

Several long-standing problems in software engineering are concerned with inadequate requirements elicitation, analysis, specification, validation, and management. This deficit is a major cause of project failure and as such several techniques and ...
Supporting quantitative reasoning of non-functional requirements: a process-oriented approach
ICSSP '12: Proceedings of the International Conference on Software and System Process

A long standing problem in software engineering is inadequate requirements elicitation, analysis, specification, validation and management. The lack of well defined requirements is one of the major causes of project failure. Several well-known ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ROSATEA '06: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis

July 2006

86 pages

ISBN:1595934596

DOI:10.1145/1147249

Conference Chairs:
Rob Hierons,
Henry Muccini

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 July 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSTA06

ISSTA06: International Symposium on Software Testing and Analysis 2006

July 17 - 20, 2006

Maine, Portland

Acceptance Rates

ROSATEA '06 Paper Acceptance Rate 11 of 11 submissions, 100%;

Overall Acceptance Rate 11 of 11 submissions, 100%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
517
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Molenaar Svan den Berg NDalpiaz FBrinkkemper S(2025)Concept definition review: A method for studying terminology in software engineeringInformation and Software Technology10.1016/j.infsof.2024.107648180(107648)Online publication date: Apr-2025
https://doi.org/10.1016/j.infsof.2024.107648
Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 27-Jan-2024
https://doi.org/10.1007/s11227-023-05866-0
Liu XBarnes ESavolainen JPoltrock SSimone CGrudin JMark GRiedl J(2012)Conflict detection and resolution for product line design in a collaborative decision making environmentProceedings of the ACM 2012 conference on Computer Supported Cooperative Work10.1145/2145204.2145402(1327-1336)Online publication date: 11-Feb-2012
https://dl.acm.org/doi/10.1145/2145204.2145402
Hill TSupakkul SChung L(2010)Run-time monitoring of system performance: A goal-oriented and system architecture simulation approach2010 First International Workshop on [email protected]10.1109/RERUNTIME.2010.5628551(31-40)Online publication date: Sep-2010
https://doi.org/10.1109/RERUNTIME.2010.5628551
Xu LSchäfer WDwyer MGruhn V(2008)Moda - multiple objective decision analysisCompanion of the 30th international conference on Software engineering10.1145/1370175.1370227(1019-1022)Online publication date: 10-May-2008
https://dl.acm.org/doi/10.1145/1370175.1370227

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten