Presentation is loading. Please wait.

Presentation is loading. Please wait.

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

Published byMark Daniel Modified over 9 years ago

Similar presentations

Presentation on theme: "A Model Transformation from the Palladio Component Model to Layered Queueing Networks DFG-Project PALLADIOGraduate School TRUSTSOFT University of Oldenburg,"— Presentation transcript:

1 A Model Transformation from the Palladio Component Model to Layered Queueing Networks DFG-Project PALLADIOGraduate School TRUSTSOFT University of Oldenburg, Germany 1PCM2LQN: Model-Transformation from Palladio to LQNHeiko Koziolek Heiko Koziolek, Ralf Reussner PCM2LQN

2 Heiko Koziolek2PCM2LQN: Model-Transformation from Palladio to LQN

3 Component-based Software Performance Engineering Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN3 Performance- Annotated Component Specifications Queueing Network, Stochastic Petri-Net, Stochastic Process Algebra, … Response Time, Throughput, Utilization, …

4 Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN4 Component Performance

5 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 Koziolek5PCM2LQN: Model-Transformation from Palladio to LQN

6 Related Work [Petriu2002] UML+SPT -> LQN [Wu/Woodside2004] CBML Extension for LQNs [D‘Ambrogio2005] Transformation Framework [Petriu2006] UML+SPT -> CSM -> LQN/GSPN [Grassi2007] KLAPER Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN6

7 Palladio Component Model Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN7 [BeckerKoziolek, WOSP2007]

8 Layered Queueing Networks Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN8 [Rolia, IEEE TSE 1995]

9 Layered Queueing Networks Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN9 [Rolia, IEEE TSE 1995]

10 Layered Queueing Networks Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN10 [Rolia, IEEE TSE 1995]

11 PCM2LQN - Process Parameterised PCM SpecificationSolved PCM SpecificationLQN ModelPerformance Metrics Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN11 Depen- dency Solver PCM 2 LQN LQNS LQSIM

12 PCM2LQN: Example Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN12 PCM2LQN

13 PCM2LQN: Mapping Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN13

14 PCM2LQN: Realisation Eclipse Modeling Framework (EMF)Ecore-Models for PCM, LQNImplemented in Java/EMFBridges semantic gapsIntegration of LQN solvers Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN14

15 Case Study: BRP System Heiko KoziolekPCM2LQN: Model-Transformation from Palladio to LQN15

16 Model PCM System Model PCM RDSEFF

17 Select LQN Solver Configure LQN Solver Start Model Transformation and Solution

18 Case Study: BRP System Heiko Koziolek18PCM2LQN: Model-Transformation from Palladio to LQN LQN generated by PCM2LQN:

19 View LQN Solver Output

20 Case Study Results Heiko Koziolek20PCM2LQN: Model-Transformation from Palladio to LQN

21 Comparison PCM/LQN Heiko Koziolek21PCM2LQN: Model-Transformation from Palladio to LQN

22 Limitations Information Loss (e.g. Distribution Functions)No full support of LQN featuresNo intermediate modelling languageNo solver feedback (LQN->PCM)No UML support Heiko Koziolek22PCM2LQN: Model-Transformation from Palladio to LQN

23 Conclusions Couples advanced model for CBSPE with efficient performance solver Enables transparent usage of LQNs for software architects Results in parametrised, reusable models www.palladio-approach.net Heiko Koziolek23PCM2LQN: Model-Transformation from Palladio to LQN PCM2LQN

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

Similar presentations

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
FZI FORSCHUNGSZENTRUM INFORMATIK FZI Software Engineering Palladio: Architecture-Based Quality Prediction.

FZI FORSCHUNGSZENTRUM INFORMATIK FZI Software Engineering Palladio: Architecture-Based Quality Prediction.
The GDSE Framework A Meta-Tool for Automated Design Space Exploration Tripti Saxena Graduate Student Vanderbilt University 1.

