Skip to main content

A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems

  • Conference paper
Component-Based Software Engineering (CBSE 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4063))

Included in the following conference series:

Abstract

The adoption of a “high level” perspective in the design of a component-based application, without considering the specific features of some underlying supporting platform, has the advantage of focusingon the relevant architectural aspects and reasoning about them in a platform independent way, omitting unnecessary details that could even not be known at the earliest development stages.On the other hand, many of the details that are typically neglected in this high-level perspective must necessarily be taken into account to obtain a meaningful evaluation of different architectural choices in terms of extra-functional quality attributes, like performance or reliability. Toward the reconciliation of these two contrasting needs, we propose a model-based approach whose goal is to support the derivation of sufficiently detailed prediction models from high level models of component-based systems, focusing on the prediction of performance and reliability. We exploit for this purpose a refinement mechanism based on the use of model transformation techniques.

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

Access this chapter

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. Balsamo, S., di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. on Software Engineering 30(5), 295–310 (2004)

    Article  Google Scholar 

  2. Bass, L., Clements, P., Kazman, R.: Software Architectures in Practice. Addison-Wesley, New York (1998)

    Google Scholar 

  3. Bezivin, J., Breton, E., Dupé, G., Valduriez, P.: The ATL transformation-based model management framework. Res. Report no. 03.08, IRIN, Univ. de Nantes (September 2003)

    Google Scholar 

  4. Cortellessa, V., Singh, H., Cukic, B., Gunel, E., Bharadwaj, V.: Early reliability assessment of UML based software models. In: Proc. 3rd Int.Workshop on Software and Performance (WOSP 2002), Rome (Italy), July 24-26 (2002)

    Google Scholar 

  5. Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reliability domain. In: Proc. 4th Int. Workshop on Software and Performance (WOSP 2004), pp. 197–206 (January 2004)

    Google Scholar 

  6. Gomaa, H., Menascé, D.A.: Performance engineering of component-based distributed software systems. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol. 2047. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  7. Grassi, V., Mirandola, R., Sabetta, A.: From Design to Analysis Models: a Kernel Language for Performance and Reliability Analysis of Component-based Systems. In: Proc. WOSP 2005: 5th ACM International Workshop on Software and Performance, Palma de Mallorca, Spain, July 11-14, pp. 25–36 (2005)

    Google Scholar 

  8. Gu, G., Petriu, D.C.: From UML to LQN by XML Algebra-Based Graph Transformations. In: Proc. Fifth International Workshop on Software and Performance (WOSP 2005), Palma, Illes Balears, Spain, July 11-15, pp. 99–110 (2005)

    Google Scholar 

  9. Hissam, S.A., et al.: Packaging Predictable Assembly. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol. 2370, pp. 108–124. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Lazowska, E.D., et al.: Quantitative System Performance: Computer System Analysis using Queueing Network Models, on line at: http://www.cs.washington.edu/homes/lazowska/qsp/

  11. Leangsuksun, C., Song, H., Shen, L.: Reliability Modeling Using UML. In: Proc. 2003 Int. Conf. on Software Engineering Research and Practice, June 23-26, Las Vegas, Nevada, USA (2003)

    Google Scholar 

  12. MDA Guide Version 1.0.1, OMG Document omg/03-06-01, on line at: www.omg.org/docs/omg/03-06-01.pdf

  13. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Software Engineering 26(1), 70–93 (2000)

    Article  Google Scholar 

  14. Meta Object Facility (MOF) 2.0 Core Specification, OMG Adopted Specification ptc/03-10-04, on line at: www.omg.org/docs/ptc/03-10-04.pdf

  15. Mehta, N.R., Medvidovic, N., Phadke, S.: Toward a taxonomy of software connectors. In: Proc. 22nd Int. Conference on Software Engineering (ICSE 2000) (May 2000)

    Google Scholar 

  16. MOF 2.0 Query/Views/Transformations RFP, OMG Document ad/2002-04-10, on line at: www.omg.org/docs/ad/02-04-10.pdf

  17. OldevikL, J.: UMT UML model transformation tool, online at: http://umt-qvt.sourceforge.net/docs/UMTdocumentationv08.pdf

  18. UML 2.0 OCL Specification, OMG Final Adopted Specification online at: www.omg.org/docs/ptc/03-10-14.pdf

  19. OWL-S: Semantic Markup for Web Services, White Paper, The OWL Services Coalition (November 2003), online at: www.daml.org/services/owl-s/1.0/owl-s.pdf

  20. Reussner, R.H., Schmidt, H.W., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software 66(3), 241–252 (2003)

    Article  Google Scholar 

  21. Selic, B.: The Pragmatics of Model-Driven Development. IEEE Software 20(5), 19–25 (2003)

    Article  Google Scholar 

  22. Solberg, A., Husa, K.E., Aagedal, J., Abrahamsen, E.: QoS-Aware MDA. In: Proc. Workshop Model-Driven Architecture in the Specification, Implementation and Validation of Object-Oriented Embedded Systems (SIVOES-MDA 2003) (in conjunction with UML 2003) (2003)

    Google Scholar 

  23. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, OMG Adopted Specification ptc/04-09-012, www.omg.org/docs/ptc/04-09-01.pdf

  24. UML Profile for Schedulability, Performance, and Time Specification, OMG Adopted Specification ptc/02-03-02, online at: www.omg.org/docs/ptc/02-03-02.pdf

  25. UML 2.0 Superstructure Specification, OMG Adopted Specification ptc/03-08-02, online at: www.omg.org/docs/ptc/03-08-02.pdf

  26. Varrò, D., Varrò, G., Pataricza, A.: Designing the automatic transformation of visual languages. Science of Computer Programming 44(2), 205–227 (2002)

    Article  MATH  Google Scholar 

  27. Verdikt, T., Dhoedt, B., Gielen, F., Demesteer, P.: Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models. IEEE Trans. of Software Engineering 31(8), 695–711 (2005)

    Article  Google Scholar 

  28. Woodside, M., et al.: Performance by Unified Model Analysis (PUMA). In: Proc. WOSP 2005: 5th ACM International Workshop on Software and Performance, Palma de Mallorca, Spain, July 11-14, pp. 1–12 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grassi, V., Mirandola, R., Sabetta, A. (2006). A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems. In: Gorton, I., et al. Component-Based Software Engineering. CBSE 2006. Lecture Notes in Computer Science, vol 4063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783565_19

Download citation

  • DOI: https://doi.org/10.1007/11783565_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35628-8

  • Online ISBN: 978-3-540-35629-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics