Abstract: Modelling plays an important role in the development of software applications, in particular for the assessment of non-functional re- quirements such as performance. The value of a model depends on the level of alignment with the reality. In this paper, we propose a systematic approach to get a per- formance model that is a good representation of the system under analysis. From an UML-based system design we get automatically a normative Petri net model, which formally represents the system supposed behavior, by applying model-to-model (M2M) transfor- mation techniques. Then, a conformance checking technique is iteratively applied to align -from the qualitative point of view- the normative model and the data log until the required fitness threshold is not reached. Finally, a trace-driven simulation technique is used to enrich the aligned model with timing specification from the data log, then obtaining the performance Generalized Stochastic Petri Net (GSPN) model. The proposed approach has been applied to a customizable Inte- grated Port Operations Management System, POSIDONIA Opera- tions, where the performance model has been used to analyze the scalability of the product considering different deployment config- urations.

Idioma: Inglés

DOI: 10.1145/2945408.2945413a

Año: 2016

En: QUDOS-2016. Proceedings of the 2nd International Workshop on Quality-Aware DevOps (2016), 24-29

Financiación: info:eu-repo/grantAgreement/ES/DGA/T27
Financiación: info:eu-repo/grantAgreement/EUR/H2020/DICE-644869
Financiación: This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 DICE-644869
Financiación: info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R

Rights Reserved All rights reserved by journal editor

Este artículo se encuentra en las siguientes colecciones:
Communications and papers

 Record created 2017-10-20, last modified 2017-11-07

Download fulltext

Rate this document:

Rate this document:
(Not yet reviewed)