Name
Abstract | ||
|---|---|---|
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 analysis 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. |
Year | DOI | Venue |
|---|---|---|
2002 | 10.1145/584369.584375 | Workshop on Software and Performance 2005 |
Keywords | Field | DocType |
uml specification,performance evaluation framework,uml diagram,design process,underlying stochastic process,transient and steady-state analysis of generalized semi-markov processes,qos performance modeling,performance analysis,tools and techniques,generalized semi-markov process,model evaluation techniques,quantitative analysis,activity diagram,particular stochastic process,uml state diagram,time-enhanced uml,exponential distribution,state diagram,general packet radio service,wireless network,system design,state space,stochastic process,steady state analysis | Dependability,Unified Modeling Language,Computer science,State diagram,Stochastic process,Real-time computing,Activity diagram,Engineering design process,Applications of UML,General Packet Radio Service | Conference |
ISBN | Citations | PageRank |
1-58113-563-7 | 27 | 2.13 |
References | Authors | |
17 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Christoph Lindemann | 1 | 27 | 2.13 |
| Axel Thümmler | 2 | 257 | 23.52 |
| Alexander Klemm | 3 | 326 | 18.72 |
| Marco Lohmann | 4 | 193 | 12.15 |
| Oliver P. Waldhorst | 5 | 291 | 29.66 |