Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Integrating Performance Modeling in the Software Development Process

  • Conference paper
Radical Innovations of Software and Systems Engineering in the Future (RISSEF 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2941))

  • 1138 Accesses

Abstract

We discuss the integration of performance modeling and analysis in the software development process. Various approaches have been recently defined to integrate performance models and specification languages and models to derive or validate non-functional properties of a software system. Such integration of quantitative performance analysis should provide feedback easily understandable by the software designer and system developers. A framework that allows the combination of different performance modeling techniques and methods, defined at different levels of abstraction, should better support performance analysis and validation of complex and heterogeneous software systems during the software development process.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andolfi, F., Aquilani, F., Balsamo, S., Inverardi, P.: Deriving Performance Models of Software Architectures from Message Sequence Charts. In: [40], pp. 47–57 (2000)

    Google Scholar 

  2. Aquilani, F., Balsamo, S., Inverardi, P.: Performance Analysis at the Software Architectural Design Level. Perfomance Evaluation 45(2-3), 147–178 (2001)

    Article  MATH  Google Scholar 

  3. Baccelli, F., Balbo, G., Boucherie, R.J., Campos, J., Chiola, G.: Annotated bibliography on stochastic Petri nets. In: Performance Evaluation of Parallel and Distributed Systems — Solution Methods, CWI Tract, 105, Amsterdam, pp. 1–24 (1994)

    Google Scholar 

  4. Balbo, G., Bruell, S., Ghanta, S.: Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviour. IEEE Transactions on Computers 37, 1251–1268 (1988)

    Article  MATH  Google Scholar 

  5. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Software Architectures: State of the art and perspectives. Rapporto Tecnico CS-2003-01, Università Ca’ Foscari di Venezia (2003)

    Google Scholar 

  6. Balsamo, S., Bernardo, M., Simeoni, M.: Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis. In: [41] (2002)

    Google Scholar 

  7. Balsamo, S., Iazeolla, G.: Product-Form Synthesis of Queueing Networks. IEEE Transactions on Software Engineering 11(1) (February 1985)

    Google Scholar 

  8. Bernardo, M., Ciancarini, P., Donatiello, L.: ÆMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures. In: [40], pp. 1–11 (2000)

    Google Scholar 

  9. Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science 202, 1–54 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  10. Bernardi, S., Donatelli, S., Meseguer, J.: From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In: [41] (2002)

    Google Scholar 

  11. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, New York (1999)

    Google Scholar 

  12. Buchholz, P.: A framework for the hierarchical analysis of discrete event dynamic systems. Phd Thesis, University of Dortmund (1996)

    Google Scholar 

  13. Buhr, R.J.A., Casselman, R.S.: Use CASE Maps for Object-Oriented Systems. Prentice Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  14. Coe, P.S., Howell, F.W., Ibbett, R.N., Williams, L.M.: Technical Note: A Hierarchical Computer Architecture Design and Simulation Environment. ACM Transactions on Modelling and Computer Simulation 8(4), 431–446 (1998)

    Article  MATH  Google Scholar 

  15. Cortellessa, V., Grassi, V.: A performance based methodology to early evaluate the effectiveness of mobile software architectures. Journal of Logic and Algebraic Programming (2002)

    Google Scholar 

  16. Cortellessa, V., Mirandola, R.: Deriving a Queueing Network based Performance Model from UML Diagrams. In: [40], pp. 58–70 (2000)

    Google Scholar 

  17. De Miguel, M., Lambolais, T., Hannouz, M., Betgé-Brezetz, S., Piekarec, S.: UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models. In: [40], pp. 83–88 (2000)

    Google Scholar 

  18. Götz, N., Herzog, U., Rettelback, M.: TIPP – a language for timed processes and performance evaluation. Technical Report 4/92, IMMD7, University of Erlangen- Nürnberg, Germany (1992)

    Google Scholar 

  19. Grassi, V., Mirandola, R.: PRIMAmob-UML: A Methodology for Performance Analysis of Mobile Software Architectures. In: [41] (2002)

    Google Scholar 

  20. Gu, G., Petriu, D.C.: XSLT transformation from UML models to LQN performance models. In: [41] (2002)

    Google Scholar 

  21. Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science 274, 43–87 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  22. Herzog, U., Rolia, J.: Performance Validation tools for software/hardware systems. Perfomance Evaluation 45(2-3), 125–146 (2001)

    Article  MATH  Google Scholar 

  23. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  24. Hillston, J.: A Compositional Approach to Performance Modelling. Distinguished Dissertation Series. Cambridge University Press, Cambridge (1996)

    Book  Google Scholar 

  25. Hillston, J., Pooley, R.: Stochastic Process Algebras and their application to Performance Modelling. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol. 1469, Springer, Heidelberg (1998)

    Google Scholar 

  26. ITU - Telecommunication Standardization Sector, Message Sequence Charts, ITU-T Recommentation Z.120(11/99) (1999)

    Google Scholar 

  27. Kähkipuro, P.: UML-based Performance Modeling Framework for Component- Based Distributed Systems. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol. 2047, pp. 167–184. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  28. Kant, K.: Introduction to Computer System Performance Evaluation. McGraw- Hill, New York (1992)

    Google Scholar 

  29. King, P., Pooley, R.: Derivation of Petri Net Performance Models from UML Specifications of Communication Software. In: Proc. of the 11th International Conference on Tools and Techniques for Computer Performance Evaluation, pp. 262–276 (2000)

    Google Scholar 

  30. Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer, New York (1976)

    MATH  Google Scholar 

  31. Menascè, D., Gooma, H.: A Method for design and Performance Modeling of Client/Server Systems. IEEE Trans. on Software Engineering 26(11), 1066–1085 (2000)

    Article  Google Scholar 

  32. Object Management Group, UML Profile, for Schedulability, Performance, and Time, OMG document ptc/2002-03-02 at, http://www.omg.org/cgi-bin/doc?ptc/2002-03-02

  33. ObjecTime Ltd., Developer 5.1 Reference Manual, ObjecTime Ltd., Ottawa, Canada (1998)

    Google Scholar 

  34. OPNET Manuals, Mil 3, Inc. (1999)

    Google Scholar 

  35. Petriu, D.C., Woodside, M.: Software Performance Models from System Scenarios in Use Case Maps. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 141–158. Springer, Heidelberg (2002)

    Google Scholar 

  36. Petriu, D.C., Shen, H.: Applying 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 

  37. 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–62. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  38. Pooley, R.: Using UML to Derive Stochastic Process Algebra Models. In: Proc. of XV UK Performance Engineering Workshop (1999)

    Google Scholar 

  39. Pooley, R., King, P.: The Unified Modeling Language and Performance Engineering. In: Proc. IEEE Software (1999)

    Google Scholar 

  40. Proceedings of the 2nd Int.Workshop on Software and Performance (WOSP 2000), ACM Press, Ottawa (2000)

    Google Scholar 

  41. Proceedings of the 3rd Int. Workshop on Software and Performance (WOSP 2002), ACM Press, Rome (2002)

    Google Scholar 

  42. Rolia, J.A., Sevcik, K.C.: The Method of Layers. IEEE Transaction on Software Engineering 21(8), 682–688 (1995)

    Article  Google Scholar 

  43. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  44. Smith, C.: Performance Engineering of Software Systems. Addison-Wesley, Reading (1990)

    Google Scholar 

  45. Woodside, M., Hrischuk, C., Selic, B., Bayarov, S.: Automated performance modeling of software generated by a design environment. Performance Evaluation 45(2-3), 107–123 (2001)

    Article  MATH  Google Scholar 

  46. Williams, L.G., Smith, C.U.: Performance Evaluation of Software Architectures. In: Proc. of WOSP 1998, Santa Fe, New Mexico, USA, pp. 164–177 (1998)

    Google Scholar 

  47. Unified Modeling Language (UML), version 1.4. OMG Documentation, At http://www.omg.org/technology/documents/formal/uml.htm

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Italy

    Simonetta Balsamo & Marta Simeoni

Authors
  1. Simonetta Balsamo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marta Simeoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing

  2. Institut für Informatik, Ludwig-Maximilians-Universität München,  

    Alexander Knapp

  3. Dipartimento di Informatica, Università Ca’ Foscari di Venezia, Via Torino 155, 30172, Venezia Mestre, Italy

    Simonetta Balsamo

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balsamo, S., Simeoni, M. (2004). Integrating Performance Modeling in the Software Development Process. In: Wirsing, M., Knapp, A., Balsamo, S. (eds) Radical Innovations of Software and Systems Engineering in the Future. RISSEF 2002. Lecture Notes in Computer Science, vol 2941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24626-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24626-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-21179-2

  • Online ISBN: 978-3-540-24626-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation