{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T05:32:28Z","timestamp":1768455148075,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:00:00Z","timestamp":1698883200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T00:00:00Z","timestamp":1698883200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Gran Sasso Science Institute - GSSI"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Non-functional properties of collective adaptive systems (CAS) are of paramount relevance practically in any application. This paper compares two recently proposed approaches to quantitative modelling that exploit different system abstractions: the first is based on generalised stochastic Petri nets, and the second is based on queueing networks. Through a case study involving autonomous robots, we analyse and discuss the relative merits of the approaches. This is done by considering three scenarios which differ on the architecture used to coordinate the distributed components. Our experimental results assess a high accuracy when comparing model-based performance analysis results derived from two different quantitative abstractions for CAS.<\/jats:p>","DOI":"10.1007\/s10009-023-00728-9","type":"journal-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:02:13Z","timestamp":1698930133000},"page":"785-798","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Comparing perfomance abstractions for collective adaptive systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Maurizio","family":"Murgia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Pinciroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,11,2]]},"reference":[{"key":"728_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2019.104457","volume":"268","author":"Y. Abd Alrahman","year":"2019","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","journal-title":"Inf. Comput."},{"key":"728_CR2","first-page":"36","volume-title":"International Middleware Conference (Middleware) Industrial Track","author":"A. Ali","year":"2019","unstructured":"Ali, A., Pinciroli, R., Yan, F., Smirni, E.: It\u2019s not a sprint, it\u2019s a marathon: stretching multi-resource burstable performance in public clouds. In: International Middleware Conference (Middleware) Industrial Track, pp.\u00a036\u201342. ACM, New York (2019)"},{"issue":"2","key":"728_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"728_CR4","first-page":"1","volume-title":"URSI General Assembly and Scientific Symposium (URSI GASS)","author":"L. Apvrille","year":"2014","unstructured":"Apvrille, L., Tanzi, T., Dugelay, J.-L.: Autonomous drones for assisting rescue services within the context of natural disasters. In: URSI General Assembly and Scientific Symposium (URSI GASS), pp.\u00a01\u20134 (2014)"},{"key":"728_CR5","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-96154-5_22","volume-title":"Carl Adam Petri: Ideas, Personality, Impact","author":"G. Balbo","year":"2019","unstructured":"Balbo, G., Ciardo, G.: On Petri nets in performance and reliability evaluation of discrete event dynamic systems. In: Carl Adam Petri: Ideas, Personality, Impact, pp.\u00a0173\u2013185. Springer, Berlin (2019)"},{"key":"728_CR6","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-28934-2_5","volume-title":"International Conference on Formal Aspects of Component Software (FACS)","author":"M. Bartoletti","year":"2015","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M., Podda, A.S., Pompianu, L.: A contract-oriented middleware. In: International Conference on Formal Aspects of Component Software (FACS), vol.\u00a09539, pp.\u00a086\u2013104. Springer, Berlin (2015)"},{"key":"728_CR7","unstructured":"Bartoletti, M., Cimoli, T., Murgia, M.: Timed session types. Log. Methods Comput. Sci. 13(4) (2017)"},{"issue":"4","key":"728_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1145\/1530873.1530877","volume":"36","author":"M. Bertoli","year":"2009","unstructured":"Bertoli, M., Casale, G., Serazzi, G.: JMT: performance engineering tools for system modeling. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 10\u201315 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"728_CR9","first-page":"419","volume-title":"International Conference on Concurrency Theory (CONCUR)","author":"L. Bocchi","year":"2014","unstructured":"Bocchi, L., Yang, W., Yoshida, N.: Timed multiparty session types. In: International Conference on Concurrency Theory (CONCUR), vol.\u00a08704, pp.\u00a0419\u2013434. Springer, Berlin (2014)"},{"key":"728_CR10","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/978-3-030-17184-1_21","volume-title":"Programming Languages and Systems (ESOP)","author":"L. Bocchi","year":"2019","unstructured":"Bocchi, L., Murgia, M., Vasconcelos, V.T., Yoshida, N.: Asynchronous timed session types \u2013 from duality to time-sensitive processes. In: Programming Languages and Systems (ESOP), vol.\u00a011423, pp.\u00a0583\u2013610. Springer, Berlin (2019)"},{"issue":"OOPSLA","key":"728_CR11","doi-asserted-by":"publisher","first-page":"155:1","DOI":"10.1145\/3428223","volume":"4","author":"D. Castro-Perez","year":"2020","unstructured":"Castro-Perez, D., Yoshida, N.: CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4(OOPSLA), 155:1\u2013155:30 (2020)","journal-title":"Proc. ACM Program. Lang."},{"key":"728_CR12","volume-title":"International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)","author":"D. Cerotti","year":"2014","unstructured":"Cerotti, D., Gribaudo, M., Piazzolla, P., Pinciroli, R., Serazzi, G.: Multi-class queuing networks models for energy optimization. In: International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS). EAI (2014)"},{"key":"728_CR13","series-title":"LNCS","first-page":"25","volume-title":"Stochastic Analysis of Energy Consumption in Pool Depletion Systems","author":"D. Cerotti","year":"2016","unstructured":"Cerotti, D., Gribaudo, M., Pinciroli, R., Serazzi, G.: Stochastic Analysis of Energy Consumption in Pool Depletion Systems. LNCS, vol.\u00a09629, pp.\u00a025\u201339. Springer, Berlin (2016)"},{"key":"728_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3236786","volume":"91","author":"A. Das","year":"2018","unstructured":"Das, A., Hoffmann, J., Pfenning, F.: Parallel complexity analysis with temporal session types. Proc. ACM Program. Lang. 91, 1 (2018)","journal-title":"Proc. ACM Program. Lang."},{"issue":"4","key":"728_CR15","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/s10009-020-00565-0","volume":"22","author":"R. De Nicola","year":"2020","unstructured":"De Nicola, R., J\u00e4hnichen, S., Wirsing, M.: Rigorous engineering of collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 22(4), 389\u2013397 (2020)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"728_CR16","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.entcs.2018.03.034","volume":"337","author":"M. Gribaudo","year":"2018","unstructured":"Gribaudo, M., Pinciroli, R., Trivedi, K.S.: Epistemic uncertainty propagation in power models. Electron. Notes Theor. Comput. Sci. 337, 67\u201386 (2018)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"728_CR17","series-title":"LIPIcs","first-page":"14:1","volume-title":"International Conference on Concurrency Theory (CONCUR)","author":"O. Inverso","year":"2020","unstructured":"Inverso, O., Melgratti, H.C., Padovani, L., Trubiani, C., Tuosto, E.: Probabilistic analysis of binary sessions. In: International Conference on Concurrency Theory (CONCUR). LIPIcs, vol.\u00a0171, pp.\u00a014:1\u201314:21 (2020)"},{"key":"728_CR18","volume-title":"International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"O. Inverso","year":"2020","unstructured":"Inverso, O., Trubiani, C., Tuosto, E.: Abstractions for collective adaptive systems. In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, Berlin (2020)"},{"key":"728_CR19","doi-asserted-by":"crossref","unstructured":"Johari, M.H., Jawaddi, S.N.A., Ismail, A.: Survey on formation verification for ensembling collective adaptive system. Adv. Data Comput. Commun. Secur., 219\u2013228 (2022)","DOI":"10.1007\/978-981-16-8403-6_19"},{"key":"728_CR20","volume-title":"Computer System Analysis Using Queueing Network Models","author":"E. Lazowska","year":"1984","unstructured":"Lazowska, E., Zahorjan, J., Graham, G.S., Sevcik, K.: Computer System Analysis Using Queueing Network Models. Prentice Hall International, Englewood Cliffs (1984)"},{"key":"728_CR21","first-page":"47","volume-title":"Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"J. Lee","year":"2022","unstructured":"Lee, J., Bae, K., \u00d6lveczky, P.C.: An extension of hybridsynchaadl and its application to collaborating autonomous uavs. In: Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp.\u00a047\u201364 (2022)"},{"key":"728_CR22","first-page":"356","volume-title":"Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"B. Lion","year":"2022","unstructured":"Lion, B., Arbab, F., Talcott, C.: A rewriting framework for interacting cyber-physical agents. In: Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp.\u00a0356\u2013372 (2022)"},{"key":"728_CR23","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.sysarc.2016.01.004","volume":"63","author":"L. Lopes","year":"2016","unstructured":"Lopes, L., Martins, F.: A safe-by-design programming language for wireless sensor networks. J. Syst. Archit. 63, 16\u201332 (2016)","journal-title":"J. Syst. Archit."},{"key":"728_CR24","first-page":"437","volume-title":"SAC","author":"H.A. L\u00f3pez","year":"2017","unstructured":"L\u00f3pez, H.A., Heussen, K.: Choreographing cyber-physical distributed control systems for the energy sector. In: SAC, pp.\u00a0437\u2013443. ACM, New York (2017)"},{"key":"728_CR25","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-39570-8_13","volume-title":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)","author":"H. L\u00f3pez","year":"2016","unstructured":"L\u00f3pez, H., Nielson, F., Nielson, H.: Enforcing availability in failure-aware communicating systems. In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), vol.\u00a09688, pp.\u00a0195\u2013211. Springer, Berlin (2016)"},{"key":"728_CR26","first-page":"83","volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"M. Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with carma and its tools. In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp.\u00a083\u2013119. Springer, Berlin (2016)"},{"key":"728_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3428202","volume":"134","author":"R. Majumdar","year":"2020","unstructured":"Majumdar, R., Yoshida, N., Zufferey, D.: Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 134, 1 (2020)","journal-title":"Proc. ACM Program. Lang."},{"key":"728_CR28","first-page":"266","volume-title":"LNCS","author":"M. Murgia","year":"2022","unstructured":"Murgia, M., Pinciroli, R., Trubiani, C., Tuosto, E.: On model-based performance analysis of collective adaptive systems. In: LNCS, vol.\u00a013703, pp.\u00a0266\u2013282. Springer, Berlin (2022)"},{"issue":"5","key":"728_CR29","doi-asserted-by":"publisher","first-page":"877","DOI":"10.1007\/s00165-017-0420-8","volume":"29","author":"R. Neykova","year":"2017","unstructured":"Neykova, R., Bocchi, L., Yoshida, N.: Timed runtime monitoring for multiparty conversations. Form. Asp. Comput. 29(5), 877\u2013910 (2017)","journal-title":"Form. Asp. Comput."},{"key":"728_CR30","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1016\/j.future.2020.07.032","volume":"114","author":"D. Pianini","year":"2021","unstructured":"Pianini, D., Casadei, R., Viroli, M., Natali, A.: Partitioned integration and coordination via the self-organising coordination regions pattern. Future Gener. Comput. Syst. 114, 44\u201368 (2021)","journal-title":"Future Gener. Comput. Syst."},{"key":"728_CR31","first-page":"104","volume-title":"International Conference on Software Architecture (ICSA)","author":"R. Pinciroli","year":"2021","unstructured":"Pinciroli, R., Trubiani, C.: Model-based performance analysis for architecting cyber-physical dynamic spaces. In: International Conference on Software Architecture (ICSA), pp.\u00a0104\u2013114 (2021)"},{"key":"728_CR32","unstructured":"Pinciroli, R., Trubiani, C.: Performance analysis of fault-tolerant multi-agent coordination mechanisms. IEEE Trans. Ind. Inform., 1\u201312 (2023)"},{"key":"728_CR33","volume-title":"International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)","author":"R. Pinciroli","year":"2016","unstructured":"Pinciroli, R., Trivedi, K.S., Bobbio, A.: Parametric sensitivity and uncertainty propagation in dependability models. In: International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS). ACM, New York (2016)"},{"issue":"1","key":"728_CR34","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1109\/TNSM.2020.3039942","volume":"18","author":"R. Pinciroli","year":"2021","unstructured":"Pinciroli, R., Ali, A., Yan, F., Smirni, E.: CEDULE+: resource management for burstable cloud instances using predictive analytics. IEEE Trans. Netw. Serv. Manag. 18(1), 945\u2013957 (2021)","journal-title":"IEEE Trans. Netw. Serv. Manag."},{"key":"728_CR35","first-page":"93","volume-title":"International Conference on Performance Engineering (ICPE)","author":"R. Pinciroli","year":"2021","unstructured":"Pinciroli, R., Smith, C.U., Trubiani, C.: QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems. In: International Conference on Performance Engineering (ICPE), pp.\u00a093\u2013104. ACM, New York (2021)"},{"key":"728_CR36","first-page":"318","volume-title":"Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)","author":"M. T\u00f6pfer","year":"2022","unstructured":"T\u00f6pfer, M., Abdullah, M., Bure\u0161, T., Hn\u011btynka, P., Kruli\u0161, M.: Ensemble-based modeling abstractions for modern self-optimizing systems. In: Proceedings of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp.\u00a0318\u2013334 (2022)"},{"key":"728_CR37","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlamp.2017.11.002","volume":"95","author":"E. Tuosto","year":"2018","unstructured":"Tuosto, E., Guanciale, R.: Semantics of global view of choreographies. J. Log. Algebraic Methods Program. 95, 17\u201340 (2018)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"728_CR38","first-page":"202","volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"A. Vandin","year":"2016","unstructured":"Vandin, A., Tribastone, M.: Quantitative abstractions for collective adaptive systems. In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp.\u00a0202\u2013232. Springer, Berlin (2016)"},{"issue":"2","key":"728_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3177774","volume":"28","author":"M. Viroli","year":"2018","unstructured":"Viroli, M., Audrito, G., Beal, J., Damiani, F., Pianini, D.: Engineering resilient collective adaptive systems by self-stabilisation. ACM Trans. Model. Comput. Simul. 28(2), 1\u201328 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"6","key":"728_CR40","doi-asserted-by":"publisher","first-page":"1479","DOI":"10.1287\/trsc.2018.0826","volume":"52","author":"F. Weidinger","year":"2018","unstructured":"Weidinger, F., Boysen, N., Briskorn, D.: Storage assignment with rack-moving mobile robots in KIVA warehouses. Transp. Sci. 52(6), 1479\u20131495 (2018)","journal-title":"Transp. Sci."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00728-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00728-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00728-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,27]],"date-time":"2023-11-27T13:08:29Z","timestamp":1701090509000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00728-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,2]]},"references-count":40,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["728"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00728-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,2]]},"assertion":[{"value":"10 October 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}