Performance analysis of time-enhanced UML diagrams based on stochastic processes
Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst
2002
Proceedings of the third international workshop on Software and performance - WOSP '02
In this paper, we propose extensions to UML state diagrams and activity diagrams in order to allow the association of events with exponentially distributed and deterministic delays. We present an efficient algorithm for the state space generation out of these UML diagrams that allows a quantitative analysis by means of an underlying stochastic process. We identify a particular stochastic process, the generalized semi-Markov process (GSMP), as the appropriate vehicle on which quantitative
more »
... s is performed. As innovative feature the algorithm removes vanishing states, i.e. states with no timed events active, and considers branching probabilities within activity diagrams. Furthermore, we introduce a performance evaluation framework that allows a system designer to predict performance measures at several steps in the design process. The applicability of our approach for practical performance and dependability projects is demonstrated by an UML specification of the General Packet Radio Service, a packet switched extension in GSM wireless networks. Keywords Model evaluation techniques, tools and techniques, QoS performance modeling, transient and steady-state analysis of generalized semi-Markov processes. Recently, Cortellessa and Mirandola developed a framework for generating a performance model from parts of UML diagrams [3], [4] . Their proposed methodology makes use of UML use case diagrams, sequence diagrams and deployment diagrams. They combined a set of sequence diagrams derived from different use cases to generate an execution graph. From the deployment diagram they derived an extended queueing network model that is parameterized by means of the execution graph. Nevertheless this approach relays entirely on traditional approaches in software performance engineering introduced by Smith in 1990 [22] and tailored to the UML in [23] . Petriu, Shousha, and Jalnapurkar developed a systematic approach to build a layered queueing network performance model from a UML description [18] . They demonstrated their approach by analyzing an existing Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.
doi:10.1145/584369.584375
dblp:conf/wosp/LindemannTKLW02
fatcat:ideu332k3rfqpplpgxubzygpnu