Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation

被引:2
作者
Mueller, Christoph [1 ]
Rygielski, Piotr [1 ]
Spinner, Simon [1 ]
Kounev, Samuel [1 ]
机构
[1] Univ Wurzburg, Inst Comp Sci, Chair Software Engn, D-97074 Wurzburg, Germany
关键词
Queueing Petri Nets; Layered Queueing Networks; Model transformation; fluid analysis;
D O I
10.1016/j.entcs.2016.09.024
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Due to the growing size of modern IT systems, their performance analysis becomes an even more challenging task. Existing simulators are unable to analyze the behavior of large systems in a reasonable time, whereas analytical methods suffer from the state space explosion problem. Fluid analysis techniques can be used to approximate the solution of high-order Markov chain models enabling time efficient analysis of large performance models. In this paper, we describe a model-to-model transformation from queueing Petri nets (QPN) into layered queueing networks (LQN). Obtained LQN models can benefit from three existing solvers: LINE, LQNS, LQSIM. LINE internally utilize fluid limits approximation to speed up the solving process for large models. We present the incentives for developing the automated model-to-model transformation and present a systematic approach that we followed in its design. We demonstrate the transformations using representative examples. Finally, we evaluate and compare the performance predictions of existing analytical, simulation and fluid analysis solvers. We analyze solvers' limitations, solving time, and memory consumption.
引用
收藏
页码:71 / 91
页数:21
相关论文
共 37 条
[1]  
Bause F., 1993, Proceedings. 5th International Workshop on Petri Nets and Performance Models (Cat. No.93TH0558-7), P14, DOI 10.1109/PNPM.1993.393439
[2]   The Palladio component model for model-driven performance prediction [J].
Becker, Steffen ;
Koziolek, Heiko ;
Reussner, Ralf .
JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (01) :3-22
[3]  
Bolch G., 2006, QUEUEING NETWORKS MA
[4]  
Bradley JT, 2008, LECT NOTES COMPUT SC, V5119, P29, DOI 10.1007/978-3-540-69814-2_4
[5]  
Brosig F., 2014, THESIS
[6]   Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures [J].
Brosig, Fabian ;
Meier, Philipp ;
Becker, Steffen ;
Koziolek, Anne ;
Koziolek, Heiko ;
Kounev, Samuel .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2015, 41 (02) :157-175
[7]   Architecture-level software performance abstractions for online, performance prediction [J].
Brosig, Fabian ;
Huber, Nikolaus ;
Kounev, Samuel .
SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 :71-92
[8]   STOCHASTIC WELL-FORMED COLORED NETS AND SYMMETRICAL MODELING APPLICATIONS [J].
CHIOLA, G ;
DUTHEILLET, C ;
FRANCESCHINIS, G ;
HADDAD, S .
IEEE TRANSACTIONS ON COMPUTERS, 1993, 42 (11) :1343-1360
[9]   Incremental Graph Pattern Matching [J].
Fan, Wenfei ;
Wang, Xin ;
Wu, Yinghui .
ACM TRANSACTIONS ON DATABASE SYSTEMS, 2013, 38 (03)
[10]  
Franks G., 2009, LAYERED QUEUEING NET