{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T07:21:19Z","timestamp":1770967279620,"version":"3.50.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032163448","type":"print"},{"value":"9783032163455","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-16345-5_10","type":"book-chapter","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:36:09Z","timestamp":1770964569000},"page":"131-146","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Pyramis Library: Efficient Numerical Evaluation of\u00a0Hierarchical UML Statecharts Applied to\u00a0Stochastic Workflows"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Montecchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Scommegna","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":[[2026,2,14]]},"reference":[{"key":"10_CR1","unstructured":"Pegasus workflow repository, https:\/\/pegasus.isi.edu\/workflow_gallery"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Trans. Comput. Syst. 2(2), 93\u2013122 (1984). https:\/\/doi.org\/10.1145\/190.191","journal-title":"ACM Trans. Comput. Syst."},{"key":"10_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"issue":"5","key":"10_CR4","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.: Model-based performance prediction in software development: a survey. IEEE Trans. SW Eng. 30(5), 295\u2013310 (2004). https:\/\/doi.org\/10.1109\/TSE.2004.9","journal-title":"IEEE Trans. SW Eng."},{"issue":"1","key":"10_CR5","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.: Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Trans. on Industrial Inf. 7(1), 90\u2013104 (2011). https:\/\/doi.org\/10.1109\/TII.2010.2098415","journal-title":"IEEE Trans. on Industrial Inf."},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. Soft. & Sys. Model. 10(3), 313\u2013336 (2011)","journal-title":"Soft. & Sys. Model."},{"key":"10_CR7","doi-asserted-by":"publisher","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: Model-Driven Dependability Assessment of Software Systems. Springer Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39512-3","DOI":"10.1007\/978-3-642-39512-3"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Biagi, M., Carnevali, L., Tarani, F., Vicario, E.: Model-based quantitative evaluation of repair procedures in gas distribution networks. ACM Trans. Cyber-Phys. Sys. 3(2), 19:1\u201319:26 (2019)","DOI":"10.1145\/3284037"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Biagi, M., Vicario, E., German, R.: Extending the steady state analysis of hierarchical semi-Markov processes with parallel regions. In: European Workshop on Perf. Eng. pp. 62\u201377 (2018)","DOI":"10.1007\/978-3-030-02227-3_5"},{"issue":"5","key":"10_CR10","first-page":"265","volume":"16","author":"A Bondavalli","year":"2001","unstructured":"Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability analysis in the early phases of UML-based system design. Comp. Syst. Sci. Eng. 16(5), 265\u2013275 (2001)","journal-title":"Comp. Syst. Sci. Eng."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Cerboni, S., Montecchi, L., Vicario, E.: FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems. IEEE Trans. Dependable Secure Comput. (2025)","DOI":"10.1109\/TDSC.2025.3532340"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Cerboni, S., Picano, B., Scommegna, L., Vicario, E.: An observation metamodel for dependability tools. In: European Dependable Computing Conf. (EDCC). pp. 169\u2013172. IEEE (2024)","DOI":"10.1109\/EDCC61798.2024.00041"},{"issue":"12","key":"10_CR13","first-page":"4762","volume":"48","author":"L Carnevali","year":"2021","unstructured":"Carnevali, L., German, R., Santoni, F., Vicario, E.: Compositional Analysis of Hierarchical UML Statecharts. IEEE Trans. on Soft. Eng. 48(12), 4762\u20134788 (2021)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Paolieri, M., Reali, R., Vicario, E.: Compositional safe approximation of response time probability density function of complex workflows. ACM Trans. on Model. Comput. Simul. 33(4) (2023)","DOI":"10.1145\/3591205"},{"key":"10_CR15","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: ACM\/SPEC International Conference on Performance Engineering, pp. 177\u2013188 (2021)","DOI":"10.1145\/3427921.3450250"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Da\u00a0Silva, A.R.: Model-driven engineering: a survey supported by the unified conceptual model. Comp. Lang., Sys. & Struct. 43, 139\u2013155 (2015)","DOI":"10.1016\/j.cl.2015.06.001"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MCSE.2019.2919690","volume":"21","author":"E Deelman","year":"2019","unstructured":"Deelman, E., Vahi, K., Rynge, M., Mayani, R., da Silva, R.F., Papadimitriou, G., Livny, M.: The evolution of the pegasus workflow management software. Comput. Sci. & Eng. 21(4), 22\u201336 (2019)","journal-title":"Comput. Sci. & Eng."},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-22264-6_12","volume-title":"Quantitative Evaluation of Systems","author":"JM Fourneau","year":"2015","unstructured":"Fourneau, J.M., Pekergin, N.: A Numerical Analysis of Dynamic Fault Trees Based on Stochastic Bounds. In: Campos, J., Haverkort, B.R. (eds.) QEST 2015. LNCS, vol. 9259, pp. 176\u2013191. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22264-6_12"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.entcs.2016.09.022","volume":"327","author":"J Fourneau","year":"2016","unstructured":"Fourneau, J., Pekergin, N.: Dynamic fault trees with rejuvenation: Numerical analysis and stochastic bounds. Electron. Notes Theor. Comput. Sci. 327, 27\u201347 (2016)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10_CR20","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J., Patterns, D.: Elements of reusable object-oriented software. Design Patterns (1995)"},{"key":"10_CR21","unstructured":"German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. John Wiley (2000)"},{"issue":"6","key":"10_CR22","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/0377-2217(77)90049-2","volume":"1","author":"W Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queues: an algorithm for finding them and determining their waiting-time distributions. Eur. J. Oper. Res. 1(6), 396\u2013402 (1977)","journal-title":"Eur. J. Oper. Res."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Homm, D., German, R.: Analysis of hierarchical semi-Markov processes with parallel regions. In: Int. GI\/ITG Conf. Measurement, Modelling, and Evaluation of Comp. Sys. and Dependability and Fault Tolerance. pp. 92\u2013106. Springer (2016)","DOI":"10.1007\/978-3-319-31559-1_9"},{"issue":"3","key":"10_CR24","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1093\/comjnl\/45.3.260","volume":"45","author":"G Huszerl","year":"2002","unstructured":"Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., Dal Cin, M.: Quantitative analysis of UML statechart models of dependable systems. Comput. J. 45(3), 260\u2013277 (2002)","journal-title":"Comput. J."},{"key":"10_CR25","unstructured":"International Organization for Standardization: ISO 9241 - Ergonomic requirements for office work with visual display terminals (VDTs) (2000)"},{"key":"10_CR26","doi-asserted-by":"publisher","unstructured":"Jansen, D., Hermanns, H., Katoen, J.P.: A QoS-oriented extension of UML statecharts. In: Stevens, P., Whittle, J., Booch, G. (eds) International Conference on the Unified Modeling Language pp. 76\u201391. Springer (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_7","DOI":"10.1007\/978-3-540-45221-8_7"},{"key":"10_CR27","doi-asserted-by":"publisher","unstructured":"King, P., Pooley, R.: Derivation of Petri net performance models from UML specifications of communications software. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. pp. 262\u2013276. Springer, Berlin, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-46429-8_19","DOI":"10.1007\/3-540-46429-8_19"},{"issue":"8","key":"10_CR28","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1016\/j.peva.2009.07.007","volume":"67","author":"H Koziolek","year":"2010","unstructured":"Koziolek, H.: Performance evaluation of component-based software systems: A survey. Perf. Eval. 67(8), 634\u2013658 (2010). https:\/\/doi.org\/10.1016\/j.peva.2009.07.007","journal-title":"Perf. Eval."},{"issue":"1","key":"10_CR29","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"},{"issue":"4","key":"10_CR30","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1016\/j.trc.2009.02.003","volume":"17","author":"HX Liu","year":"2009","unstructured":"Liu, H.X., Wu, X., Ma, W., Hu, H.: Real-time queue length estimation for congested signalized intersections. Trans. Res. Part C Emerg. Technol. 17(4), 412\u2013427 (2009)","journal-title":"Trans. Res. Part C Emerg. Technol."},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Merseguer, J., Campos, J., Bernardi, S., Donatelli, S.: A compositional semantics for UML state machines aimed at performance evaluation. In: DES. pp. 295\u2013302. IEEE (2002)","DOI":"10.1109\/WODES.2002.1167702"},{"key":"10_CR32","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":"10_CR33","unstructured":"Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems v1.0 (2009)"},{"key":"10_CR34","unstructured":"Object Management Group: OMG System Modeling Language (2017)"},{"issue":"6","key":"10_CR35","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. Softw. Eng. 47(6), 1211\u20131225 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Pooley, R., King, P.: The unified modelling language and performance engineering. IEE Proc.-Software 146(1), 2\u201310 (1999)","DOI":"10.1049\/ip-sen:19990151"},{"key":"10_CR37","unstructured":"Pyramis Library: https:\/\/github.com\/oris-tool\/pyramis (2025)"},{"key":"10_CR38","unstructured":"Radio Technical Commission for Aeronautics: DO-178B, Software Considerations in Airborne Systems and Equipment Certification (2012)"},{"issue":"1","key":"10_CR39","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A Reibman","year":"1988","unstructured":"Reibman, A., Trivedi, K.: Numerical transient analysis of Markov models. Comput. Oper. Res. 15(1), 19\u201336 (1988)","journal-title":"Comput. Oper. Res."},{"issue":"2","key":"10_CR40","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","volume":"14","author":"P Runeson","year":"2009","unstructured":"Runeson, P., H\u00f6st, M.: Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14(2), 131\u2013164 (2009)","journal-title":"Empir. Softw. Eng."},{"key":"10_CR41","unstructured":"Russell, N., Ter\u00a0Hofstede, A.H., Van Der\u00a0Aalst, W.M., Mulyar, N.: Workflow control-flow patterns: A revised view (2006)"},{"issue":"2","key":"10_CR42","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-Driven Eng. Comput.-IEEE Comput.Soc. 39(2), 25 (2006)","journal-title":"Model-Driven Eng. Comput.-IEEE Comput.Soc."},{"key":"10_CR43","unstructured":"SIRIO Library: https:\/\/github.com\/oris-tool\/sirio (2024)"},{"key":"10_CR44","doi-asserted-by":"crossref","unstructured":"Tribastone, M., Gilmore, S.: Automatic translation of UML sequence diagrams into PEPA models. In: 2008 Fifth International Conference on Quantitative Evaluation of Systemss. pp. 205\u2013214. IEEE (2008)","DOI":"10.1109\/QEST.2008.18"},{"key":"10_CR45","unstructured":"Trowitzsch, J., Zimmermann, A., Hommel, G.: Towards quantitative analysis of real-time UML using stochastic Petri nets. In: I19th IEEE International Parallel and Distributed Processing Symposium pp. 7\u2013pp. IEEE (2005)"},{"key":"10_CR46","volume-title":"Exploratory data analysis","author":"JW Tukey","year":"1977","unstructured":"Tukey, J.W., et al.: Exploratory data analysis, vol. 2. Reading, MA (1977)"},{"issue":"5","key":"10_CR47","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"8","key":"10_CR48","doi-asserted-by":"publisher","first-page":"2369","DOI":"10.1016\/j.cor.2005.02.018","volume":"33","author":"NL Vijaykumar","year":"2006","unstructured":"Vijaykumar, N.L., Carvalho, S., Andrade, V., Abdurahiman, V.: Introducing probabilities in statecharts to specify reactive systems for performance analysis. Comp. & Oper. Res. 33(8), 2369\u20132386 (2006)","journal-title":"Comp. & Oper. Res."},{"key":"10_CR49","doi-asserted-by":"publisher","unstructured":"Vogl, U., Siegle, M.: A new approach to predicting reliable project runtimes via probabilistic model checking. In: Reinecke, P., Di Marco, A. (eds) Computer Performance Engineering. European Workshop on Performance Engineering. pp. 117\u2013132. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-66583-2_8","DOI":"10.1007\/978-3-319-66583-2_8"},{"issue":"3","key":"10_CR50","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. Ser. Comput. 10(3), 448\u2013460 (2015)","journal-title":"IEEE Trans. Ser. Comput."},{"key":"10_CR51","doi-asserted-by":"crossref","unstructured":"Zheng, Z., Lyu, M.R.: Ws-dream: A distributed reliability assessment mechanism for web services. In 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN). pp. 392-397, IEEE (2008)","DOI":"10.1109\/DSN.2008.4630108"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-16345-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T06:36:16Z","timestamp":1770964576000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-16345-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032163448","9783032163455"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-16345-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"14 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EPEW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Workshop on Performance Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Catania","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 June 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/epew-workshop.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}