Computer Science

Computer Science Colloquium

Dr. CHEN LI
Department of Computing South Kensington Campus, London

An Approach to Transforming UML Model to Layered Queueing Networks Model for Performance Analysis of Real-Time Distributed Systems

Fri 01.09.2017, 10:00, 60 minutes
Computer Science Building,(Science Park 3) room 218

Abstract

Motivated by the problem of detecting software performance anti-patterns in real-time distributed systems, we proposed an approach to reflecting the runtime monitoring information, especially performance metrics, back into design time models to reason about system performance improvements. To be specific, we transform software architecture models specified through UML model annotated with DICE and MARTE performance annotations into Layered Queueing Network (LQN) performance model, which are analytical performance models used to capture contention across multiple software layers. In particular, we generalize an existing transformation based on the Epsilon framework to generate LQNs in a format supported by existing solvers (e.g., LQNS). After solving the performance model, the results can be used for performance anti-patterns detection and generating refactoring decisions.

Bio

Chen Li is a researcher associate in the Analysis, Engineering, Simulation & Optimization of Performance group in Imperial College London, London, UK. He received the B.Sc. degree in computer science and technology from University of Science and Technology of China in 2003, the M.Sc. degree in computer applications technology from the University of Shanghai for Science and Technology in 2010, and the Ph. D. degree in computer science and technology from Shanghai Jiao Tong University in 2015. His research interests are in model-driven software engineering with a focus on modelling, verification, model transformation and performance analysis of large and complex software systems (e.g., Big-Data oriented systems, systems of system), and applied formal methods
Invited by Institute for Software Systems Engineering

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET