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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
Martin Fowler with Kendall Scott. UML Distilled. Addison-Wesley, 1997.
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
Steven Hargreaves. Simulating UML models. Master’s thesis, University of Edinburgh, 1998.
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.
ITU. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996.
Carina Kabajunga. Support for the unified modelling language design paradigm. Master’s thesis, Computer Science, University of Edinburgh, 1997.
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.
P. Kähkipuro. UML based performance modelling framework for object-oriented distributed systems. In UML’ 99 — The Unified Modeling Language: Beyond the Standard, 1999.
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.
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.
Robin Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
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.
Rob Pooley and Peter King. The unified modeling language and performance engineering. IEE Proceedings-Software, 1999.
Rob Pooley and Perdita Stevens. Component Based Software Engineering with UML. Addison-Wesley, November 1998.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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