A Model Transformation from the Palladio Component Model to Layered Queueing Networks DFG-Project PALLADIOGraduate School TRUSTSOFT University of Oldenburg,

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