Skip to main content
SpringerLink
Log in

Derivation of Petri Net Performance Models from UML Specifications of Communications Software

  • Conference paper
  • First Online:
Computer Performance Evaluation.Modelling Techniques and Tools (TOOLS 2000)

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

Abstract

As hardware becomes faster and bandwidth greater, the determination of the performance of software based systems during design, known as Software Performance Engineering (SPE), is a growing concern. A recent seminar of experts at Dagstuhl and the First International Workshop on Software and Performance have both highlighted the need to bring performance evaluation into the software design process. The Unified Modelling Language (UML) has emerged in the last two years as a widely accepted standard notation for software design and it is an attractive vehicle for SPE. In this paper UML’s Collaboration and Statechart diagrams are shown to allow systematic generation of Generalised Stochastic Petri Net (GSPN) models, which can be solved to find their throughput and other performance measures. Using the example of communication via the alternating bit protocol, such a mapping is demonstrated and the resulting GSPN solved using the SPNP package. The basis of a usable methodology for SPE is explored.

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. K. Bartlett, R. Scantlebury, and W. Wilkinson. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260–261, 1969.

    Article  Google Scholar 

  2. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: Stochastic petri net package. In Proceedings of 3rd International Workshop on Petri Nets and Performance, pages 142–151, Kyoto, Japan, 1989.

    Google Scholar 

  3. Martin Fowler with Kendall Scott. UML Distilled. Addison-Wesley, 1997.

    Google Scholar 

  4. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  5. Steven Hargreaves. Simulating UML models. Master’s thesis, University of Edinburgh, 1998.

    Google Scholar 

  6. H. Hermanns, V. Mertsiotakis, and M. Rettelbach. Performance analysis of distributed systems using TIPP-a case study. In Jane Hillston, Rob Pooley, and Peter King, editors, UKPEW’ 94, pages 131–144, Edinburgh University, September 1994. UK Performance Engineering Workshop.

    Google Scholar 

  7. ITU. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.

    Google Scholar 

  8. Carina Kabajunga. Support for the unified modelling language design paradigm. Master’s thesis, Computer Science, University of Edinburgh, 1997.

    Google Scholar 

  9. Carina Kabajunga and Rob Pooley. Simulating UML sequence diagrams. In Rob Pooley and Nigel Thomas, editors, UK PEW 1998, pages 198–207. UK Performance Engineering Workshop, July 1998.

    Google Scholar 

  10. P. Kähkipuro. UML based performance modelling framework for object-oriented distributed systems. In UML’ 99 — The Unified Modeling Language: Beyond the Standard, 1999.

    Google Scholar 

  11. Peter King and Rob Pooley. Using UML to derive stochastic Petri net models. In N. Davies and J. Bradley, editors, UKPEW’ 99, University of Bristol, July 1999. UK Performance Engineering Workshop.

    Google Scholar 

  12. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalised stochastic Petri nets for the performance evaluation of multi-processor systems. ACM Trans. Comp. Systems, C-31(9):913–917, September 1984.

    Google Scholar 

  13. Robin Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.

    Google Scholar 

  14. OMG. http://www.rational.com/uml/documentation.html.

  15. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.

    Google Scholar 

  16. Rob Pooley. Using uml to derive stochastic process algebra models. In N. Davies and J. Bradley, editors, UKPEW’ 99, Proceedings of the Fifteenth UK Performance Engineering Workshop, pages 23–33, Bristol, July 1999. UKPEW.

    Google Scholar 

  17. Rob Pooley and Peter King. The unified modeling language and performance engineering. IEE Proceedings-Software, 1999.

    Google Scholar 

  18. Rob Pooley and Perdita Stevens. Component Based Software Engineering with UML. Addison-Wesley, November 1998.

    Google Scholar 

  19. Connie U. Smith and Lloyd G. Williams. Performance engineering evaluation of object oriented systems with SPE·ED. In R. Marie et al., editor, Computer Performance Evaluation-Modelling Techniques and Tools, 9th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 1245 in LNCS. Springer, 1997. St Malo.

    Chapter  Google Scholar 

  20. G. Waters, P. Linington, D. Akehurst, and A. Symes. Communications software performance prediction. In Demetres Kouvatsos, editor, 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems, pages 38/1–38/9, Ilkley, West Yorkshire, July 1997. BCS Performance Engineering Specialist Group.

    Google Scholar 

  21. Lloyd G. Williams and Connie U. Smith. Information requirements for software performance engineering. In H. Beilner and F. Bause, editors, Computer Performance Evaluation-Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 977 in LNCS, pages 86–101. Springer, 1995. Heidelberg.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, EH14 4AS

    Peter King & Rob Pooley

Authors
  1. Peter King
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rob Pooley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, RWTH Aachen, 52056, Aachen, Germany

    Boudewijn R. Haverkort  & Henrik C. Bohnenkamp  & 

  2. Performance Engineering Services Division, MS 110, L&S Computer Technology, Inc., P.O. Box 9802, Austin, TX, 78766, USA

    Connie U. Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

King, P., Pooley, R. (2000). Derivation of Petri Net Performance Models from UML Specifications of Communications Software. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-46429-8_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46429-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation