{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:41Z","timestamp":1771026761813,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":52,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,9]],"date-time":"2021-04-09T00:00:00Z","timestamp":1617926400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,9]]},"DOI":"10.1145\/3427921.3450250","type":"proceedings-article","created":{"date-parts":[[2021,4,10]],"date-time":"2021-04-10T07:37:01Z","timestamp":1618040221000},"page":"177-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services"],"prefix":"10.1145","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Reali","sequence":"additional","affiliation":[{"name":"University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"University of Florence, Firenze, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(03)00102-6"},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Performance and Reliability Modeling and Evaluation","author":"Amparore Elvio Gilberto","unstructured":"Elvio Gilberto Amparore , Gianfranco Balbo , Marco Beccuti , Susanna Donatelli , and Giuliana Franceschinis . 2016. 30 years of GreatSPN . In Principles of Performance and Reliability Modeling and Evaluation . Springer , 227--254. Elvio Gilberto Amparore, Gianfranco Balbo, Marco Beccuti, Susanna Donatelli, and Giuliana Franceschinis. 2016. 30 years of GreatSPN. In Principles of Performance and Reliability Modeling and Evaluation. Springer, 227--254."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.1011"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54792-8_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_2"},{"key":"e_1_3_2_1_8_1","volume-title":"Matching three moments with minimal acyclic phase type distributions. Stochastic models","author":"Bobbio Andrea","year":"2005","unstructured":"Andrea Bobbio , Andr\u00e1s Horv\u00e1th , and Mikl\u00f3s Telek . 2005. Matching three moments with minimal acyclic phase type distributions. Stochastic models , Vol. 21 , 2--3 ( 2005 ), 303--326. Andrea Bobbio, Andr\u00e1s Horv\u00e1th, and Mikl\u00f3s Telek. 2005. Matching three moments with minimal acyclic phase type distributions. Stochastic models, Vol. 21, 2--3 (2005), 303--326."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1995.395811"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2005.96"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.101"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1740954.1741063"},{"key":"e_1_3_2_1_14_1","volume-title":"Markov regenerative stochastic Petri nets. Performance evaluation","author":"Choi Hoon","year":"1994","unstructured":"Hoon Choi , Vidyadhar G Kulkarni , and Kishor S Trivedi . 1994. Markov regenerative stochastic Petri nets. Performance evaluation , Vol. 20 , 1--3 ( 1994 ), 337--357. Hoon Choi, Vidyadhar G Kulkarni, and Kishor S Trivedi. 1994. Markov regenerative stochastic Petri nets. Performance evaluation, Vol. 20, 1--3 (1994), 337--357."},{"key":"e_1_3_2_1_15_1","unstructured":"Francisco Curbera Yaron Goland Johannes Klein Frank Leymann Dieter Roller Satish Thatte and Sanjiva Weerawarana. 2002. Business process execution language for web services.  Francisco Curbera Yaron Goland Johannes Klein Frank Leymann Dieter Roller Satish Thatte and Sanjiva Weerawarana. 2002. Business process execution language for web services."},{"key":"e_1_3_2_1_16_1","volume-title":"Hybrid systems III. 1066","author":"Daws Conrado","unstructured":"Conrado Daws , Alfredo Olivero , Stavros Tripakis , and Sergio Yovine . 1995. The Tool KRONOS . In Hybrid systems III. 1066 , Springer . Conrado Daws, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. 1995. The Tool KRONOS. In Hybrid systems III. 1066, Springer."},{"key":"e_1_3_2_1_17_1","volume-title":"Planning supply chain operations: definition and comparison of planning concepts. Handbooks in operations research and management science","author":"de Kok Ton G","year":"2003","unstructured":"Ton G de Kok and Jan C Fransoo . 2003. Planning supply chain operations: definition and comparison of planning concepts. Handbooks in operations research and management science , Vol. 11 ( 2003 ), 597--675. Ton G de Kok and Jan C Fransoo. 2003. Planning supply chain operations: definition and comparison of planning concepts. Handbooks in operations research and management science, Vol. 11 (2003), 597--675."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. Int. Conf. on Computer Aided Verification. Springer, 197--212","author":"Dill David L","year":"1989","unstructured":"David L Dill . 1989 . Timing assumptions and verification of finite-state concurrent systems . In Proc. Int. Conf. on Computer Aided Verification. Springer, 197--212 . David L Dill. 1989. Timing assumptions and verification of finite-state concurrent systems. In Proc. Int. Conf. on Computer Aided Verification. Springer, 197--212."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_41"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90020-5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3053600.3053653"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. Int. Conf. on Comput. Perf. Eval., Modelling Tech. and Tools. 82--91","author":"Andr\u00e1","unstructured":"Andr\u00e1 s Horv\u00e1 th and Mikl\u00f3 s Telek. 2002. PhFit: A General Phase-Type Fitting Tool . In Proc. Int. Conf. on Comput. Perf. Eval., Modelling Tech. and Tools. 82--91 . Andr\u00e1 s Horv\u00e1 th and Mikl\u00f3 s Telek. 2002. PhFit: A General Phase-Type Fitting Tool. In Proc. Int. Conf. on Comput. Perf. Eval., Modelling Tech. and Tools. 82--91."},{"key":"e_1_3_2_1_25_1","volume-title":"Modeling and analysis of stochastic systems","author":"Kulkarni V.","unstructured":"V. Kulkarni . 1995. Modeling and analysis of stochastic systems . Chapman & Hall . http:\/\/www.crcpress.com\/product\/isbn\/9781439808757 V. Kulkarni. 1995. Modeling and analysis of stochastic systems .Chapman & Hall. http:\/\/www.crcpress.com\/product\/isbn\/9781439808757"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2010.03.013"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.61115"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(93)E0035-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/288197.581195"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(99)00020-6"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/CyberSciTech.2019.00132"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.1260710"},{"key":"e_1_3_2_1_33_1","volume-title":"On a generalization of the Jensen-Shannon divergence and the JS-symmetrization of distances relying on abstract means. arXiv preprint arXiv:1904.04017","author":"Nielsen Frank","year":"2019","unstructured":"Frank Nielsen . 2019. On a generalization of the Jensen-Shannon divergence and the JS-symmetrization of distances relying on abstract means. arXiv preprint arXiv:1904.04017 ( 2019 ). Frank Nielsen. 2019. On a generalization of the Jensen-Shannon divergence and the JS-symmetrization of distances relying on abstract means. arXiv preprint arXiv:1904.04017 (2019)."},{"key":"e_1_3_2_1_34_1","volume-title":"to appear. The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems","author":"Paolieri Marco","unstructured":"Marco Paolieri , Marco Biagi , Laura Carnevali , and Enrico Vicario . to appear. The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems . IEEE Transactions on Software Engineering ( to appear). Marco Paolieri, Marco Biagi, Laura Carnevali, and Enrico Vicario. to appear. The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Transactions on Software Engineering ( to appear)."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2012.03.016"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40725-3_13"},{"key":"e_1_3_2_1_37_1","volume-title":"Wil MP van der Aalst, and Mathias Weske","author":"Rogge-Solti Andreas","year":"2013","unstructured":"Andreas Rogge-Solti , Wil MP van der Aalst, and Mathias Weske . 2013 . Discovering stochastic petri nets with arbitrary delay distributions from event logs. In Proc. Int. Conf. on Business Process Management. Springer , 15--27. Andreas Rogge-Solti, Wil MP van der Aalst, and Mathias Weske. 2013. Discovering stochastic petri nets with arbitrary delay distributions from event logs. In Proc. Int. Conf. on Business Process Management. Springer, 15--27."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2007.23"},{"key":"e_1_3_2_1_39_1","unstructured":"SIRIO Library. 2020. https:\/\/github.com\/oris-tool\/sirio .  SIRIO Library. 2020. https:\/\/github.com\/oris-tool\/sirio ."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(00)00066-3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"e_1_3_2_1_42_1","volume-title":"Exploratory data analysis","author":"Tukey John W","unstructured":"John W Tukey . 1977. Exploratory data analysis . Vol. 2 . Reading , MA. John W Tukey. 1977. Exploratory data analysis. Vol. 2. Reading, MA."},{"key":"e_1_3_2_1_43_1","volume-title":"Kees Max Van Hee, and Kees van Hee","author":"Der Aalst Wil Van","year":"2004","unstructured":"Wil Van Der Aalst , Kees Max Van Hee, and Kees van Hee . 2004 . Workflow management: models, methods, and systems .MIT press. Wil Van Der Aalst, Kees Max Van Hee, and Kees van Hee. 2004. Workflow management: models, methods, and systems .MIT press."},{"key":"e_1_3_2_1_44_1","volume-title":"Bartek Kiepuszewski, and Alistair P Barros.","author":"van Der Aalst Wil MP","year":"2003","unstructured":"Wil MP van Der Aalst , Arthur HM Ter Hofstede , Bartek Kiepuszewski, and Alistair P Barros. 2003 . Workflow patterns. Dist .&paral. datab., Vol. 14 , 1 (2003), 5--51. Wil MP van Der Aalst, Arthur HM Ter Hofstede, Bartek Kiepuszewski, and Alistair P Barros. 2003. Workflow patterns. Dist.&paral. datab., Vol. 14, 1 (2003), 5--51."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2006.59"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.30.1.125"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-38791-8_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2011.17"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2475957"},{"key":"e_1_3_2_1_51_1","volume-title":"Proc. IEEE Int. Conf. on Dependable Systems and Networks With FTCS and DCC. 392--397","author":"Zheng Zibin","unstructured":"Zibin Zheng and M. R. Lyu . 2008. WS-DREAM: A distributed reliability assessment Mechanism for Web Services . In Proc. IEEE Int. Conf. on Dependable Systems and Networks With FTCS and DCC. 392--397 . Zibin Zheng and M. R. Lyu. 2008. WS-DREAM: A distributed reliability assessment Mechanism for Web Services. In Proc. IEEE Int. Conf. on Dependable Systems and Networks With FTCS and DCC. 392--397."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"}],"event":{"name":"ICPE '21: ACM\/SPEC International Conference on Performance Engineering","location":"Virtual Event France","acronym":"ICPE '21","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the ACM\/SPEC International Conference on Performance Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427921.3450250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3427921.3450250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:23Z","timestamp":1750195463000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427921.3450250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,9]]},"references-count":52,"alternative-id":["10.1145\/3427921.3450250","10.1145\/3427921"],"URL":"https:\/\/doi.org\/10.1145\/3427921.3450250","relation":{},"subject":[],"published":{"date-parts":[[2021,4,9]]},"assertion":[{"value":"2021-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}