{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:44:13Z","timestamp":1778215453463,"version":"3.51.4"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030614690","type":"print"},{"value":"9783030614706","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-61470-6_15","type":"book-chapter","created":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T18:03:12Z","timestamp":1603735392000},"page":"243-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Abstractions for Collective Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Omar","family":"Inverso","sequence":"first","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":[[2020,10,27]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268, 104457 (2019)","DOI":"10.1016\/j.ic.2019.104457"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"102428","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020)","journal-title":"Sci. Comput. Program."},{"key":"15_CR3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3155337","volume":"28","author":"A Aldini","year":"2018","unstructured":"Aldini, A.: Design and verification of trusted collective adaptive systems. ACM Trans. Model. Comput. Simul. 28(2), 1\u201327 (2018)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass queueing network models. In: Workshop on Software and Performance (2005)","DOI":"10.1145\/1071021.1071025"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-642-38592-6_5","volume-title":"Formal Techniques for Distributed Systems","author":"L Bocchi","year":"2013","unstructured":"Bocchi, L., Chen, T.-C., Demangeon, R., Honda, K., Yoshida, N.: Monitoring networks through multiparty session types. In: Beyer, D., Boreale, M. (eds.) FMOODS\/FORTE -2013. LNCS, vol. 7892, pp. 50\u201365. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-38592-6_5"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-15375-4_12","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Bocchi","year":"2010","unstructured":"Bocchi, L., Honda, K., Tuosto, E., Yoshida, N.: A theory of design-by-contract for distributed multiparty interactions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 162\u2013176. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-15375-4_12"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-21485-2_11","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"R Bruni","year":"2019","unstructured":"Bruni, R., Corradini, A., Gadducci, F., Melgratti, H.C., Montanari, U., Tuosto, E.: Data-driven choreographies \u00e0 la Klaim. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 170\u2013190. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-21485-2_11"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. CACM 32(4), 444\u2013458 (1989)","journal-title":"CACM"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-030-00302-9_4","volume-title":"Programming with Actors","author":"R Casadei","year":"2018","unstructured":"Casadei, R., Viroli, M.: Programming actor-based collective adaptive systems. In: Ricci, A., Haller, P. (eds.) Programming with Actors. LNCS, vol. 10789, pp. 94\u2013122. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-030-00302-9_4"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Casale, G., Serazzi, G.: Quantitative system evaluation with Java modeling tools. In: International Conference on Performance Engineering (2011)","DOI":"10.1145\/1958746.1958813"},{"issue":"POPL","key":"15_CR12","first-page":"1","volume":"3","author":"D Castro","year":"2019","unstructured":"Castro, D., Hu, R., Jongmans, S., Ng, N., Yoshida, N.: Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. PACMPL 3(POPL), 1\u201330 (2019)","journal-title":"PACMPL"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/978-3-319-51963-0_38","volume-title":"SOFSEM 2017: Theory and Practice of Computer Science","author":"R De Nicola","year":"2017","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang at work. In: Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. (eds.) SOFSEM 2017. LNCS, vol. 10139, pp. 485\u2013497. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-51963-0_38"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-59746-1_2","volume-title":"Coordination Models and Languages","author":"R De Nicola","year":"2017","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang: empowering erlang with attribute-based communication. In: Jacquet, J.-M., Massink, M. (eds.) COORDINATION 2017. LNCS, vol. 10319, pp. 21\u201339. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-59746-1_2"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.scico.2018.08.006","volume":"168","author":"R De Nicola","year":"2018","unstructured":"De Nicola, R., Duong, T., Inverso, O., Trubiani, C.: AErlang: empowering erlang with attribute-based communication. Sci. Comput. Program. 168, 71\u201393 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"15_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2619998","volume":"9","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. ACM Trans. Auton. Adapt. Syst. 9(2), 1\u201329 (2014)","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Collective adaptive systems. In: International Joint Conference on Pervasive and Ubiquitous Computing and Symposium on Wearable Computers (2015)","DOI":"10.1145\/2800835.2809508"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-93767-0_6","volume-title":"Distributed Applications and Interoperable Systems","author":"A Francalanza","year":"2018","unstructured":"Francalanza, A., Mezzina, C.A., Tuosto, E.: Reversible choreographies via monitoring in Erlang. In: Bonomi, S., Rivi\u00e8re, E. (eds.) DAIS 2018. LNCS, vol. 10853, pp. 75\u201392. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-93767-0_6"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-030-50029-0_7","volume-title":"Coordination Models and Languages","author":"L Frittelli","year":"2020","unstructured":"Frittelli, L., Maldonado, F., Melgratti, C., Tuosto, E.: A choreography-driven approach to\u00a0APIs: the OpenDXL case study. In: Bliudze, S., Bocchi, L. (eds.) COORDINATION 2020. LNCS, vol. 12134, pp. 107\u2013124. Springer, Cham (2020). \nhttps:\/\/doi.org\/10.1007\/978-3-030-50029-0_7"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1080\/00029890.1962.11989827","volume":"68","author":"D Gale","year":"1962","unstructured":"Gale, D., Shapley, L.S.: College admissions and the stability of marriage. Am. Math. Monthly 68(1), 9\u201315 (1962)","journal-title":"Am. Math. Monthly"},{"key":"15_CR21","series-title":"Automation, Control and Robotics","volume-title":"Behavioural Types: From Theory to Tools","year":"2009","unstructured":"Gay, S., Ravara, A. (eds.): Behavioural Types: From Theory to Tools. Automation, Control and Robotics. River, Gistrup (2009)"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Guanciale, R., Tuosto, E.: An abstract semantics of the global view of choreographies. In: Interaction and Concurrency Experience (2016)","DOI":"10.4204\/EPTCS.223.5"},{"issue":"1","key":"15_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2873052","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 1\u201336 (2016)","journal-title":"ACM Comput. Surv."},{"key":"15_CR24","volume-title":"Theory, Volume 1, Queueing Systems","author":"L Kleinrock","year":"1975","unstructured":"Kleinrock, L.: Theory, Volume 1, Queueing Systems. Wiley-Interscience, Hoboken (1975)"},{"key":"15_CR25","volume-title":"Computer System Analysis Using Queueing Network Models","author":"ED Lazowska","year":"1984","unstructured":"Lazowska, E.D., Zahorjan, J., Scott Graham, G., Sevcik, K.C.: Computer System Analysis Using Queueing Network Models. Prentice-Hall Inc., Englewood Cliffs (1984)"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-34096-8_4","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"M Loreti","year":"2016","unstructured":"Loreti, M., Hillston, J.: Modelling and analysis of collective adaptive systems with CARMA and its tools. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 83\u2013119. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-34096-8_4"},{"issue":"1","key":"15_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I and II. Inf. Comput. 100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"issue":"5","key":"15_CR28","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. Formal Aspects Comput. 29(5), 877\u2013910 (2017). \nhttps:\/\/doi.org\/10.1007\/s00165-017-0420-8","journal-title":"Formal Aspects Comput."},{"issue":"2\u20133","key":"15_CR29","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0167-6423(95)00017-8","volume":"25","author":"KVS Prasad","year":"1995","unstructured":"Prasad, K.V.S.: A calculus of broadcasting systems. Sci. Comput. Program. 25(2\u20133), 285\u2013327 (1995)","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"15_CR30","first-page":"74106","volume":"3","author":"CU Smith","year":"2000","unstructured":"Smith, C.U., Williams, L.G.: Performance and scalability of distributed software architectures: an SPE approach. Scalable Comput. Pract. Exp. 3(4), 74106\u20130700 (2000)","journal-title":"Scalable Comput. Pract. Exp."},{"key":"15_CR31","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. Logical Algebraic Methods Program. 95, 17\u201340 (2018)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"15_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-319-34096-8_7","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"A Vandin","year":"2016","unstructured":"Vandin, A., Tribastone, M.: Quantitative abstractions for collective adaptive systems. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 202\u2013232. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-34096-8_7"},{"issue":"2","key":"15_CR33","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."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61470-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T18:08:09Z","timestamp":1603735689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61470-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030614690","9783030614706"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61470-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"27 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}