The GDSE Framework A Meta-Tool for Automated Design Space Exploration Tripti Saxena Graduate Student Vanderbilt University 1.
Presented by: Thabet Kacem Spring 2010. Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.

Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed

Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed
Information Society and Media Directorate-General - Unit Grid Technologies Concertation Meeting – 1 st June 2005 Slide 1 Wolfgang Boch DG Information Society.

Information Society and Media Directorate-General - Unit Grid Technologies Concertation Meeting – 1 st June 2005 Slide 1 Wolfgang Boch DG Information Society.
Reseach in DistriNet (department of computer science, K.U.Leuven) General overview and focus on embedded systems task-force.

Reseach in DistriNet (department of computer science, K.U.Leuven) General overview and focus on embedded systems task-force.
Page 1 Building Reliable Component-based Systems Chapter 7 - Role-Based Component Engineering Chapter 7 Role-Based Component Engineering.

Page 1 Building Reliable Component-based Systems Chapter 7 - Role-Based Component Engineering Chapter 7 Role-Based Component Engineering.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.

Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
A novel switching paradigm for buffer-less WDM networks Myungsik Yoo and Chunming Qiao EE and CSE Departments University at Buffalo (SUNY)

A novel switching paradigm for buffer-less WDM networks Myungsik Yoo and Chunming Qiao EE and CSE Departments University at Buffalo (SUNY)
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl

Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
A Cross Layer Approach for Power Heterogeneous Ad hoc Networks Vasudev Shah and Srikanth Krishnamurthy ICDCS 2005.

A Cross Layer Approach for Power Heterogeneous Ad hoc Networks Vasudev Shah and Srikanth Krishnamurthy ICDCS 2005.
1 Software Performance Evaluation Ioan Jurca (“Politehnica” University of Timisoara - Romania) Cosmina Chişe (“Politehnica” University of Timisoara – Romania)

1 Software Performance Evaluation Ioan Jurca (“Politehnica” University of Timisoara - Romania) Cosmina Chişe (“Politehnica” University of Timisoara – Romania)
Austin, TX, USA, 2015-02-04 Towards a Performance Model Management Repository for Component-based Enterprise Applications Work-in-Progress Paper (WiP)

Austin, TX, USA, Towards a Performance Model Management Repository for Component-based Enterprise Applications Work-in-Progress Paper (WiP)
Framework for Model Creation and Generation of Representations DDI Lifecycle Moving Forward.

Framework for Model Creation and Generation of Representations DDI Lifecycle Moving Forward.
WIR FORSCHEN FÜR SIE The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures Franz Brosch.

WIR FORSCHEN FÜR SIE The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures Franz Brosch.
Review. A_DA_A Ball_A Ball_B player_A B_DB_A Ball_B Ball_A player_B Ball_A Ball_B A_A, B_DA_D, B_A Ball_A Ball_B CFSM Player_A  : X  S  S X A = {Ball_A}

Review. A_DA_A Ball_A Ball_B player_A B_DB_A Ball_B Ball_A player_B Ball_A Ball_B A_A, B_DA_D, B_A Ball_A Ball_B CFSM Player_A  : X  S  S X A = {Ball_A}
Huseyin Ergin and Eugene Syriani. PROBLEM (DIDN’T CHANGE) Development of model transformation is still an error-prone and hard task. One reason is the.

Huseyin Ergin and Eugene Syriani. PROBLEM (DIDN’T CHANGE) Development of model transformation is still an error-prone and hard task. One reason is the.
Quality Assurance for Component- Based Software Development Cai Xia (Mphil Term1) Supervisor: Prof. Michael R. Lyu 5 May, 2000.

Quality Assurance for Component- Based Software Development Cai Xia (Mphil Term1) Supervisor: Prof. Michael R. Lyu 5 May, 2000.
Performance analysis and prediction of physically mobile systems Point view: Computational devices including Mobile phones are expanding. Different infrastructure.

Performance analysis and prediction of physically mobile systems Point view: Computational devices including Mobile phones are expanding. Different infrastructure.

Similar presentations

Ads by Google