{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T20:10:00Z","timestamp":1725912600024},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663784"},{"type":"electronic","value":"9783319663791"}],"license":[{"start":{"date-parts":[[2017,10,5]],"date-time":"2017-10-05T00:00:00Z","timestamp":1507161600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-66379-1_9","type":"book-chapter","created":{"date-parts":[[2017,10,4]],"date-time":"2017-10-04T04:08:21Z","timestamp":1507090101000},"page":"89-101","source":"Crossref","is-referenced-by-count":1,"title":["Programming the Interaction Space Effectively with $$\\texttt {ReSpecT}\\mathbb {X}$$"],"prefix":"10.1007","author":[{"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,5]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004). doi: 10.1017\/S0960129504004153","DOI":"10.1017\/S0960129504004153"},{"key":"9_CR2","unstructured":"Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.J., Proen\u00e7a, J.: Modeling, testing and executing Reo connectors with the Eclipse coordination tools. In: International Workshop on Formal Aspects of Component Software (FACS 2008) (Sep, 2008)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-agent Systems with JADE. Wiley, Feb (2007)","DOI":"10.1002\/9780470058411"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Bettini, L., De\u00a0Nicola, R., Pugliese, R.: Klava: a Java package for distributed and mobile applications. Softw. Pract. Exp. 32(14), 1365\u20131394 (2002). doi: 10.1002\/spe.486","DOI":"10.1002\/spe.486"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1016\/S1571-0661(04)00317-2","volume":"62","author":"L Bettini","year":"2002","unstructured":"Bettini, L., Nicola, R.D., Pugliese, R.: X-Klaim and Klava. Electron. Notes Theor. Comput. Sci. 62, 24\u201337 (2002). doi: 10.1016\/S1571-0661(04)00317-2","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.J.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Oct (2007)","DOI":"10.1002\/9780470061848"},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"Bos, B., Chmielewski, L., Hoepman, J.H., Nguyen, T.S.: Remote management and secure application development for pervasive home systems using Jason. In: 3rd International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing (SecPerU 2007), pp. 7\u201312. Jul (2007). doi: 10.1109\/SECPERU.2007.9","DOI":"10.1109\/SECPERU.2007.9"},{"key":"9_CR8","doi-asserted-by":"publisher","unstructured":"Castanedo, F., Patricio, M.A., Garc\u00eda, J., Molina, J.M.: Extending surveillance systems capabilities using BDI cooperative sensor agents. In: 4th ACM International Workshop on Video Surveillance and Sensor Networks (VSSN \u201906), pp. 131\u2013138. ACM (2006). doi: 10.1145\/1178782.1178802","DOI":"10.1145\/1178782.1178802"},{"key":"9_CR9","unstructured":"Ceriotti, M., Mottola, L., Picco, G.P., Murphy, A.L., Guna, S., Corra, M., Pozzi, M., Zonta, D., Zanon, P.: Monitoring heritage buildings with wireless sensor networks: the Torre Aquila deployment. In: 2009 International Conference on Information Processing in Sensor Networks (IPSN 2009), pp. 277\u2013288. IEEE Computer Society (2009). http:\/\/ieeexplore.ieee.org\/document\/5211924\/"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Ferrari, G., Pugliese, R.: KLAIM: a kernel language for agent interaction and mobility. IEEE Trans. Softw. Eng. 24(5), 315\u2013330 (1998). doi: 10.1109\/32.685256","DOI":"10.1109\/32.685256"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"Denti, E., Calegari, R.: Butler-ising homemanager: a pervasive multi-agent system for home intelligence. In: 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), pp. 249\u2013256. (10\u201312\u00a0Jan 2015). doi: 10.5220\/0005284002490256","DOI":"10.5220\/0005284002490256"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Denti, E., Natali, A., Omicini, A.: On the expressive power of a language for programming coordination media. In: 1998 ACM Symposium on Applied Computing (SAC\u201998), pp. 169\u2013177. ACM (27 Feb\u20131 Mar 1998). doi: 10.1145\/330560.330665","DOI":"10.1145\/330560.330665"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Dubovitskaya, A., Urovi, V., Barba, I., Aberer, K., Schumacher, M.I.: A multiagent system for dynamic data aggregation in medical research. BioMed. Res. Int. (2016). doi: 10.1155\/2016\/9027457","DOI":"10.1155\/2016\/9027457"},{"key":"9_CR14","doi-asserted-by":"publisher","unstructured":"Fernandez-Marquez, J., Marzo Serugendo, G., Montagna, S., Viroli, M., Arcos, J.: Description and composition of bio-inspired design patterns: a complete overview. Nat. Comput. 12(1), 43\u201367 (2013). doi: 10.1007\/s11047-012-9324-y","DOI":"10.1007\/s11047-012-9324-y"},{"key":"9_CR15","volume-title":"JavaSpaces Principles, Patterns, and Practice","author":"E Freeman","year":"1999","unstructured":"Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice, 1st edn. Addison-Wesley Longman Ltd., Essex, UK (1999)","edition":"1"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985). doi: 10.1145\/2363.2433","DOI":"10.1145\/2363.2433"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 96\u2013107 (1992). doi: 10.1145\/129630.376083","DOI":"10.1145\/129630.376083"},{"issue":"3","key":"9_CR18","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1057\/jos.2012.28","volume":"7","author":"PP Gonz\u00e1lez P\u00e9rez","year":"2013","unstructured":"Gonz\u00e1lez P\u00e9rez, P.P., Omicini, A., Sbaraglia, M.: A biochemically-inspired coordination-based model for simulating intracellular signalling pathways. J. Simul. 7(3), 216\u2013226 (2013). doi: 10.1057\/jos.2012.28","journal-title":"J. Simul."},{"key":"9_CR19","unstructured":"Mariani, S., Omicini, A.: multi-paradigm coordination for MAS: integrating heterogeneous coordination approaches in MAS technologies. In: WOA 2016\u201417th Workshop \u201cFrom Objects to Agents\u201d. CEUR Workshop Proceedings, vol. 1664, pp. 91\u201399. (29\u201330\u00a0Jul 2016). http:\/\/ceur-ws.org\/Vol-1664\/w16.pdf"},{"key":"9_CR20","doi-asserted-by":"publisher","unstructured":"Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97\u2013117 (2007). doi: 10.1016\/j.entcs.2007.03.006","DOI":"10.1016\/j.entcs.2007.03.006"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Omicini, A., Denti, E.: From tuple spaces to tuple centres. Sci. Comput. Program. 41(3), 277\u2013294 (2001). doi: 10.1016\/S0167-6423(01)00011-9","DOI":"10.1016\/S0167-6423(01)00011-9"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Omicini, A., Viroli, M.: Coordination models and languages: from parallel computing to self-organisation. Knowl. Eng. Rev. 26(1), 53\u201359 (2011). doi: 10.1017\/S026988891000041X","DOI":"10.1017\/S026988891000041X"},{"key":"9_CR23","doi-asserted-by":"publisher","unstructured":"Omicini, A., Zambonelli, F.: Coordination for Internet application development. Auton. Ag. Multi-Agent Syst. 2(3), 251\u2013269 (1999). doi: 10.1023\/A:1010060322135","DOI":"10.1023\/A:1010060322135"},{"key":"9_CR24","doi-asserted-by":"publisher","unstructured":"Picco, G.P., Murphy, A.L., Roman, G.C.: LIME: Linda meets mobility. In: 21st International Conference on Software Engineering (ICSE \u201999), pp. 368\u2013377. ACM Press (16\u201322\u00a0May 1999). doi: 10.1145\/302405.302659","DOI":"10.1145\/302405.302659"},{"key":"9_CR25","doi-asserted-by":"publisher","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Multi-Agent Programming: Languages, Platforms and Applications, pp. 149\u2013174. Springer US (2005). doi: 10.1007\/0-387-26350-0_6","DOI":"10.1007\/0-387-26350-0_6"},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Agents Breaking Away, Springer (1996). doi: 10.1007\/BFb0031845","DOI":"10.1007\/BFb0031845"},{"issue":"1","key":"9_CR27","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.asoc.2009.11.022","volume":"11","author":"CJ Su","year":"2011","unstructured":"Su, C.J., Wu, C.Y.: Jade implemented mobile multi-agent based, distributed information platform for pervasive health care monitoring. Appl. Soft Comput. 11(1), 315\u2013325 (2011). doi: 10.1016\/j.asoc.2009.11.022","journal-title":"Appl. Soft Comput."},{"key":"9_CR28","unstructured":"Viroli, M., Omicini, A.: Coordination as a service. Fundam. Inform. 73(4), 507\u2013534 (2006). http:\/\/content.iospress.com\/articles\/fundamenta-informaticae\/fi73-4-04"},{"key":"9_CR29","doi-asserted-by":"publisher","unstructured":"Wallis, P., Ronnquist, R., Jarvis, D., Lucas, A.: The automated wingman\u2014using JACK intelligent agents for unmanned autonomous vehicles. In: 2002 IEEE Aerospace Conference, vol.\u00a05, pp. 2615\u20132622 (2002). doi: 10.1109\/AERO.2002.1035444","DOI":"10.1109\/AERO.2002.1035444"},{"key":"9_CR30","doi-asserted-by":"publisher","unstructured":"Winikoff, M.: Jack\u2122 intelligent agents: an industrial strength platform. In: Bordini, R.H., Dastani, M., Dix, J., El\u00a0Fallah\u00a0Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 175\u2013193. Springer, US (2005). doi: 10.1007\/0-387-26350-0_7","DOI":"10.1007\/0-387-26350-0_7"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66379-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T02:40:34Z","timestamp":1570156834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66379-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,5]]},"ISBN":["9783319663784","9783319663791"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66379-1_9","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2017,10,5]]}}}