Model Transformation in Software Performance Engineering

  • Antinisca Di Marco
  • Raffaela Mirandola
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4214)

Abstract

Nowadays it is widely recognized the crucial role played in the software development process by the analysis of extra-functional properties (and especially performance) at the architectural level. To foster this kind of quantitative analysis we envisage the need to transform the performance model generation and analysis into a rigorous and sound discipline. To this end we intend to exploit the knowledge (acquired by other disciplines) in the area of model transformation, and import both reasoning and methodologies in the software performance engineering. In this paper we investigate the area of performance model derivation and analysis focusing on model transformation; we propose an initial taxonomy for the area of performance analysis at software architecture level and we delineate our suggestions towards a software performance model driven engineering.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ArgoUML – Object-oriented design tool with cognitive support, http://www.argouml.org/
  2. 2.
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Balsamo, S., Marzolla, M.: A Simulation-Based Approach to Software Performance Modeling. In: Proc. Joint 9th European Software Engineering Conference ESEC& 11th SIGSOFT Symposium on the Foundations of Software Engineering FSE-11, Helsinki, FI, September 1-5, pp. 363–366 (2003)Google Scholar
  5. 5.
    Baresi, L., Heckel, R.: Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 6.
    Becker, S., Grunske, L., Mirandola, R., Overhage, S.: Performance Prediction of Component-Based Systems – A Survey from an Engineering Perspective. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 169–192. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Bernardi, S., Donatelli, S., Merseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In: ACM Proc. of WOSP 2002, Rome, Italy, pp. 35–45 (2002)Google Scholar
  8. 8.
    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
  9. 9.
    Cortellessa, V., Di Marco, A., Inverardi, P.: Software Performance Model-Driven Architecture. In: Proc. of the 21st Annual ACM SAC - Track on Model Transformation, April 23 -27. Bourgogne University, Dijon, France (2006)Google Scholar
  10. 10.
    Cortellessa, V., Gentile, M., Pizzuti, M.: XPRIT: An XML-based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks (Tool Paper). In: Proc. of 1st QEST01, Enschede, NL (2004)Google Scholar
  11. 11.
    Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Proc. of OOPSLA 2003 Workshop on Generative Techniques in the Context of MDA (2003)Google Scholar
  12. 12.
    Di Marco, A.: Model-based performance analysis of software architectures, Ph.D. thesis, University of L’Aquila (2005)Google Scholar
  13. 13.
    Di Marco, A., Inverardi, P.: Compositional Generation of Software Architecture Performance QN Models. In: Proc. of WICSA 2004, pp. 37–46 (2004)Google Scholar
  14. 14.
    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. of WOSP 2005, Palma de Mallorca, Spain, July 11-14, pp. 25–36 (2005)Google Scholar
  15. 15.
    Gu, G., Petriu, D.C.: XSLT transformation from UML models to LQN performance models. In: ACM Proc. of WOSP 2002, Rome, Italy, pp. 227–234 (2002)Google Scholar
  16. 16.
    Gu, G., Petriu, D.C.: From UML to LQN by XML Algebra-Based Graph Transformations. In: Proc.of WOSP 2005, Palma, Illes Balears, Spain, July 11-15, pp. 99–110 (2005)Google Scholar
  17. 17.
    López-Grao, J.P., Merseguer, J., Campos, J.: From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In: ACM Proc. of WOSP 2004, Redwood Shores, California, pp. 25–36 (2004)Google Scholar
  18. 18.
    Mens, T., Van Gorp, P.: A taxonomy of model transformation. In: Proc. Int’l. Workshop on Graph and Model Transformation (2005)Google Scholar
  19. 19.
    J. Miller (ed.), Model-Driven Architecture Guide, OMG (June 1, 2003)Google Scholar
  20. 20.
    Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, OMG document ptc (September 1, 2004)Google Scholar
  21. 21.
    OMG, MOF 2.0 Query/Views/Transformations Final Adopted Specification, OMG Adopted Specification ptc (November 1, 2005)Google Scholar
  22. 22.
    OMG: Meta Object Facility (MOF) 2.0 Core Specification, OMG Adopted Specification ptc (October 4, 2003), online at: http://www.omg.org/docs/ptc/03-10-04.pdf
  23. 23.
    Petriu, D.C., Wang, X.: From UML Descriptions of High-Level Software Architectures to LQN Performance Models. In: Münch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 47–63. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  24. 24.
    Petriu, D.B., Woodside, C.M.: A Metamodel for Generating Performance Models from UML Designs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 41–53. Springer, Heidelberg (2004)Google Scholar
  25. 25.
    Petriu, D.B., Woodside, C.M.: A Metamodel for Generating Performance Models from UML Designs. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 41–53. Springer, Heidelberg (2004)Google Scholar
  26. 26.
    Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction-Raising Transformation for Generating Analysis Models. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 217–226. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  27. 27.
    Selic, B.(ed.). UML Profile for Schedulability, Performance and Time, OMG Full Specification, formal (September 1, 2003)Google Scholar
  28. 28.
    Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)MATHGoogle Scholar
  29. 29.
    Smith, C.U., Lladó, C.M., Cortellessa, V., Di Marco, A., Williams, L.G.: From UML models to software performance results: an SPE process based on XML interchange formats. In: Proc. of WOSP 2005, Palma, Illes Balears, Spain, pp. 87–98 (2005)Google Scholar
  30. 30.
    Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Reading (2002)Google Scholar
  31. 31.
    Smith, C.U., Williams, L.G.: Performance Engineering of Object-Oriented Systems with SPEED. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol. 1245, pp. 135–154. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  32. 32.
    Solberg, A., Oldevik, J., Aagedal, J.: QoS-aware Model Transformation, In: DOA 2004 (2004)Google Scholar
  33. 33.
    Tratt, L.: Model transformations and tool integration. Journal of Software and Systems Modelling 4(2), 112–122 (2005)CrossRefGoogle Scholar
  34. 34.
    Woodside, M., et al.: Performance by Unified Model Analysis (PUMA). In: Proc. of WOSP 2005, Palma de Mallorca, Spain, July 11-14, 2005, pp. 1–12 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Antinisca Di Marco
    • 1
  • Raffaela Mirandola
    • 2
  1. 1.Dipartimento di InformaticaUniversità di L’AquilaL’AquilaItaly
  2. 2.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly

Personalised recommendations