Skip to main content
SpringerLink
Log in

ACME+: An ADL for Quantitative Analysis of Quality Attributes

  • Conference paper
Evaluation of Novel Approaches to Software Engineering (ENASE 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 417))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aldini, A., Bernardo, M.: On the usability of process algebra: An architectural view. Theoretical Computer Science 335(2-3), 281–329 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  2. Aldini, A., Bernardo, M., Corradini, F.: A process Algebraic Approach to Software Architecture Design. Springer (2010)

    Google Scholar 

  3. Allen, R.J.: A formal approach to software architecture. Ph.D. Thesis, CMU (1997)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Bonta, E.: Automatic code generation: From process algebraic architectural descriptions to multithreaded java programs. Ph.D. in Computer Science University of Bologna, Padua (2008)

    Google Scholar 

  6. Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley Sons (2007)

    Google Scholar 

  7. Denning, P., Buzen, J.: Operational Analysis of queueing network models. ACM Computer Surveys 10, 225–261 (1978)

    Article  MATH  Google Scholar 

  8. Dobrica, L., Niemela, E.: A survey on software architecture analysis methods. IEEE Transactions on Software Engineering 28(7) (2002)

    Google Scholar 

  9. Frakes, W., Kang, K.: Software reuse research: Status and future. IEEE Transactions on Software Engineering 31(7) (2007)

    Google Scholar 

  10. 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)

    MATH  Google Scholar 

  11. Garlan, D., Allen, R., Ockerbloom, J.: Exploiting style in architectural design environments. In: Proceedings of SIGSOFT 1994: Foundations of Software Engineering (1994)

    Google Scholar 

  12. Garlan, D., Monroe, R.T., Wile, D.: Acme: An architecture description interchange language. In: CASCON 1997, Toronto, Ontario, pp. 169–183 (1997)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Garlan, D., Shaw, M.: An introduction to software architecture: Perspectives on an emerging discipline. Prentice Hall (1996)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Google Scholar 

  18. Bass, L., Clements, P., Software Architecture, R.K.: Software Architecture in Practice. Addison-Wesley (2003)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Moriconi, M., Qian, X.: Riemenschneider, R. A.: Correct architecture refinement. IEEE Transactions on Sofrware Engineering, 356–372 (April 1995)

    Google Scholar 

  23. 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)

    Google Scholar 

  24. 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)

    Chapter  Google Scholar 

  25. Schmerl, B., Garlan, D.: Acmestudio: Supporting style centered architecture development. In: Proceedings of the 26th International Conference on Software Engineering (2004)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Spitznagel, B., Garlan, D.: Architecture-based performance analysis. In: Proceedings of the Conference on Software Engineering and Knowledge Engineering, CA (1998)

    Google Scholar 

  28. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut Superieur de Gestion, Bardo, Tunisia

    Imen Derbel & Lamia Labed Jilani

  2. New Jersey Institute of Technology, Newark, NJ, 07102-1982, U.S.A.

    Ali Mili

Authors
  1. Imen Derbel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lamia Labed Jilani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ali Mili
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INSTICC and IPS, Estefanilha, Setúbal, Portugal

    Joaquim Filipe

  2. Department of Computing, Macquarie University, 2109,, Sydney, NSW, Australia

    Leszek A. Maciaszek

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation