Towards Simulation-Based Performance Modeling of UML specifications

Quantitative analysis of software systems is being recognized as an important issue in the software development process. Performance analysis can help to address quantitative system analysis from the early stages of the software development life cycle, e.g, to compare design alternatives or to identify system bottlenecks. Early identification of performance problems is desirable as the cost of design change increases with the later phases in the software development cycle. In this paper we focus on simulation-oriented performance models of software systems. We introduce an approach for translating UML software specifications into simulation models. The proposed technique defines the annotation of an UML system specification by using the UML profile for Schedulability, Performance and Time specification. This allows the designer to easily add quantitative informations to the software specification in a standard and consistent way. Then we derive a process-oriented simulation model whose execution provides performance results that can be directly interpreted at the UML software specification level.

[1]  Graham M. Birtwistle,et al.  Getting Demos models right. (I). Practice , 2001, Simul. Pract. Theory.

[2]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[3]  Neil A. Speirs,et al.  Automatic Generation of Distributed System Simulations from UML , 1999 .

[4]  Paola Inverardi,et al.  Software Performance: state of the art and perspectives , 2003 .

[5]  Rob Pooley,et al.  Derivation of Petri Net Performance Models from UML Specifications of Communications Software , 2000, Computer Performance Evaluation / TOOLS.

[6]  Stuart Kent,et al.  A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach , 2000 .

[7]  Roberto Gorrieri,et al.  A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time , 1998, Theor. Comput. Sci..

[8]  Neil A. Speirs,et al.  Using SimML to Bridge the Transformation from UML to Simulation , 1999 .

[9]  Daniel A. Menascé,et al.  Performance Engineering of Component-Based Distributed Software Systems , 2001, Performance Engineering.

[10]  Pekka Kahkipuro.  UML-Based Performance Modeling Framework for Component-Based Distributed Systems , 2001, Performance Engineering.

[11]  Paolo Ciancarini,et al.  ÆMPA: a process algebraic description language for the performance analysis of software architectures , 2000, WOSP '00.

[12]  Connie U. Smith,et al.  Performance solutions: a practical guide to creating responsive , 2001 .

[13]  J. Banks,et al.  Handbook of Simulation , 1998 .

[14]  Dorina C. Petriu,et al.  XSLT transformation from UML models to LQN performance models , 2002, WOSP '02.

[15]  Axel Thümmler,et al.  Performance analysis of time-enhanced UML diagrams based on stochastic processes , 2002, WOSP '02.

[16]  Graham M. Birtwistle,et al.  Getting Demos models right. (II) ... and theory , 2001, Simul. Pract. Theory.

[17]  Vittorio Cortellessa,et al.  PRIMA-UML: a performance validation incremental methodology on early UML diagrams , 2002, Sci. Comput. Program..

[18]  Peter G. Harrison,et al.  Modelling techniques and tools for computer performance evaluation , 2003, Perform. Evaluation.

[19]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.

[20]  Neil A. Speirs,et al.  A UML tool for an automatic generation of simulation programs , 2000, WOSP '00.

[21]  Thomas Lambolais,et al.  UML extensions for the specification and evaluation of latency constraints in architectural models , 2000, WOSP '00.

[22]  Graham M. Birtwistle,et al.  A denotational semantics for a process-based simulation language , 1998, TOMC.

[23]  Jerome A. Rolia,et al.  The Method of Layers , 1995, IEEE Trans. Software Eng..

[24]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[25]  Gianna Reggio,et al.  Towards a Rigorous Semantics of UML Supporting Its Multiview Approach , 2001, FASE.

[26]  Marta Simeoni,et al.  Deriving Performance Models from Software Architecture Specifications , 2001 .

[27]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[28]  Stephen S. Lavenberg,et al.  Computer Performance Modeling Handbook , 1983, Int. CMG Conference.

[29]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[30]  Joost-Pieter Katoen,et al.  Process algebra for performance evaluation , 2002, Theor. Comput. Sci..