Skip to main content
SpringerLink
Log in
Book cover

International Conference on Application and Theory of Petri Nets

ICATPN 2006: Petri Nets and Other Models of Concurrency - ICATPN 2006 pp 401–410Cite as

ArgoSPE: Model-Based Software Performance Engineering

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4024))

Abstract

Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software systems in the first stages of the life-cycle. ArgoSPE implements a performance evaluation process that builds on the principles of the software performance engineering (SPE). The theory behind the tool, i.e. the underlying SPE process, has been presented in previous papers and consists in translating some performance annotated UML diagrams into SPN models. Therefore, ArgoSPE prevents software engineers to model with SPN since they are obtained as a by-product of their UML models. The design of the tool follows the architecture proposed by OMG in the UML Profile for Schedulability, Performance and Time specification.

This work has been developed within the projects: TIC2003-05226 of the Spanish Ministry of Science and Technology; and IBE2005-TEC-10 of the University of Zaragoza.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Molloy, M.K.: Performance analysis using stochastic Petri nets. IEEE Transactions on Computers 31(9), 913–917 (1982)

    Article  Google Scholar 

  2. Smith, C.U.: Perf. Engineering of Software Systems. Addison–Wesley (1990)

    Google Scholar 

  3. Unified Modeling Language Specification. Version 1.4, http://www.uml.org

  4. UML Profile for Schedulabibity, Performance and Time Specification. Version 1.1, http://www.uml.org

  5. Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. 30(5), 295–310 (2004)

    Article  Google Scholar 

  6. The Möbius tool, http://www.mobius.uiuc.edu/

  7. The GreatSPN tool, http://www.di.unito.it/~greatspn

  8. The TimeNET tool, http://pdv.cs.tu-berlin.de/~timenet/

  9. Merseguer, J., Bernardi, S., Campos, J., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: IEEE WODES 2002, pp. 295–302 (2002)

    Google Scholar 

  10. Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri Net models. In: ACM WOSP 2002, pp. 35–45 (2002)

    Google Scholar 

  11. López-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. In: ACM WOSP 2004, pp. 25–36 (2004)

    Google Scholar 

  12. Merseguer, J.: Software Performance Engineering based on UML and Petri nets. PhD thesis, University of Zaragoza, Spain (2003)

    Google Scholar 

  13. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley Series (1995)

    Google Scholar 

  14. The ArgoUML project, http://argouml.tigris.org

  15. Bernardi, S., Merseguer, J.: QoS assesment of fault tolerant applications via stochastics analysis. IEEE Internet Computing (accepted for publication, 2006)

    Google Scholar 

  16. Merseguer, J., Campos, J., Mena, E.: Analysing internet software retrieval systems: Modeling and performance comparison. Wireless Networks 9(3), 223–238 (2003)

    Article  Google Scholar 

  17. XML Metadata Interchange (XMI), http://www.omg.org

  18. Java Tecnology, http://java.sun.com

  19. DSPNexpressNG, http://www.dspnexpress.de

  20. Distefano, S., Paci, D., Puliafito, A., Scarpa, M.: UML Design and Software Performance Modeling. In: Aykanat, C., Dayar, T., Körpeoğlu, İ. (eds.) ISCIS 2004. LNCS, vol. 3280, pp. 564–573. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Petriu, D., Shen, H.: Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 159–177. Springer, Heidelberg (2002)

    Google Scholar 

  22. Gilmore, S., Kloul, L.: A unified tool for performance modelling and predicition. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 179–192. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  23. D’Ambrogio, A.: A model transformation framework for the automated building of performance models from UML models. In: ACM WOSP 2005, pp. 75–86 (2005)

    Google Scholar 

  24. Cortellessa, V., et al.: XPRIT: An XML-Based Tool to Translate UML Diagrams into Execution Graphs and Queueing Networks. In: IEEE QEST 2004, pp. 342–343 (2004)

    Google Scholar 

  25. Marzolla, M., Balsamo, S.: UML-PSI: The UML Performance Simulator. In: IEEE QEST 2004, pp. 340–341 (2004)

    Google Scholar 

  26. PNML, http://www.informatik.hu-berlin.de/top/pnml/about.html

Download references

Author information

Authors and Affiliations

  1. Dpto. de Informática e Ingeniería de Sistemas, Universidad de Zaragoza, C/María de Luna, 1, 50018, Zaragoza, Spain

    Elena Gómez-Martínez & José Merseguer

Authors
  1. Elena Gómez-Martínez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. José Merseguer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, 10149, Torino, Italy

    Susanna Donatelli

  2. School of Computing, National University of Singapore,  

    P. S. Thiagarajan

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gómez-Martínez, E., Merseguer, J. (2006). ArgoSPE: Model-Based Software Performance Engineering. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_23

Download citation

  • DOI: https://doi.org/10.1007/11767589_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34699-9

  • Online ISBN: 978-3-540-34700-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation