Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework

  • Vittorio Cortellessa
  • Antinisca Di Marco
  • Paola Inverardi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4422)


Integration of non-functional validation in Model-Driven Architecture is still far from being achieved, although it is ever more necessary in the development of modern software systems. In this paper we make a step ahead towards the adoption of such activity as a daily practice for software engineers all along the MDA process. We consider the Non-Functional MDA framework (NFMDA) that, beside the typical MDA model transformations for code generation, embeds new types of model transformations that allow the generation of quantitative models for non-functional analysis. We plug into the framework two methodologies, one for performance analysis and one for reliability assessment, and we illustrate the relationships between non-functional models and software models. For this aim, Computation Independent, Platform Independent and Platform Specific Models are also defined in the non-functional domains taken into consideration, that are performance and reliability.


Model Transformation Sequence Diagram Case Diagram Demand Vector Execution Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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)CrossRefGoogle Scholar
  2. 2.
    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), Helsinki, FI, pp. 363–366 (2003)Google Scholar
  3. 3.
    Bertolino, A., Mirandola, R.: CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 233–248. Springer, Heidelberg (2004)Google Scholar
  4. 4.
    Cortellessa, V., Di Marco, A., Inverardi, P.: Three Performance Models at Work: A Software Designer Perspective. Electr. Notes Theor. Comput. Sci. 97, 219–239 (2004)CrossRefGoogle Scholar
  5. 5.
    Cortellessa, V., Di Marco, A., Inverardi, P.: Non-functional Modeling and Validation in Model-Driven Architecture. In: Proc. of Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA 2007), Mumbay, India (To Appear)Google Scholar
  6. 6.
    Cortellessa, V., Gentile, V.M., Pizzuti, M.: XPRIT: an XML-based tool to translate UML diagrams into Execution Graphs and Queueing Networks. In: Proc. of QEST 2004, short papers (2004)Google Scholar
  7. 7.
    Cortellessa, V., Mirandola, R.: PRIMA-UML: a Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming 44(1), 101–129 (2002)zbMATHCrossRefGoogle Scholar
  8. 8.
    Cortellessa, V., Singh, H., Cukic, B., Gunel, E., Bharadwaj, V.: Early reliability assessment of UML based software models. In: Proc. of 3rd ACM Workshop on Software and Performance (2002)Google Scholar
  9. 9.
    Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Proc. of OOPSLA’03 Workshop on Generative Techniques in the Context of MDA (2003)Google Scholar
  10. 10.
    Grassi, V., Mirandola, R.: PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. In: Proc. of WOSP 2002, pp. 262–274 (2002)Google Scholar
  11. 11.
    Miller, J. (ed.): Model-Driven Architecture Guide, omg/2003-06-01 (2003)Google Scholar
  12. 12.
    Rodrigues, G.N., Roberts, G., Emmerich, W.: Reliability Support for the Model Driven Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 79–98. Springer, Heidelberg (2004)Google Scholar
  13. 13.
    Rodrigues, G.N., Rosenblum, D.S., Uchitel, S.: Reliability Prediction in Model-Driven Development. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 339–354. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Röttger, S., Zschaler, S.: Model-Driven Development for Non-functional Properties: Refinement Through Model Transformation. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 275–289. Springer, Heidelberg (2004)Google Scholar
  15. 15.
    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
  16. 16.
    Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems. In: Proc. of 12th IEEE International Symposium on Software Reliability Engineering (2001)Google Scholar
  17. 17.
    Skene, J., Emmerick, W.: Model-driven performance analysis of Enterprise Information Systems. ENTCS 82(6) (2003)Google Scholar
  18. 18.
    Smith, C.U., Williams, L.G.: Software performance antipatterns. In: Proceedings of the 2nd international workshop on Software and performance (WOSP00), Ottawa, Ontario, Canada, pp. 127–136 (2000)Google Scholar
  19. 19.
    Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Reading (2002)Google Scholar
  20. 20.
    Trivedi, K.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley and Sons, New York (2001)Google Scholar
  21. 21.
  22. 22.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Vittorio Cortellessa
    • 1
  • Antinisca Di Marco
    • 1
  • Paola Inverardi
    • 1
  1. 1.Università degli Studi di L’Aquila, Dipartimento di Informatica 

Personalised recommendations