Resumen: Modelling plays an important role in the development of software applications, in particular for the assessment of non functional requirements 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 performance model that is a good representation of the sys- tem under analysis. From an UML-based system design we get automatically a normative Petri net model, which for- mally represents the system supposed behaviour, by applying model-to-model (M2M) transformation 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 Stochas- tic Petri Net (GSPN) model. The proposed approach has been applied to a customizable Integrated Port Operations Management System: POSIDONIA Operations. The perfor- mance model has been used to analyse the scalability of the product considering different deployment configurations. Idioma: Inglés DOI: 10.1145/2945408.2945413 Año: 2016 Publicado en: QUDOS-2016 [Proceedings of the 2nd International Workshop on Quality-Aware DevOps] ISBN: 978-1-4503-4411-1 (2016), 24-29 ISSN: Financiación: info:eu-repo/grantAgreement/ES/DGA/T27 Financiación: info:eu-repo/grantAgreement/EUR/H2020/DICE-644869 Financiación: info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R Tipo y forma: Congress (PostPrint) Área (Departamento): Lenguajes y Sistemas Informáticos (Departamento de Informática e Ingeniería de Sistemas)