1. University of Oldenburg, Germany DFG-Project PALLADIO Graduate School TRUSTSOFT A Model TransformationfromthePalladio ComponentModeltoLayeredQueueingNetworks 1 PCM2LQN: Model-Transformation from Palladio to LQN Heiko Koziolek PCM2LQN Heiko Koziolek, Ralf Reussner

2. Heiko Koziolek 2 PCM2LQN: Model-Transformation from Palladio to LQN

3. Component-basedSoftware Performance Engineering Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 3 Performance-AnnotatedComponentSpecifications Queueing Network, Stochastic Petri-Net, StochasticProcess Algebra, … Response Time, Throughput, Utilization, …

4. Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 4 Component Performance

5. PCM2LQN Approach CBSPE Approaches Performance Solvers SPE-ED [Smith2002] Resolve-P [Sitaraman2001] SimQPN [Kounev2006] [...] CB-SPE [Bertolino2004] CB-Appear [Eskenazi2004] CBML [Wu2004] PEPA-WB [Hillston2006] ROBOCOP [Bondarev2004] LQNS [Franks2006] Palladio [Becker2007] [...] PCM2LQN Benefits: Efficient Solver for CB-Designs Transparent Usageof LQNs Reusable Models Heiko Koziolek 5 PCM2LQN: Model-Transformation from Palladio to LQN

6. Related Work Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 6

7. Palladio Component Model Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 7 [BeckerKoziolek, WOSP2007]

8. LayeredQueueing Networks Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 8 [Rolia, IEEE TSE 1995]

9. LayeredQueueing Networks Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 9 [Rolia, IEEE TSE 1995]

10. LayeredQueueing Networks Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 10 [Rolia, IEEE TSE 1995]

11. PCM2LQN - Process Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 11 Depen-dencySolver PCM2LQN LQNSLQSIM

12. PCM2LQN: Example Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 12 PCM2LQN

13. PCM2LQN: Mapping Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 13

14. PCM2LQN: Realisation Eclipse Modeling Framework (EMF) Ecore-Models for PCM, LQN Implemented in Java usingvisitorsprovidedby EMF Bridges semanticalgaps Integration of LQN solvers (LQNS/LQSIM) into PCM-Bench Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 14

15. Case Study: BRP System Heiko Koziolek PCM2LQN: Model-Transformation from Palladio to LQN 15

18. Case Study: BRP System Heiko Koziolek 18 PCM2LQN: Model-Transformation from Palladio to LQN LQN generatedby PCM2LQN:

20. Case Study (Results) Heiko Koziolek 20 PCM2LQN: Model-Transformation from Palladio to LQN

21. Comparison PCM/LQN Heiko Koziolek 21 PCM2LQN: Model-Transformation from Palladio to LQN

22. Limitations Information Loss(Example: Distribution Functions) Nofullsupportof LQN features Nouseof intermediate modellinglanguage (CSM/KLAPER) Nosolverfeedback(LQN->PCM) No UML support Heiko Koziolek 22 PCM2LQN: Model-Transformation from Palladio to LQN

23. Conclusions Couplesadvanced model for CBSPE withefficientperformancesolver Enables transparent usageof LQNs forsoftwarearchitects Results in parametrised, reusablemodels www.palladio-approach.net Heiko Koziolek 23 PCM2LQN: Model-Transformation from Palladio to LQN PCM2LQN