Abstract
One of the main issue of software systems engineering is determining the overall system quality attributes at an early stage. This has several advantages such as early detection of problems, cost benefits and assuring that the chosen architecture will meet both functional and non-functional quality attributes. One emerging approach for dealing with such early analysis is to evaluate the system quality attributes at the architectural level. However, there is a notable lack of support for representing and reasoning about non functional attributes in existing Architectural Description Languages(ADLs). In this paper, we propose Acme+ as an extension of Acme ADL and discuss its abilities to represent and evaluate non functional attributes such as response time, throughput, failure probability, etc. We also describe a tool that reads a text file containing an architecture described in ACME+ and outputs the quality attributes of all the system and detects the component or the connector bottleneck.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aldini, A., Bernardo, M.: On the usability of process algebra: An architectural view. Theoretical Computer Science 335(2-3), 281–329 (2005)
Aldini, A., Bernardo, M., Corradini, F.: A process Algebraic Approach to Software Architecture Design. Springer (2010)
Allen, R.J.: A formal approach to software architecture. Ph.D. Thesis, CMU (1997)
Barber, K.S., Graser, T., Holt, J.: Enabling iterative software architecture derivation using early non-functional property evaluation. In: Proc. 17th IEEE International Conference on Automated Software Engineering, pp. 23–27 (2002)
Bonta, E.: Automatic code generation: From process algebraic architectural descriptions to multithreaded java programs. Ph.D. in Computer Science University of Bologna, Padua (2008)
Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley Sons (2007)
Denning, P., Buzen, J.: Operational Analysis of queueing network models. ACM Computer Surveys 10, 225–261 (1978)
Dobrica, L., Niemela, E.: A survey on software architecture analysis methods. IEEE Transactions on Software Engineering 28(7) (2002)
Frakes, W., Kang, K.: Software reuse research: Status and future. IEEE Transactions on Software Engineering 31(7) (2007)
Franks, G., Hubbard, A., Majumdar, S., Petriu, D., Rolia, J., Woodside, C.: A toolset for performance engineering and software design of clientserver systems. IEEE Transactions on Software Engineering 24(1-2), 117–136 (1995)
Garlan, D., Allen, R., Ockerbloom, J.: Exploiting style in architectural design environments. In: Proceedings of SIGSOFT 1994: Foundations of Software Engineering (1994)
Garlan, D., Monroe, R.T., Wile, D.: Acme: An architecture description interchange language. In: CASCON 1997, Toronto, Ontario, pp. 169–183 (1997)
Garlan, D., Schmerl, B.: Architecture-driven modelling and analysis. In: SCS 2006 Proceedings of the Eleventh Australian Workshop on Safety Critical Systems and Software, p. 69 (2006)
Garlan, D., Shaw, M.: An introduction to software architecture: Perspectives on an emerging discipline. Prentice Hall (1996)
Giannakopoulou, D., Kramer, J., Cheung, S.C.: Behaviour analysis of distributed systems using the tracta approach. In: Proc. 17th IEEE International Conference on Automated Software Engineering, p. 735 (1999)
Kazman, R., Bass, L., Abowd, G., Webb, M.: Saam: A method for analyzing the properties of software architectures. In: Proc. 16th International Conference of Software Engineering (1994)
Klein, M.H., Kazman, R., Bass, L., Carriere, J., Barbacci, M., Lipson, H.: Attribute-based architecture styles. In: Proc. TC2 First Working IFIP Conference on Software Architecture (WICSA1), pp. 225–244 (1999)
Bass, L., Clements, P., Software Architecture, R.K.: Software Architecture in Practice. Addison-Wesley (2003)
Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Trans. Software Eng. (2000)
Maurya, L.S., Hora, H.: Comparison of software architecture evaluation methods for soft- ware quality attributes. Journal of Global Research in Computer Science 1(4) (2010)
Medvidovic, N., Oreizy, P., Robbins, J.E., Taylor, R.N.: Using object-orlenfcd typing to sup- port architectural design in the c2 style. In: Proceedings of ACM SlGSOFT 1996. Fourth Symposium on the Foundations of Software Engineering (FSE4), pp. 24–32 (October 1996)
Moriconi, M., Qian, X.: Riemenschneider, R. A.: Correct architecture refinement. IEEE Transactions on Sofrware Engineering, 356–372 (April 1995)
Maurya, L.S., Hora, H.: Comparison of software architecture evaluation methods for software quality attributes. Journal of Global Research in Computer Science 4(1) (November 2010)
Balsamo, S., Bernardo, M., Simeoni, M.: Performance evaluation at the software architecture level. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 207–258. Springer, Heidelberg (2003)
Schmerl, B., Garlan, D.: Acmestudio: Supporting style centered architecture development. In: Proceedings of the 26th International Conference on Software Engineering (2004)
Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zclesnik, G.: Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 314–335 (April 1995)
Spitznagel, B., Garlan, D.: Architecture-based performance analysis. In: Proceedings of the Conference on Software Engineering and Knowledge Engineering, CA (1998)
Wang, J., He, X., Deng, Y.: Introducing software architecture specification and analysis in sam through an example. Information and Software Technology, 451–467 (May 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Derbel, I., Jilani, L.L., Mili, A. (2013). ACME+: An ADL for Quantitative Analysis of Quality Attributes. In: Filipe, J., Maciaszek, L.A. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE 2013. Communications in Computer and Information Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54092-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-54092-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54091-2
Online ISBN: 978-3-642-54092-9
eBook Packages: Computer ScienceComputer Science (R0)