A Model Transformation from the Palladio Component Model to Layered Queueing Networks DFG-Project...
-
Upload
mark-daniel -
Category
Documents
-
view
214 -
download
0
Transcript of A Model Transformation from the Palladio Component Model to Layered Queueing Networks DFG-Project...
A Model Transformationfrom the Palladio Component Model
to Layered Queueing Networks
DFG-Project PALLADIO Graduate School TRUSTSOFT University of Oldenburg, Germany
1PCM2LQN: Model-Transformation from Palladio to LQNHeiko Koziolek
Heiko Koziolek, Ralf Reussner
PCM2LQN
Heiko Koziolek 2PCM2LQN: Model-Transformation from Palladio to LQN
Component-basedSoftware Performance Engineering
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 3
Performance-Annotated
Component Specifications
Queueing Network,Stochastic Petri-Net,
Stochastic Process Algebra,…
Response Time,Throughput,Utilization,
…
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 4
Component Performance
PCM2LQN Approach
[...]
Performance Solvers
LQNS[Franks1999]
SimQPN[Kounev2006]
SPE-ED[Smith2002]
PEPA-WB[Hillston1994] DSPNexpress
[Lindemann1995]
CB-SPE[Bertolino2004]
ROBOCOP[Bondarev2004]
Resolve-P[Sitaraman2001]
CBML[Wu2004]
Palladio[Becker2007]
CB-Appear[Eskenazi2004]
CBSPE Approaches
[...]
PCM2LQN
• Benefits:– Efficient Solver for CB-Designs– Transparent Usage of LQNs – Reusable Models
Heiko Koziolek 5PCM2LQN: Model-Transformation from Palladio to LQN
Related Work
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 6
Palladio Component Model
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 7
[BeckerKoziolek, WOSP2007]
Layered Queueing Networks
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 8
[Rolia, IEEE TSE 1995]
Layered Queueing Networks
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 9
[Rolia, IEEE TSE 1995]
Layered Queueing Networks
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 10
[Rolia, IEEE TSE 1995]
PCM2LQN - Process
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 11
Depen-dencySolver
PCM2
LQN
LQNSLQSIM
PCM2LQN: Example
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 12
PCM2LQN
PCM2LQN: Mapping
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 13
PCM2LQN: Realisation
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 14
Case Study: BRP System
Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 15
ModelPCM
System
ModelPCM
RDSEFF
SelectLQN
Solver
ConfigureLQN
Solver
StartModel Transformation
and Solution
Case Study: BRP System
Heiko Koziolek 18PCM2LQN: Model-Transformation from Palladio to LQN
LQN generated by PCM2LQN:
LQN generated by PCM2LQN:
ViewLQN
SolverOutput
Case Study Results
Heiko Koziolek 20PCM2LQN: Model-Transformation from Palladio to LQN
Comparison PCM/LQN
Heiko Koziolek 21PCM2LQN: Model-Transformation from Palladio to LQN
Limitations
Heiko Koziolek 22PCM2LQN: Model-Transformation from Palladio to LQN
Conclusions
www.palladio-approach.netHeiko Koziolek 23PCM2LQN: Model-Transformation from Palladio to LQN
PCM2LQN