63090 20171120125810.0 10.1109/IRI.2017.64 COMPON-2017-0128 spa 0000-0001-5111-8357 Requeno Jarabo, José Ignacio Universidad de Zaragoza, España Performance Analysis of Apache Storm Applications using Stochastic Petri Nets 2017 Access copy available to the general public Unrestricted Real-time data-processing applications, such as those developed using Apache Storm, need to address highly demanding performance requirements. Engineers should assess these performance requirements while they configure their Storm designs to specific execution contexts, i.e., multi-user private or public cloud infrastructures. To this end, we propose a quality-driven framework for Apache Storm, that covers the following steps. The design with UML, using a novel profile for Apache Storm, allowing performance metrics definition. The transformation of the design into a performance model, con- cretely stochastic Petri nets. Last but not least, the simulation of the performance model and the retrieval of performance results. info:eu-repo/semantics/openAccess by-nc-nd http://creativecommons.org/licenses/by-nc-nd/3.0/es/ Comunicación Apache Storm; Performance analysis; Petri net 0000-0002-8917-6584 Merseguer Hernáiz, José Javier Universidad de Zaragoza, España 0000-0002-2605-6243 Bernardi, Simona Centro Universitario de la Defensa, España San Diego (USA) The 5th IEEE International Workshop on Formal Methods Integration 987724 http://zaguan.unizar.es/record/63090/files/iri2017.pdf oai:zaguan.unizar.es:63090 comunicaciones-ponencias COMPON