A Tool for Fractal Component Based Applications Performance Modelling Using Stochastic Well Formed Nets

  • Nabila Salmi
  • Malika Ioualalen
  • Smail Lallali
  • Hamza Zerguine
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 206)

Abstract

Today, performance prediction of component-based systems is important to help software engineers to analyze their applications in early stages of the development life-cycle, so that performance problems are avoided. To achieve performance prediction, modelling is a crucial step. It would be interesting if component performance models can be derived automatically. To this aim, we describe in this paper a software toolset which allows component designers of specific systems, that are Fractal systems, to generate performance models, starting from the Fractal architectural description of their system and component behaviours. These models consist of Stochastic Well formed Nets (SWN) and Stochastic Petri nets (SPN), and can be analyzed using SPN/SWN analysis tools. A case study illustrates the effectiveness of our approach.

Keywords

Fractal model Component Based Systems performance modelling SPN SWN 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Koziolek, H.: Performance evaluation of component-based software systems: A survey. Performance Evaluation, Special Issue on Soft. and Perf (August 2010)Google Scholar
  2. 2.
    Gu, G.P., Petriu, D.C.: From uml to lqn by xml algebra-based model transformations. In: WOSP, pp. 99–110 (2005)Google Scholar
  3. 3.
    Baresi, L., Pezzé, M.: On Formalizing UML with High-Level Petri Nets. In: Agha, G., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, pp. 276–304. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: Proc. of 3rd WOSP 2002, Rome, Italy, pp. 35–45 (July 2002)Google Scholar
  5. 5.
    Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. J. Syst. Softw. 80(4), 528–558 (2007)CrossRefGoogle Scholar
  6. 6.
    Wu, X., Woodside, M.: Performance modeling from software components. SIGSOFT Softw. Eng. Notes 29(1), 290–301 (2004)CrossRefGoogle Scholar
  7. 7.
    Becker, S., Koziolek, H., Reussner, R.: Model-based Performance Prediction with the Palladio Component Model. In: WOSP 2007. ACM, Sigsoft (2007)Google Scholar
  8. 8.
    Meier, P., Kounev, S., Koziolek, H.: Automated transformation of cbs architecture models to queueing petri nets. In: MASCOTS, pp. 339–348 (2011)Google Scholar
  9. 9.
    Bruneton, E., Coupaye, T., Stefani, J.: The fractal component model, version 2.0-3. Technical report, Fractal team (February 2004)Google Scholar
  10. 10.
    Salmi, N., Moreaux, P., Ioualalen, M.: Performance evaluation of fractal component based systems. Annals of Telecommunications. Special Issue: Software Component: The Fractal Initiative 64(1), 81–101 (2009)CrossRefGoogle Scholar
  11. 11.
    Salmi, N., Moreaux, P., Ioualalen, M.: Structured performance analysis for component based systems (IJCCBS) - Special Issue on Verification and Evaluation of Computer and Communication Systems - Part II - Issue 1/2 3(1), 96–131 (2012)Google Scholar
  12. 12.
    Perf. Eval. Group: GreatSPN home page, http://www.di.unito.it/~greatspn
  13. 13.
    Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic well-formed colored nets and symmetric modeling applications. IEEE Trans. on Comp. 42(11), 1343–1360 (1993)CrossRefGoogle Scholar
  14. 14.
    David, P.-C., Ledoux, T.: Towards a Framework for Self-adaptive Component-Based Applications. In: Stefani, J.-B., Demeure, I., Zhang, J. (eds.) DAIS 2003. LNCS, vol. 2893, pp. 1–14. Springer, Heidelberg (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Nabila Salmi
    • 1
    • 2
  • Malika Ioualalen
    • 1
  • Smail Lallali
    • 1
  • Hamza Zerguine
    • 1
  1. 1.LSIUSTHBAlgerAlgérie
  2. 2.LISTICUniversité de SavoieAnnecy le VieuxFrance

Personalised recommendations