63091 20171107135358.0 doi 10.1145/2945408.2945413a COMPON-2017-0129 eng 0000-0002-2605-6243 Bernardi, Simona Centro Universitario de la Defensa, España A systematic approach for performance evaluation using process mining: the POSIDONIA Operations case study 2016 Access copy available to the general public Unrestricted 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. info:eu-repo/grantAgreement/ES/DGA/T27 info:eu-repo/grantAgreement/EUR/H2020/DICE-644869 This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No H2020 DICE-644869 info:eu-repo/grantAgreement/ES/MICINN/TIN2014-58457-R info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ Model-driven transformation; process mining; trace and log analysis; performance; Generalized Stochastic Petri Nets (GSPN); Unified Modeling Language (UML); data-intensive application Comunicación 0000-0001-5111-8357 Requeno Jarabo, José Ignacio Universidad de Zaragoza, España Joubert, Christophe Romeu, Alberto Saarbrücken, Germany (2016), 24-29 QUDOS-2016. Proceedings of the 2nd International Workshop on Quality-Aware DevOps 382565 http://zaguan.unizar.es/record/63091/files/requeno_2.pdf oai:zaguan.unizar.es:63091 comunicaciones-ponencias COMPON