{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:57:59Z","timestamp":1755838679484,"version":"3.37.3"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T00:00:00Z","timestamp":1521590400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Horizon 2020 Research and Innovation","award":["644869"],"award-info":[{"award-number":["644869"]}]},{"name":"Spanish Ministry of Innovation and Competitiveness","award":["TIN2014-58457-R"],"award-info":[{"award-number":["TIN2014-58457-R"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s10664-018-9606-9","type":"journal-article","created":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T07:41:41Z","timestamp":1521618101000},"page":"3394-3441","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A systematic approach for performance assessment using process mining"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2605-6243","authenticated-orcid":false,"given":"Simona","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"Juan L.","family":"Dom\u00ednguez","sequence":"additional","affiliation":[]},{"given":"Abel","family":"G\u00f3mez","sequence":"additional","affiliation":[]},{"given":"Christophe","family":"Joubert","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Merseguer","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Perez-Palacin","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 I.","family":"Requeno","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Romeu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,21]]},"reference":[{"key":"9606_CR1","unstructured":"Adriansyah A, Buijs J (2012) Mining process performance from event logs: the BPI Challenge 2012 case study. BPM reports, no. 1215. http:\/\/repository.tue.nl\/91892e24-93b6-4b38-bae5-e4394e171bf7"},{"key":"9606_CR2","unstructured":"AISencoding (2012) Automatic Identification System - Encoding Guide. http:\/\/www.uscg.mil\/hq\/cg5\/TVNCOE\/Documents\/links\/AIS.EncodingGuide.pdf , accessed 04\/29\/2016"},{"key":"9606_CR3","unstructured":"AISreceiver (2016) Installation and Quick Reference Guide - SRL-200\/G AIS Receiver. http:\/\/www.comarsystems.com\/brochures\/Installationaccessed04\/29\/2016"},{"key":"9606_CR4","unstructured":"AIVM\/AIVDO (2015) AIVDM\/AIVDO protocol decoding. http:\/\/catb.org\/gpsd\/AIVDM.html , accessed 04\/29\/2016"},{"key":"9606_CR5","volume-title":"Modelling with Generalized Stochastic Petri Nets, 1st edn","author":"M Ajmone-Marsan","year":"1994","unstructured":"Ajmone-Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1994) Modelling with Generalized Stochastic Petri Nets, 1st edn. Wiley, New York"},{"key":"9606_CR6","volume-title":"Simulation Modeling and Analysis","author":"ML Averill","year":"2015","unstructured":"Averill ML (2015) Simulation Modeling and Analysis. McGraw-Hill, New York"},{"issue":"5","key":"9606_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/TSE.2004.9","volume":"30","author":"S Balsamo","year":"2004","unstructured":"Balsamo S, Di Marco A, Inverardi P, Simeoni M (2004) Model-based performance prediction in software development: A survey. IEEE Trans Softw Eng 30(5):295\u2013310","journal-title":"IEEE Trans Softw Eng"},{"key":"9606_CR8","volume-title":"DevOps: A software architect\u2019s perspective","author":"L Bass","year":"2015","unstructured":"Bass L, Weber I, Zhu L (2015) DevOps: A software architect\u2019s perspective. Addison-Wesley Professional, Boston"},{"issue":"1","key":"9606_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jss.2008.03.066","volume":"82","author":"S Becker","year":"2009","unstructured":"Becker S, Koziolek H, Reussner R (2009) The Palladio Component Model for Model-driven Performance Prediction. J Syst Softw 82(1):3\u201322","journal-title":"J Syst Softw"},{"issue":"1","key":"9606_CR10","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/TII.2010.2098415","volume":"7","author":"S Bernardi","year":"2011","unstructured":"Bernardi S, Campos J, Merseguer J (2011) Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques. IEEE Trans Ind Inf 7(1):90\u2013104","journal-title":"IEEE Trans Ind Inf"},{"issue":"1","key":"9606_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2379776.2379778","volume":"45","author":"S Bernardi","year":"2012","unstructured":"Bernardi S, Merseguer J, Petriu DC (2012) Dependability modeling and analysis of software systems specified with UML. ACM Comput Surv 45(1):1\u201348","journal-title":"ACM Comput Surv"},{"key":"9606_CR12","doi-asserted-by":"crossref","unstructured":"Br\u00fcnink M, Rosenblum DS (2016) Mining performance specifications. In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM, pp 39\u201349","DOI":"10.1145\/2950290.2950314"},{"key":"9606_CR13","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.jss.2015.08.030","volume":"123","author":"A Brunnert","year":"2017","unstructured":"Brunnert A, Krcmar H (2017) Continuous performance evaluation and capacity planning using resource profiles for enterprise applications. J Syst Softw 123:239\u2013262","journal-title":"J Syst Softw"},{"key":"9606_CR14","unstructured":"Bugzilla (2017) Papyrus Bug List https:\/\/bugs.eclipse.org\/bugs\/buglist.cgi?bug_status=UNCONFIRMED&bug_status=NEW&bug_status=ASSIGNED&bug_status=REOPENED&bug_status=VERIFIED&classification=Modeling&component=Diagram&f1=short_desc&f2=short_desc&o1=substring&o2=substring&product=Papyrus&query_format=advanced&v1=Sequence&v2=Diagram \u2013 last accessed Jan. 2017"},{"key":"9606_CR15","doi-asserted-by":"crossref","unstructured":"Casale G, Ardagna D, Artac M, Barbier F, Nitto ED, Henry A, Iuhasz G, Joubert C, Merseguer J, Munteanu V I, Perez JF, Petcu D, Rossi M, Sheridan C, Spais I, Vladuic D (2015) DICE: Quality-Driven Development of Data-Intensive Cloud Applications. In: 7th IEEE\/ACM International Workshop on Modeling in Software Engineering, MiSE 2015, Florence, Italy, May, vol 16-17, pp 78\u201383","DOI":"10.1109\/MiSE.2015.21"},{"key":"9606_CR16","unstructured":"Celonis (2011) Celonis PI. https:\/\/www.celonis.com"},{"key":"9606_CR17","first-page":"55","volume-title":"Lecture Notes in Business Information Processing","author":"Paolo Ceravolo","year":"2017","unstructured":"Ceravolo P, Damiani E, Torabi M, Barbon S (2017) Toward a new generation of log pre-processing methods for process mining. In: International Conference on Business Process Management, Springer, pp 55\u201370"},{"key":"9606_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4","volume-title":"Model-based software performance analysis","author":"V Cortellessa","year":"2011","unstructured":"Cortellessa V, Marco AD, Inverardi P (2011) Model-based software performance analysis, 1st edn. Springer Publishing Company Incorporated, Berlin","edition":"1st edn."},{"key":"9606_CR19","unstructured":"DICE-D3.1 (2016) Deliverable 3.1: Transformations to Analysis Models. http:\/\/wp.doc.ic.ac.uk\/dice-h2020\/wp-content\/uploads\/sites\/75\/2016\/08\/D3.1_Transformations-to-analysis-models.pdf"},{"key":"9606_CR20","unstructured":"DICE-D1.6 (2017) Deliverable 1.6: DICE Framework. http:\/\/wp.doc.ic.ac.uk\/dice-h2020\/wp-content\/uploads\/sites\/75\/2017\/08\/D1.6_DICE-framework-Final-version.pdf"},{"key":"9606_CR21","unstructured":"Dipartimento di informatica Universit\u00e0 di Torino (2016) GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. http:\/\/www.di.unito.it\/greatspn\/index.html - accessed 01\/05\/2016"},{"issue":"3","key":"9606_CR22","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/spe.1000","volume":"41","author":"A Diwan","year":"2011","unstructured":"Diwan A, Hauswirth M, Mytkowicz T, Sweeney PF (2011) TraceAnalyzer: A system for processing performance traces. Soft Practice and Experience 41(3):267\u2013282","journal-title":"Soft Practice and Experience"},{"key":"9606_CR23","doi-asserted-by":"crossref","unstructured":"Ferme V, Pautasso C (2017) Towards holistic continuous software performance assessment. In: Proceedings of the 8th ACM\/SPEC on International Conference on Performance Engineering Companion, ACM, New York, NY, USA, ICPE \u201917 Companion, pp 159\u2013164","DOI":"10.1145\/3053600.3053636"},{"key":"9606_CR24","unstructured":"Foundation TE (2017) Eclipse - The Eclipse Foundation open source community website. https:\/\/eclipse.org\/ , last accessed Jan. 2017"},{"issue":"6","key":"9606_CR25","doi-asserted-by":"publisher","first-page":"1967","DOI":"10.1007\/s10664-013-9297-1","volume":"19","author":"E G\u00f3mez-Mart\u00ednez","year":"2014","unstructured":"G\u00f3mez-Mart\u00ednez E, Gonzalez-Cabero R, Merseguer J (2014) Performance assessment of an architecture with adaptative interfaces for people with special needs. Empir Softw Eng 19(6):1967\u20132018. https:\/\/doi.org\/10.1007\/s10664-013-9297-1","journal-title":"Empir Softw Eng"},{"key":"9606_CR26","unstructured":"G\u00f3mez A, Joubert C, Merseguer J (2016) A tool for assessing performance requirements of data-intensive applications. In: Proceedings of the XXIV National Conference of Concurrency and Distributed Systems (JCDS 2016), pp 159\u2013169. https:\/\/github.com\/dice-project\/DICE-Simulation , accessed 01\/23\/2017"},{"key":"9606_CR27","first-page":"40","volume":"940","author":"CW G\u00fcnther","year":"2012","unstructured":"G\u00fcnther CW, Rozinat A (2012) Disco: Discover Your Processes. BPM (Demos) 940:40\u201344","journal-title":"BPM (Demos)"},{"key":"9606_CR28","unstructured":"Herna\u0307ndez S, van Zelst SJ, Ezpeleta J, van der Aalst W (2015) Handling big(ger) logs: Connecting ProM 6 to apache hadoop. In: Proceedings of the BPM Demo Session 2015, CEUR-WS.org, vol 1418 , pp 80\u201384"},{"key":"9606_CR29","doi-asserted-by":"crossref","unstructured":"Huber N, Walter J, B\u00e4hr M, Kounev S (2015) Model-based autonomic and performance-aware system adaptation in heterogeneous resource environments: A case study. In: International Conference on Cloud and Autonomic Computing, pp 181\u2013191","DOI":"10.1109\/ICCAC.2015.27"},{"issue":"5","key":"9606_CR30","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1109\/TSE.2016.2613863","volume":"43","author":"N Huber","year":"2017","unstructured":"Huber N, Brosig F, Spinner S, Kounev S, B\u00e4hr M (2017) Model-based self-aware performance and resource management using the descartes modeling language. IEEE Trans Softw Eng 43(5):432\u2013452","journal-title":"IEEE Trans Softw Eng"},{"key":"9606_CR31","unstructured":"ISO (2008) Systems and software engineering \u2013 High-level Petri nets \u2013 Part 2: Transfer format. ISO\/IEC 15909-2:2011, International Organization for Standardization, Geneva, Switzerland"},{"key":"9606_CR32","unstructured":"Joishi J, Sureka A (2015) Vishleshan: performance comparison and programming process mining algorithms in graph-oriented and relational database query languages. In: Proceedings of the 19th International Database Engineering & Applications Symposium. ACM, pp 192\u2013197"},{"key":"9606_CR33","unstructured":"Joubert C, Montesinos M, Sanz J (2014) A Comprehensive Port Operations Management System. ERCIM News 2014(97). http:\/\/ercim-news.ercim.eu\/en97\/special\/a-comprehensive-port-operations-management-system http:\/\/ercim-news.ercim.eu\/en97\/special\/a-comprehensive-port-operations-management-system"},{"issue":"7","key":"9606_CR34","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1109\/TSE.2006.69","volume":"32","author":"S Kounev","year":"2006","unstructured":"Kounev S (2006) Performance modeling and evaluation of distributed component-based systems using queueing petri nets. IEEE Trans Softw Eng 32 (7):486\u2013502","journal-title":"IEEE Trans Softw Eng"},{"issue":"7","key":"9606_CR35","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/MC.2016.198","volume":"49","author":"S Kounev","year":"2016","unstructured":"Kounev S, Huber N, Brosig F, Zhu X (2016) A model-based approach to designing self-aware it systems and infrastructures. IEEE Comput 49(7):53\u201361. https:\/\/doi.org\/10.1109\/MC.2016.198","journal-title":"IEEE Comput"},{"key":"9606_CR36","volume-title":"Quantitative system performance: Computer system analysis using queueing network models","author":"ED Lazowska","year":"1984","unstructured":"Lazowska ED, Zahorjan J, Graham GS, Sevcik KC (1984) Quantitative system performance: Computer system analysis using queueing network models. Prentice-Hall, Inc, Upper Saddle River"},{"key":"9606_CR37","doi-asserted-by":"crossref","unstructured":"Lo\u0307pez-Grao J, Merseguer J, Campos J (2004) From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp 25\u201336","DOI":"10.1145\/974044.974048"},{"key":"9606_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-6230-9","volume-title":"Situation Awareness with Systems of Systems","year":"2013","unstructured":"Maggi F M, Mooij A J, Van der Aalst W (2013) Analyzing vessel behavior using process mining. In: van de Laar P, Tretmans J, Borth M (eds) Situation Awareness with Systems of Systems. Springer, pp 133\u2013148. https:\/\/doi.org\/10.1007\/978-1-4614-6230-9"},{"key":"9606_CR39","volume-title":"Performance by design: computer capacity planning by example","author":"DA Menasce","year":"2004","unstructured":"Menasce DA, Almeida VA, Dowdy LW, Dowdy L (2004) Performance by design: computer capacity planning by example. Prentice Hall Professional, Upper Saddle River"},{"key":"9606_CR40","unstructured":"NIST\/SEMATECH (2013) e-Handbook of Statistical Methods. http:\/\/www.itl.nist.gov\/div898\/handbook\/ . Accessed 10\/15\/2016"},{"key":"9606_CR41","unstructured":"OMG (2011) UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems, Version 1.1. Tech. rep., Object Management Group. http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"9606_CR42","unstructured":"PNMLframework (2017) PNML Framework. https:\/\/github.com\/lip6\/pnmlframework"},{"key":"9606_CR43","unstructured":"Prodevelop (1993) Prodevelop- Integrating Tech. https:\/\/www.prodevelop.es\/en"},{"key":"9606_CR44","unstructured":"ProM Tools (2017) ProM Tools. http:\/\/www.promtools.org\/doku.php"},{"key":"9606_CR45","unstructured":"QPRprocessAnalyzer (2011) QPR process analyzer. https:\/\/www.qpr.com"},{"key":"9606_CR46","unstructured":"RapidMiner (2018) Rapid miner. https:\/\/rapidminer.com\/"},{"key":"9606_CR47","unstructured":"RapidProM (2018) RapidProM: Bringing process mining to analytic workflows. http:\/\/www.rapidprom.org\/"},{"key":"9606_CR48","doi-asserted-by":"crossref","unstructured":"Rubin VA, Mitsyuk AA, Lomazova IA, van der Aalst WM (2014) Process mining can be applied to software too!. In: Proceedings of the 8th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, ACM","DOI":"10.1145\/2652524.2652583"},{"issue":"2","key":"9606_CR49","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2008","unstructured":"Runeson P, H\u00f6st M (2008) Guidelines for conducting and reporting case study research in software engineering. Empir Softw Eng 14(2):131. https:\/\/doi.org\/10.1007\/s10664-008-9102-8","journal-title":"Empir Softw Eng"},{"key":"9606_CR50","volume-title":"The java developer\u2019s guide to eclipse","author":"S Shavor","year":"2003","unstructured":"Shavor S, D\u2019Anjou J, Fairbrother S, Kehn D, Kellerman J, McCarthy P (2003) The java developer\u2019s guide to eclipse. Addison-Wesley Longman Publishing Co., Inc., Boston"},{"key":"9606_CR51","volume-title":"Performance Engineering of Software Systems, 1st edn","author":"CU Smith","year":"1990","unstructured":"Smith CU (1990) Performance Engineering of Software Systems, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston"},{"key":"9606_CR52","volume-title":"Williams LG","author":"CU Smith","year":"2002","unstructured":"Smith CU (2002) Williams LG. Addison Wesley Longman Publishing Co., Inc., Redwood City"},{"issue":"1","key":"9606_CR53","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s10515-017-0214-5","volume":"25","author":"A Tarvo","year":"2018","unstructured":"Tarvo A, Reiss SP (2018) Automatic performance prediction of multithreaded programs: a simulation approach. Autom Softw Eng 25(1):101\u2013155","journal-title":"Autom Softw Eng"},{"key":"9606_CR54","unstructured":"The Eclipse Foundation (2016) Papyrus. https:\/\/eclipse.org\/papyrus\/"},{"key":"9606_CR55","unstructured":"UML2 (2015) Unified Modeling Language: Infrastructure. Version 2.5, OMG document: formal\/2015- 03-01"},{"key":"9606_CR56","doi-asserted-by":"crossref","unstructured":"Van Dongen BF et al (2005) The ProM framework: A new era in process mining tool support. In: Applications and Theory of Petri Nets 2005, Springer, pp 444\u2013454","DOI":"10.1007\/11494744_25"},{"key":"9606_CR57","doi-asserted-by":"crossref","unstructured":"Walter J, van Hoorn A, Koziolek H, Okanovic D, Kounev S (2016) Asking \u201cWhat\u201d?, Automating the \u201cHow\u201d?: The Vision of Declarative Performance Engineering. In: Proceedings of the 7th ACM\/SPEC International Conference on Performance Engineering, ICPE 2016, Delft, The Netherlands, March 12-16, 2016, pp 91\u201394","DOI":"10.1145\/2851553.2858662"},{"key":"9606_CR58","doi-asserted-by":"crossref","unstructured":"Walter J, Stier C, Koziolek H, Kounev S (2017) An expandable extraction framework for architectural performance models. In: Proceedings of the 8th ACM\/SPEC on International Conference on Performance Engineering Companion, ACM, New York, NY, USA, ICPE \u201917 Companion, pp 165\u2013170","DOI":"10.1145\/3053600.3053634"},{"key":"9606_CR59","unstructured":"XES (2016) Extensible Event Stream. IEEE Task FOrce on Process Mining, [Online; accessed 18-April-2016]"},{"issue":"4","key":"9606_CR60","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1145\/2644865.2541968","volume":"49","author":"X Yu","year":"2014","unstructured":"Yu X, Han S, Zhang D, Xie T (2014) Comprehending performance from real-world execution traces: A device-driver case. ACM SIGPLAN Notices 49(4):193\u2013206","journal-title":"ACM SIGPLAN Notices"},{"key":"9606_CR61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process mining - discovery, conformance and enhancement of business processes","author":"W Aalst Van der","year":"2011","unstructured":"Van der Aalst W (2011) Process mining - discovery, conformance and enhancement of business processes. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-642-19345-3"},{"key":"9606_CR62","unstructured":"Van der Aalst W (2014) Business intelligence: Third european summer school, eBISS 2013, Dagstuhl Castle, Germany, July 7-12, 2013, Tutorial Lectures. In: Springer International Publishing, chap Process Mining in the Large: A Tutorial, pp 33\u201376"},{"issue":"2","key":"9606_CR63","first-page":"182","volume":"2","author":"W Aalst Van der","year":"2012","unstructured":"Van der Aalst W, Adriansyah A, van Dongen B (2012) Replaying history on process models for conformance checking and performance analysis. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery 2(2):182\u2013192","journal-title":"Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-018-9606-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9606-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-018-9606-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,29]],"date-time":"2020-10-29T20:58:26Z","timestamp":1604005106000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-018-9606-9"}},"subtitle":["An industrial experience report"],"short-title":[],"issued":{"date-parts":[[2018,3,21]]},"references-count":63,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9606"],"URL":"https:\/\/doi.org\/10.1007\/s10664-018-9606-9","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"type":"print","value":"1382-3256"},{"type":"electronic","value":"1573-7616"}],"subject":[],"published":{"date-parts":[[2018,3,21]]},"assertion":[{"value":"21 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}