{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:06:53Z","timestamp":1762459613725,"version":"3.41.0"},"publisher-location":"Cham","reference-count":64,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319924076"},{"type":"electronic","value":"9783319924083"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-92408-3_5","type":"book-chapter","created":{"date-parts":[[2018,5,26]],"date-time":"2018-05-26T17:08:42Z","timestamp":1527354522000},"page":"110-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Formal Approach to the Engineering of Domain-Specific Distributed Systems"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Tiezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., De Nicola, R., Garbi, G., Loreti, M.: A distributed coordination infrastructure for attribute-based interaction. In: FORTE, LNCS. Springer (2018, to appear)","DOI":"10.1007\/978-3-319-92612-4_1"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-39570-8_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Yehia Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 1\u201318. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_1. Full technical report can be found on http:\/\/arxiv.org\/abs\/1602.05635"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-319-47166-2_38","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"Y Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming of CAS systems by relying on attribute-based communication. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 539\u2013553. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_38"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Abd Alrahman, Y., et al.: A calculus for attribute-based communication. In: SAC 2015, pp. 1840\u20131845. ACM (2015)","DOI":"10.1145\/2695664.2695668"},{"key":"5_CR5","doi-asserted-by":"crossref","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":"5_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"R Amadio","year":"1998","unstructured":"Amadio, R., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-Calculus. Theor. Comput. Sci. 195(2), 291\u2013324 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34\u201355. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40020-2_2"},{"issue":"2","key":"5_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-319-34096-8_8","volume-title":"Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems","author":"J Beal","year":"2016","unstructured":"Beal, J., Viroli, M.: Aggregate programming: from foundations to applications. In: Bernardo, M., De Nicola, R., Hillston, J. (eds.) SFM 2016. LNCS, vol. 9700, pp. 233\u2013260. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-34096-8_8"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-54624-2_10","volume-title":"Specification, Algebra, and Software","author":"L Belzner","year":"2014","unstructured":"Belzner, L., De Nicola, R., Vandin, A., Wirsing, M.: Reasoning (on) service component ensembles in rewriting logic. In: Iida, S., Meseguer, J., Ogata, K. (eds.) Specification, Algebra, and Software. LNCS, vol. 8373, pp. 188\u2013211. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54624-2_10"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive mobile agents in X-Klaim. In: WETICE, pp. 110\u2013115. IEEE Computer Society Press (1998)","DOI":"10.1109\/ENABL.1998.725680"},{"issue":"14","key":"5_CR12","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1002\/spe.486","volume":"32","author":"L Bettini","year":"2002","unstructured":"Bettini, L., De Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Experience 32(14), 1365\u20131394 (2002)","journal-title":"Softw. Pract. Experience"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bures, T., et al.: A life cycle for the development of autonomic systems: the e-mobility showcase. In: SASOW, pp. 71\u201376. IEEE (2013)","DOI":"10.1109\/SASOW.2013.23"},{"key":"5_CR14","unstructured":"Castellani, S., Ciancarini, P., Rossi, D.: The ShaPE of ShaDE: a coordination system. Technical report UBLCS 96\u20135, Dip. di Scienze dell\u2019Informazione, Univ. Bologna (1996)"},{"issue":"1","key":"5_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/1869687.1869690","volume":"11","author":"L Cesari","year":"2010","unstructured":"Cesari, L., Pugliese, R., Tiezzi, F.: A tool for rapid development of WS-BPEL applications. SIGAPP Appl. Comput. Rev. 11(1), 27\u201340 (2010)","journal-title":"SIGAPP Appl. Comput. Rev."},{"issue":"3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s11761-017-0214-0","volume":"11","author":"L Cesari","year":"2017","unstructured":"Cesari, L., Pugliese, R., Tiezzi, F.: Blind-date conversation joining. Serv. Oriented Comput. Appl. 11(3), 265\u2013283 (2017)","journal-title":"Serv. Oriented Comput. Appl."},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-319-07602-7_8","volume-title":"Formal Aspects of Component Software","author":"L Cesari","year":"2014","unstructured":"Cesari, L., De Nicola, R., Pugliese, R., Puviani, M., Tiezzi, F., Zambonelli, F.: Formalising adaptation patterns for autonomic ensembles. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 100\u2013118. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7_8"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71999-1","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol. 4350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1"},{"key":"5_CR19","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-0-387-35188-9_22","volume-title":"Open Distributed Processing and Distributed Platforms","author":"N Davies","year":"1997","unstructured":"Davies, N., Wade, S.P., Friday, A., Blair, G.S.: L$$^2$$imbo: a tuple space based platform for adaptive mobile applications. In: Rolia, J., Slonim, J., Botsford, J. (eds.) ICODP\/ICDP. IFIPAICT, pp. 291\u2013302. Springer, Boston (1997). https:\/\/doi.org\/10.1007\/978-0-387-35188-9_22"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-319-68270-9_9","volume-title":"ModelEd, TestEd, TrustEd","author":"R De Nicola","year":"2017","unstructured":"De Nicola, R., Duong, T., Inverso, O., Mazzanti, F.: Verifying properties of systems relying on attribute-based communication. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 169\u2013190. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_9"},{"key":"5_CR21","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). https:\/\/doi.org\/10.1007\/978-3-319-59746-1_2"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-35887-6_2","volume-title":"Formal Methods for Components and Objects","author":"R De Nicola","year":"2013","unstructured":"De Nicola, R., Ferrari, G., Loreti, M., Pugliese, R.: A language-based approach to autonomic computing. In: Beckert, B., Damiani, F., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2011. LNCS, vol. 7542, pp. 25\u201348. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35887-6_2"},{"issue":"5","key":"5_CR23","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: a kernel language for agents interaction and mobility. IEEE Trans. Software Eng. 24(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(99)00232-7","volume":"240","author":"R De Nicola","year":"2000","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R., Venneri, B.: Types for access control. Theor. Comput. Sci. 240(1), 215\u2013254 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"5_CR25","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.scico.2005.07.013","volume":"63","author":"R De Nicola","year":"2006","unstructured":"De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1), 57\u201387 (2006)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"5_CR26","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R De Nicola","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"5_CR27","doi-asserted-by":"publisher","first-page":"7","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. TAAS 9(2), 7 (2014)","journal-title":"TAAS"},{"issue":"6","key":"5_CR28","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.scico.2009.07.009","volume":"75","author":"R De Nicola","year":"2010","unstructured":"De Nicola, R., et al.: From flow logic to static type systems for coordination languages. Sci. Comput. Program. 75(6), 376\u2013397 (2010)","journal-title":"Sci. Comput. Program."},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-54848-2_5","volume-title":"From Programs to Systems. The Systems perspective in Computing","author":"R De Nicola","year":"2014","unstructured":"De Nicola, R., Lluch Lafuente, A., Loreti, M., Morichetta, A., Pugliese, R., Senni, V., Tiezzi, F.: Programming and verifying component ensembles. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) ETAPS 2014. LNCS, vol. 8415, pp. 69\u201383. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54848-2_5"},{"key":"5_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-16310-9_1","volume-title":"Software Engineering for Collective Autonomic Systems","author":"R De Nicola","year":"2015","unstructured":"De Nicola, R., Latella, D., Lafuente, A.L., Loreti, M., Margheri, A., Massink, M., Morichetta, A., Pugliese, R., Tiezzi, F., Vandin, A.: The SCEL language: design, implementation, verification. In: Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.) Software Engineering for Collective Autonomic Systems. LNCS, vol. 8998, pp. 3\u201371. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9_1"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Deugo, D.: Choosing a mobile agent messaging model. In: ISADS, pp. 278\u2013286. IEEE (2001)","DOI":"10.1109\/ISADS.2001.917429"},{"key":"5_CR32","unstructured":"Ericsson Computer Science Laboratory. The Erlang programming language. https:\/\/www.erlang.org\/. Accessed 12 Apr 2018"},{"issue":"3","key":"5_CR33","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/2211616.2211619","volume":"21","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A., et al.: A logical verification methodology for service-oriented computing. ACM Trans. Softw. Eng. Methodol. 21(3), 16:1\u201316:46 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"5_CR34","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0960129504004165","volume":"14","author":"GL Ferrari","year":"2004","unstructured":"Ferrari, G.L., Moggi, E., Pugliese, R.: Metaklaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. 14(3), 367\u2013395 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Ferscha, A.: Collective adaptive systems. In: UbiComp\/ISWC, pp. 893\u2013895. ACM (2015)","DOI":"10.1145\/2800835.2809508"},{"issue":"1","key":"5_CR36","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-51285-3_30","volume-title":"PARLE 1989 Parallel Architectures and Languages Europe","author":"D Gelernter","year":"1989","unstructured":"Gelernter, D.: Multiple tuple spaces in Linda. In: Odijk, E., Rem, M., Syre, J.-C. (eds.) PARLE 1989. LNCS, vol. 366, pp. 20\u201327. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/3-540-51285-3_30"},{"key":"5_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"698","DOI":"10.1007\/978-3-642-20401-2_34","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"S Gnesi","year":"2011","unstructured":"Gnesi, S., Pugliese, R., Tiezzi, F.: The Sensoria approach applied to the finance case study. In: Wirsing, M., H\u00f6lzl, M. (eds.) Rigorous Software Engineering for Service-Oriented Systems. LNCS, vol. 6582, pp. 698\u2013718. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20401-2_34"},{"key":"5_CR39","unstructured":"Google. The Go programming language. https:\/\/golang.org\/doc\/. Accessed 20 Feb 2018"},{"issue":"8","key":"5_CR40","doi-asserted-by":"publisher","first-page":"665","DOI":"10.1016\/j.jlap.2008.12.001","volume":"78","author":"D Gorla","year":"2009","unstructured":"Gorla, D., Pugliese, R.: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8), 665\u2013689 (2009)","journal-title":"J. Log. Algebr. Program."},{"issue":"8","key":"5_CR41","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"5","key":"5_CR42","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"5_CR43","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36, 41\u201350 (2003)","journal-title":"Computer"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33\u201347. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_4"},{"key":"5_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-540-75698-9_15","volume-title":"International Symposium on Fundamentals of Software Engineering","author":"A Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223\u2013239. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75698-9_15"},{"issue":"3","key":"5_CR46","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/j.scico.2011.03.002","volume":"77","author":"A Lapadula","year":"2012","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3), 189\u2013213 (2012)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"5_CR47","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/2805789.2805800","volume":"45","author":"BM Maggs","year":"2015","unstructured":"Maggs, B.M., Sitaraman, R.K.: Algorithmic nuggets in content delivery. SIGCOMM Comput. Commun. Rev. 45(3), 52\u201366 (2015)","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"Margheri, A., Pugliese, R., Tiezzi, F.: Linguistic abstractions for programming and policing autonomic computing systems. In: UIC\/ATC, pp. 404\u2013409. IEEE (2013)","DOI":"10.1109\/UIC-ATC.2013.33"},{"key":"5_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-10772-6_6","volume-title":"Information Systems Security","author":"M Masi","year":"2009","unstructured":"Masi, M., Pugliese, R., Tiezzi, F.: On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals. In: Prakash, A., Sen Gupta, I. (eds.) ICISS 2009. LNCS, vol. 5905, pp. 55\u201370. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10772-6_6"},{"key":"5_CR50","doi-asserted-by":"crossref","unstructured":"Mayer, P., et al.: The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing. In: SASOW, pp. 89\u201394. IEEE (2013)","DOI":"10.1109\/SASOW.2013.16"},{"issue":"5","key":"5_CR51","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1017\/S0960129504004323","volume":"14","author":"M Merro","year":"2004","unstructured":"Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. Math. Struct. Comput. Sci. 14(5), 715\u2013767 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"5_CR52","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes I and II. Inf. Comput. 100(1), 1\u201340, 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"5_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-319-15545-6_36","volume-title":"Software, Services, and Systems","author":"U Montanari","year":"2015","unstructured":"Montanari, U., Pugliese, R., Tiezzi, F.: Programming autonomic systems with multiple constraint stores. In: De Nicola, R., Hennicker, R. (eds.) Software, Services, and Systems. LNCS, vol. 8950, pp. 641\u2013661. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_36"},{"key":"5_CR54","unstructured":"OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS, April 2007"},{"issue":"2\u20133","key":"5_CR55","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."},{"key":"5_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b103251","volume-title":"Global Computing","year":"2005","unstructured":"Priami, C., Quaglia, P. (eds.): GC 2004. LNCS, vol. 3267. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b103251"},{"issue":"1","key":"5_CR57","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jal.2011.11.002","volume":"10","author":"R Pugliese","year":"2012","unstructured":"Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. J. Appl. Logic 10(1), 2\u201331 (2012)","journal-title":"J. Appl. Logic"},{"key":"5_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-642-02930-1_46","volume-title":"Automata, Languages and Programming","author":"R Pugliese","year":"2009","unstructured":"Pugliese, R., Tiezzi, F., Yoshida, N.: On observing dynamic prioritised actions in SOC. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 558\u2013570. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02930-1_46"},{"key":"5_CR59","unstructured":"Sebastio, S., Vandin, A.: MultiVeStA: statistical model checking for discrete event simulators. In: ValueTools, pp. 310\u2013315. ICST\/ACM (2013)"},{"issue":"4","key":"5_CR60","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani, M., Movaghar, A., Shali, A., de Boer, F.S.: Modeling and verification of reactive systems using rebeca. Fundamenta Informaticae 63(4), 385\u2013410 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"5_CR61","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.scico.2010.07.002","volume":"76","author":"MH ter Beek","year":"2011","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2), 119\u2013135 (2011)","journal-title":"Sci. Comput. Program."},{"key":"5_CR62","unstructured":"W3C. Web services activity. https:\/\/www.w3.org\/2002\/ws\/. Accessed 20 Feb 2018"},{"key":"5_CR63","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20401-2","volume-title":"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing","year":"2011","unstructured":"Wirsing, M., H\u00f6lzl, M. (eds.): Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. LNCS, vol. 6582. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20401-2"},{"key":"5_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16310-9","volume-title":"Software Engineering for Collective Autonomic Systems - The ASCENS Approach","year":"2015","unstructured":"Wirsing, M., H\u00f6lzl, M., Koch, N., Mayer, P. (eds.): Software Engineering for Collective Autonomic Systems - The ASCENS Approach. LNCS, vol. 8998. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16310-9"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92408-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T19:53:12Z","timestamp":1751658792000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-92408-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319924076","9783319924083"],"references-count":64,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92408-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"27 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2018.discotec.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}