Performance analysis of time-enhanced UML diagrams based on stochastic processes

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.

REFERENCES

• 1: M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Francheschinis, Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons, 1995.
• 2: Grady Booch , James Rumbaugh , Ivar Jacobson, The Unified Modeling Language user guide, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999
• 3: Vittorio Cortellessa , Raffaela Mirandola, Deriving a queueing network based performance model from UML diagrams, Proceedings of the 2nd international workshop on Software and performance, p.58-70, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350406]
• 4: V. Cortellessa and R. Mirandola, UML Based Performance Modeling of Distributed Systems, in: A. Evans, S. Kent, B. Selic, (Eds.), 3rd Int. Conf. on the Unified Modeling Language, York, UK, LNCS 1939, 178-193, Springer, 2000.
• 5: CSIM18-The Simulation Engine, http://www.mesquite.com.
• 6: Bruce Powel Douglass, Real-time UML (2nd ed.): developing efficient objects for embedded systems, Addison-Wesley Longman Ltd., Essex, UK, 2000
• 7: ETSI, Digital cellular telecommunications system (Phase 2+); General Packet Radio Service (GPRS); Service description; Stage 2, GSM recommendation 03.60, 1999.
• 8: Wolfgang Fischer , Kathleen Meier-Hellstern, The Markov-modulated Poisson process (MMPP) cookbook, Performance Evaluation, v.18 n.2, p.149-171, Sept. 1993 [doi>10.1016/0166-5316(93)90035-S]
• 9: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 10: Peter J. B. King , Rob Pooley, Derivation of Petri Net Performance Models from UML Specifications of Communications Software, Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, p.262-276, March 27-31, 2000
• 11: Christoph Lindemann , C. Lindemann, Performance Modelling with Deterministic and Stochostic Petri Nets, John Wiley & Sons, Inc., New York, NY, 1998
• 12: C. Lindemann and A. Thümmler, Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions, Performance Evaluation, Special Issue Proc. Performance 1999,36&37, 35-54, 1999.
• 13: Performance Analysis of the General Packet Radio Service, Proceedings of the The 21st International Conference on Distributed Computing Systems, p.673, April 16-19, 2001
• 14: Christoph Lindemann , Axel Thümmler , Alexander Klemm , Marco Lohmann , Oliver P. Waldhorst, Quantitative system evaluation with DSPNexpress 2000, Proceedings of the 2nd international workshop on Software and performance, p.12-17, September 2000, Ottawa, Ontario, Canada [doi>10.1145/350391.350396]
• 15: Object Management Group, OMG Unified Modeling Language Specification, OMG Document formal/2001-09-67, September 2001, http://www.omg.org.
• 16: Object Management Group, RFP: UML Profile for Scheduling, Performance, and Time, OMG Document ad/99-03-13, March 1999, http://www.omg.org.
• 17: Object Management Group, Response to the OMG RFP for Schedulability, Performance, and Time, OMG Document ad/2001-06-14, June 2001, http://www.omg.org.
• 18: Dorina Petriu , Christiane Shousha , Anant Jalnapurkar, Architecture-Based Performance Analysis Applied to a Telecommunication System, IEEE Transactions on Software Engineering, v.26 n.11, p.1049-1065, November 2000 [doi>10.1109/32.881717]
• 19: Rational Rose, http://www.rational.com/products/rose/.
• 20: Rhapsody, http://www.ilogix.com.
• 21: G.S. Shedler, Regenerative Stochastic Simulation, Academic Press 1993.
• 22: Connie U. Smith, Performance Engineering of Software Systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 23: Lloyd G. Williams , Connie U. Smith, Performance evaluation of software architectures, Proceedings of the 1st international workshop on Software and performance, p.164-177, October 12-16, 1998, Santa Fe, New Mexico, United States [doi>10.1145/287318.287353]
• 24: W. Whitt, Continuity of Generalized Semi-Markov Processes, Mathematics of Operations Research,5, 494-501, 1980.

INDEX TERMS

Keywords:
QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes