KIT | KIT-Bibliothek | Impressum | Datenschutz

Performance Analysis of Time-enhanced UML Diagrams Based on Stochastic Processes

Waldhorst, Oliver P.; Thümmler, A.; Lindemann, Christian; Klemm, A.; Lohmann, M.

Abstract (englisch):

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.


Scopus
Zitationen: 38
Zugehörige Institution(en) am KIT Institut für Telematik (TM)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2002
Sprache Englisch
Identifikator ISBN: 1-58113-563-7
KITopen-ID: 1000088132
Erschienen in 3rd International Workshop on Software and Performance (WOSP '02), Rome; Italy, July 24 - 26, 2002. Ed.: B. Simonetta
Verlag Association for Computing Machinery (ACM)
Seiten 25–34
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page