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

Slides:

Advertisements

Similar presentations

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

Advertisements

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.

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

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.

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.

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

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)

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.

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}

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.

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

An automatic tool flow for the combined implementation of multi-mode circuits Brahim Al Farisi, Karel Bruneel, João Cardoso, Dirk Stroobandt.

/ Copyright © Siemens AG All rights reserved. Corporate Technology Performance Prediction of Client-Server Systems by High-Level Abstraction Models.

KIT – University of the State of Baden-Wuerttemberg and National Research Center of the Helmholtz Association ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING.

David Pinney 7 November 2013 Open Modeling Framework.

SOA-13: Introduction to DataXtend ® Semantic Integrator (DX SI) Abstract data management from the application level using a common data model.

An Autonomic Framework in Cloud Environment Jiedan Zhu Advisor: Prof. Gagan Agrawal.

A Comparative Study of the Linux and Windows Device Driver Architectures with a focus on IEEE1394 (high speed serial bus) drivers Melekam Tsegaye

A performance evaluation approach openModeller: A Framework for species distribution Modelling.

Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering

August/2007 Helton Souza Lima SBCARS 1 Automatic Generation of Platform Independent Built-in Contract Testers Helton Souza Lima Franklin Ramalho Patricia.

Model-Driven Generation of Performance Prototypes Steffen Becker FZI, Karlsruhe Tobias Dencker U Karlsruhe Jens Happe U Oldenburg DFG-Project PALLADIO.

Model-Driven Engineering for Development-Time QoS Validation of Component-based Software Systems James Hill, Sumant Tambe & Aniruddha Gokhale Vanderbilt.

I-Path : Network Transparency Project Shigeki Goto* Akihiro Shimoda*, Ichiro Murase* Dai Mochinaga**, and Katsushi Kobayashi*** 1 * Waseda University **

“DECISION” PROJECT “DECISION” PROJECT INTEGRATION PLATFORM CORBA PROTOTYPE CAST J. BLACHON & NGUYEN G.T. INRIA Rhône-Alpes June 10th, 1999.

Issues in (Financial) High Performance Computing John Darlington Director Imperial College Internet Centre Fast Financial Algorithms and Computing 4th.

1 A Model-Driven Approach For Information System Migration Raymonde Le Delliou 1, Nicolas Ploquin 2, Mariano Belaunde 3, Reda Bendraou 4, Louis Féraud.

Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.

Layered Queuing Network Solver Navdeep Kaur Kapoor Department of Systems and Computer Engineering March 6, 2008.

Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.

CropMetrics – data management service For more advanced precision irrigation prescriptions.

1 Unobtrusive Performance Analysis – Where is the QoS in TAPAS? University College London James Skene –

Laboratory of Model Driven Engineering for Embedded Systems An Execution Framework for MARTE-based Models UML&AADL’2008 workshop Belfast, Northern Ireland.

PCM Refactoring Philipp, Michael, Daria, Axel, Steffen, Matthias.

CUHK Learning-Based Power Management for Multi-Core Processors YE Rong Nov 15, 2011.

MROrder: Flexible Job Ordering Optimization for Online MapReduce Workloads School of Computer Engineering Nanyang Technological University 30 th Aug 2013.

OOPSLA workshop on Domain-Specific Visual Languages 1 Juha-Pekka Tolvanen, Steven Kelly, Jeff Gray, Kalle Lyytinen.

Developing Product Line Components Jan Bosch Professor of Software Engineering University of Groningen, Netherlands

The Spoofax Language Workbench Rules for Declarative specification of language and IDEs Lennart C. L. Kats and Eelco Visser Delft University of Technology.

Software Engineering Introduction.

03/03/051 Performance Engineering of Software and Distributed Systems Research Activities at IIT Bombay Varsha Apte March 3 rd, 2005.

An Unstructured Semantic Mesh Definition Suitable for Finite Element Method Marek Gayer, Hannu Niemistö and Tommi Karhela

Ontology-Based Interoperability Service for HL7 Interfaces Implementation Carolina González, Bernd Blobel and Diego López eHealth Competence Center, Regensurg.

From UML to Performance Models 29 June 2004 Dorina C. Petriu, Gordon Gu page 1 From UML to Performance Models: High Level View Dorina C. Petriu Gordon.

Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.

1 4th of October, 2006 © ATHENA Consortium 2006 B5 EADS CCR piloting Nicolas Figay, EADS Flora Robin, EADS ATHENA Intermediate Review October 2006.

Design Pattern Support based on principles of model driven development Zihao Zhao.

Aspect-oriented Code Generation Approaches Abid Mehmood & Dayang N. A. Jawawi Department of Software Engineering Faculty of Computer Science and Information.

Solving Explicit Dependencies for Architectural Performance Models

Software Design and Architecture

Wonderware and Termis integration

i-Path : Network Transparency Project

Design pattern for cloud Application

PerOpteryx Automatically Improve Software Architecture Models for Performance, Reliability, and Costs using Evolutionary Algorithms Anne Martens Karlsruhe.

The Vision of Self-Aware Performance Models

What is Software? Software is: (1) instructions (computer programs) that when executed provide desired features, function, and performance; (2) data structures.

Automated Analysis and Code Generation for Domain-Specific Models

Presented By: Darlene Banta

Process for Organising Software Development Activities

Towards Integrating Java EE into ProtoCom

Modeling of Parametric Dependencies for Performance Prediction of Component-based Software Systems at Run-time Simon Eismann, Jürgen Walter, Joakim Kistowski,

Presentation transcript:

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

Heiko Koziolek2PCM2LQN: Model-Transformation from Palladio to LQN

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, …

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

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

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

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

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

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

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

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

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

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

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

Model PCM System Model PCM RDSEFF

Select LQN Solver Configure LQN Solver Start Model Transformation and Solution

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

View LQN Solver Output

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

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

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

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