{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:51:21Z","timestamp":1742914281054,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030851712"},{"type":"electronic","value":"9783030851729"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-85172-9_5","type":"book-chapter","created":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T23:04:46Z","timestamp":1629327886000},"page":"83-104","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Compositional Safe Approximation of Response Time Distribution of Complex Workflows"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Reali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,19]]},"reference":[{"issue":"01","key":"5_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WM Van der Aalst","year":"1998","unstructured":"Van der Aalst, W.M.: The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-54792-8_16","volume-title":"Principles of Security and Trust","author":"F Arnold","year":"2014","unstructured":"Arnold, F., Hermanns, H., Pulungan, R., Stoelinga, M.: Time-dependent analysis of attacks. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 285\u2013305. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54792-8_16"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1287\/opre.37.3.478","volume":"37","author":"F Baccelli","year":"1989","unstructured":"Baccelli, F., Makowski, A.M.: Multidimensional stochastic ordering and associated random variables. Oper. Res. 37(3), 478\u2013487 (1989)","journal-title":"Oper. Res."},{"issue":"3","key":"5_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-66335-7_2","volume-title":"Quantitative Evaluation of Systems","author":"M Biagi","year":"2017","unstructured":"Biagi, M., Carnevali, L., Paolieri, M., Papini, T., Vicario, E.: Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes. In: Bertrand, N., Bortolussi, L. (eds.) QEST 2017. LNCS, vol. 10503, pp. 20\u201335. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66335-7_2"},{"key":"5_CR6","unstructured":"Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Proceedings of International Computer Performance and Dependability Symposium, pp. 124\u2013133 (1995)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bruneo, D., Distefano, S., Longo, F., Scarpa, M.: QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets. In: Proceedings of IPDPS, pp. 1\u201312. IEEE (2010)","DOI":"10.1109\/IPDPS.2010.5470391"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: QoS-aware replanning of composite web services. In: Proceedings of IEEE International Conference on Web Services, pp. 121\u2013129. IEEE (2005)","DOI":"10.1109\/ICWS.2005.96"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L Carnevali","year":"2009","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans. Soft. Eng. 35(2), 178\u2013194 (2009)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Reali, R., Vicario, E.: Compositional evaluation of stochastic workflows for response time analysis of composite web services. In: Proceedings of the ACM\/SPEC International Conference on Performance Engineering, pp. 177\u2013188 (2021)","DOI":"10.1145\/3427921.3450250"},{"issue":"7","key":"5_CR11","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Soft. Eng. 20(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"5_CR12","unstructured":"Curbera, F., et al.: Business process execution language for web services (2002)"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"DL Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 197\u2013212. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-52148-8_17"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Gias, A.U., van Hoorn, A., Zhu, L., Casale, G., D\u00fcllmann, T.F., Wurster, M.: Performance engineering for microservices and serverless applications: the radon approach. In: Companion of the ACM\/SPEC International Conference on Performance Engineering, pp. 46\u201349 (2020)","DOI":"10.1145\/3375555.3383120"},{"issue":"7\u20138","key":"5_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perf. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perf. Eval."},{"key":"5_CR16","unstructured":"Jensen, E.D., Locke, C.D., Tokuda, H.: A time-driven scheduling model for real-time operating systems. In: Rtss, vol. 85, pp. 112\u2013122 (1985)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: computing control regions in linear time. In: ACM Conference on Programming Language Design and Implementation (PLDI), pp. 171\u2013185. ACM (1994)","DOI":"10.1145\/773473.178258"},{"key":"5_CR18","first-page":"597","volume":"11","author":"TG de Kok","year":"2003","unstructured":"de Kok, T.G., Fransoo, J.C.: Planning supply chain operations: definition and comparison of planning concepts. Handb. Oper. Res. Manage. Sci. 11, 597\u2013675 (2003)","journal-title":"Handb. Oper. Res. Manage. Sci."},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-319-10885-8_9","volume-title":"Computer Performance Engineering","author":"L Koren\u010diak","year":"2014","unstructured":"Koren\u010diak, L., Kr\u010d\u00e1l, J., \u0158eh\u00e1k, V.: Dealing with zero density using piecewise phase-type approximation. In: Horv\u00e1th, A., Wolter, K. (eds.) EPEW 2014. LNCS, vol. 8721, pp. 119\u2013134. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10885-8_9"},{"key":"5_CR20","unstructured":"Kulkarni, V.: Modeling and Analysis of Stochastic Systems. Chapman & Hall (1995)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1109\/18.61115","volume":"37","author":"J Lin","year":"1991","unstructured":"Lin, J.: Divergence measures based on the Shannon entropy. IEEE Trans. Inf. Theory 37(1), 145\u2013151 (1991)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Liu, Y., Zheng, Z., Zhang, J.: Markov model of web services for their performance based on phase-type expansion. In: Proceedings of DASC-PICOM-CBDCOM-CYBERSCITECH, pp. 699\u2013704. IEEE (2019)","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/CyberSciTech.2019.00132"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Nielsen, F.: On a generalization of the Jensen-Shannon divergence and the JS-symmetrization of distances relying on abstract means. arXiv preprint arXiv:1904.04017 (2019)","DOI":"10.3390\/e21050485"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/TSE.2019.2917202","volume":"47","author":"M Paolieri","year":"2021","unstructured":"Paolieri, M., Biagi, M., Carnevali, L., Vicario, E.: The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans. Soft. Eng. 47, 1211\u20131225 (2021)","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1109\/TSE.2015.2468717","volume":"42","author":"M Paolieri","year":"2016","unstructured":"Paolieri, M., Horv\u00e1th, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Softw. Eng. 42(2), 153\u2013169 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Pesu, T., Kettunen, J., Knottenbelt, W.J., Wolter, K.: Three-way optimisation of response time, subtask dispersion and energy consumption in split-merge systems. In: Proceedings of VALUETOOLS 2017, pp. 244\u2013251. ACM (2017)","DOI":"10.1145\/3150928.3150934"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Rahman, J., Lama, P.: Predicting the end-to-end tail latency of containerized microservices in the cloud. In: 2019 IEEE International Conference on Cloud Engineering (IC2E), pp. 200\u2013210. IEEE (2019)","DOI":"10.1109\/IC2E.2019.00034"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2015.04.004","volume":"54","author":"A Rogge-Solti","year":"2015","unstructured":"Rogge-Solti, A., Weske, M.: Prediction of business process durations using non-Markovian stochastic Petri nets. Inf. Syst. 54, 1\u201314 (2015)","journal-title":"Inf. Syst."},{"key":"5_CR29","unstructured":"Russell, N., Ter Hofstede, A.H., Van Der Aalst, W.M., Mulyar, N.: Workflow control-flow patterns: a revised view. BPM Center Report BPM-06-22, pp. 06\u201322. BPMcenter.org (2006)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Sassoli, L., Vicario, E.: Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. In: Proceedings of International Conference on Quantitative Evaluation of Systems. pp. 59\u201368. IEEE (2007)","DOI":"10.1109\/QEST.2007.23"},{"key":"5_CR31","unstructured":"SIRIO Library (2020). https:\/\/github.com\/oris-tool\/sirio"},{"issue":"4","key":"5_CR32","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"KS Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: Sharpe at the age of twenty two. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 52\u201357 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Van Eyk, E., Iosup, A., Abad, C.L., Grohmann, J., Eismann, S.: A SPEC RG cloud group\u2019s vision on the performance challenges of FaaS cloud architectures. In: Companion of the 2018 ACM\/SPEC International Conference on Performance Engineering, pp. 21\u201324 (2018)","DOI":"10.1145\/3185768.3186308"},{"issue":"9","key":"5_CR34","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J Vanhatalo","year":"2009","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9), 793\u2013818 (2009)","journal-title":"Data Knowl. Eng."},{"issue":"8","key":"5_CR35","doi-asserted-by":"publisher","first-page":"728","DOI":"10.1109\/32.940727","volume":"27","author":"E Vicario","year":"2001","unstructured":"Vicario, E.: Static analysis and dynamic steering of time-dependent systems. IEEE Trans. Softw. Eng. 27(8), 728\u2013748 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Zheng, Z., Lyu, M.R.: WSPred: a time-aware personalized QoS prediction framework for Web services. In: IEEE International Symposium on Software Reliability Engineering, pp. 210\u2013219. IEEE (2011)","DOI":"10.1109\/ISSRE.2011.17"},{"issue":"3","key":"5_CR37","doi-asserted-by":"publisher","first-page":"448","DOI":"10.1109\/TSC.2015.2475957","volume":"10","author":"Z Zheng","year":"2015","unstructured":"Zheng, Z., Trivedi, K.S., Qiu, K., Xia, R.: Semi-Markov models of composite web services for their performance, reliability and bottlenecks. IEEE Trans. Serv. Comput. 10(3), 448\u2013460 (2015)","journal-title":"IEEE Trans. Serv. Comput."}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-85172-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T18:09:01Z","timestamp":1634839741000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-85172-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030851712","9783030851729"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-85172-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"19 August 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 August 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.qest.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5-6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 keynote paper is also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}