Architecture Level Prediction of Software Quality Attributes
Imen Derbel, Lamia Labed Jilani, Ali Mili
2013
Abstract
The concept of software architecture emerged in the eighties as an abstraction of all the design decisions pertaining to broad system structure, component coordination, system deployment, and system operation. As such, software architecture deals less with functional attributes than with operational attributes of a software system. So much so that a sound discipline of software architecture consists in identifying and prioritizing important non functional attributes that we want to optimize in the software system, and using them as a guide in making architectural decisions. We know of no architectural description language that allows us to represent and reason about non functional quality attributes such as response time, throughput, failure probability, security, availability, etc. In this paper, we present a modified version of ACME, and present a compiler of this language that allows us to analyze and reason about non functional attributes of software systems.
References
- Aldini, A. and Bernardo, M. (2005). On the usability of process algebra: An architectural view. Theoretical Computer Science, 335, no 2-3:281-329.
- Aldini, A., Bernardo, M., and Corradini, F. (2010). A process Algebraic Approach to Software Architecture Design. Springer Verlag.
- Allen, R. J. (1997). A formal approach to software architecture. Ph.D. Thesis, Carnegie Mellon University.
- Bonta, E. (Mars 2008). Automatic code generation: From process algebraic architectural descriptions to multithreaded java programs. Ph.D. in Computer Science University of Bologna, Padua.
- Buschmann, F., Henney, K., and Schmidt, D. C. (2007). Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley Sons.
- Dobrica, L. and Niemela, E. (2002). A survey on software architecture analysis methods. IEEE Transactions on software engineering, 28, no. 7.
- Frakes, W. and Kang, K. (2007). Software reuse research: Status and future. IEEE Transactions on software engineering, 31 (7).
- Franks, G., Hubbard, A., Majumdar, S., Petriu, D., J.Rolia, and Woodside, C. (November 1995). A toolset for performance engineering and software design of clientserver systems. IEEE Transactions on software engineering, 24(1-2):117-136.
- Garlan, D., Allen, R., and Ockerbloom, J. (December 1994). Exploiting style in architectural design environments. In Proceedings of SIGSOFT94: Foundations of Software Engineering, pages 175-188.
- Garlan, D., Monroe, R. T., and Wile, D. (November 1997). Acme: An architecture description interchange language. CASCON'97. Toronto, Ontario, page 169183.
- Garlan, D. and Schmerl, B. (2006). Architecture-driven modelling and analysis. SCS 7806 Proceedings of the eleventh Australian workshop on Safety critical systems and software, 69.
- Garlan, D. and Shaw, M. (1996). An introduction to software architecture: Perspectives on an emerging discipline. Prentice Hall.
- Gunther, N. (1998). The Practical Performance Analyst. McGraw-Hill.
- Hoare, C. (June 2004). Communicating Sequential Processes.2004.
- Kazman, R., Bass, L., Abowd, G., and Webb, M. (1994). Saam: A method for analyzing the properties of software architectures. Proc. 16th International Conference of Software Engineering, pages 81-90.
- Klein, M. H., Kazman, R., Bass, L., Carriere, J., Barbacci, M., and Lipson, H. (1999). Attribute-based architecture styles. Proc. TC2 First Working IFIP Conference on Software Architecture (WICSA1), pages 225 - 244.
- L. Bass, P. Clements, R. K. (2003). Software Architecture in Practice. Addison-Wesley.
- Lindvall, M., Tvedt, R. T., and Costa, P. (2003). An empirically based process for software architecture evaluation. Empirical Software Engineering, 8(1):83-108.
- Luckham, D. C., Kenney, J. J., Augustin, L. M., Vera, J., Bryan, D., and Mann, W. (2000). Specification and analysis of system architecture using rapide. IEEE Trans. Software Eng.
- Maurya, L. S. and Hora, H. (Novembre 2010). Comparison of software architecture evaluation methods for software quality attributes. Journal of Global Research in Computer Science, 1, no.4.
- Medvidovic, N., Oreizy, P., Robbins, J. E., and Taylor, R. N. (October 1996). Using object-orlenfcd typing to support architectural design in the c2 style. In Proceedings of ACM SlGSOFT96. Fourth Symposium on the Moriconi, M., Qian, X., and Riemenschneider, R. A. (April 1995). Correct architecture refinement. IEEE Transactions on Sofrware Engineering, pages 356-372.
- S.Balsamo, Bernardo, M., and Simeoni, M. (2003). Performance evaluation at the software architecture level. SFM 2003: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, 22-27:207-258.
- Schmerl, B. and Garlan., D. (May 2004). Acmestudio: Supporting style centered architecture development. In Proceedings, 26th International Conference on Software Engineering, Edinburgh, Scotland.
- Shaw, M., DeLine, R., Klein, D. V., Ross, T. L., Young, D. M., and Zclesnik, G. (April 1995). Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, pages 314-335.
- Vestal, S. (April 1996). MetaH Programmer's Manual, Version 1.09. Technical Report, Honeywell Technology Center.
- Wang, J., He, X., and Deng, Y. (May 1999). Introducing software architecture specification and analysis in sam through an example. Information and Software Technology, pages 451- 467.
Paper Citation
in Harvard Style
Derbel I., Labed Jilani L. and Mili A. (2013). Architecture Level Prediction of Software Quality Attributes . In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8565-62-4, pages 15-24. DOI: 10.5220/0004416800150024
in Bibtex Style
@conference{enase13,
author={Imen Derbel and Lamia Labed Jilani and Ali Mili},
title={Architecture Level Prediction of Software Quality Attributes},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2013},
pages={15-24},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004416800150024},
isbn={978-989-8565-62-4},
}
in EndNote Style
TY - CONF
JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Architecture Level Prediction of Software Quality Attributes
SN - 978-989-8565-62-4
AU - Derbel I.
AU - Labed Jilani L.
AU - Mili A.
PY - 2013
SP - 15
EP - 24
DO - 10.5220/0004416800150024