{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T05:28:37Z","timestamp":1720762117340},"reference-count":157,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1016\/j.jlamp.2020.100531","type":"journal-article","created":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T23:01:09Z","timestamp":1582585269000},"page":"100531","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Twenty years of coordination technologies: COORDINATION contribution to the state of art"],"prefix":"10.1016","volume":"113","author":[{"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[]},{"given":"Giovanna","family":"Di Marzo Serugendo","sequence":"additional","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-1330-253X","authenticated-orcid":false,"given":"Maxime","family":"Louvel","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[]},{"given":"Franco","family":"Zambonelli","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlamp.2020.100531_br0010","author":"Arbab"},{"key":"10.1016\/j.jlamp.2020.100531_br0020","author":"Banville"},{"key":"10.1016\/j.jlamp.2020.100531_br0030","author":"Tolksdorf"},{"key":"10.1016\/j.jlamp.2020.100531_br0040","author":"De Bosschere"},{"key":"10.1016\/j.jlamp.2020.100531_br0050","author":"Fukuda"},{"key":"10.1016\/j.jlamp.2020.100531_br0060","author":"Denti"},{"key":"10.1016\/j.jlamp.2020.100531_br0070","author":"van der Goot"},{"key":"10.1016\/j.jlamp.2020.100531_br0080","author":"Rowstron"},{"key":"10.1016\/j.jlamp.2020.100531_br0090","author":"Tolksdorf"},{"key":"10.1016\/j.jlamp.2020.100531_br0100","author":"Bryce"},{"key":"10.1016\/j.jlamp.2020.100531_br0110","author":"Varela"},{"key":"10.1016\/j.jlamp.2020.100531_br0120","author":"Jagannathan"},{"key":"10.1016\/j.jlamp.2020.100531_br0130","author":"Rossi"},{"key":"10.1016\/j.jlamp.2020.100531_br0140","author":"Schumacher"},{"key":"10.1016\/j.jlamp.2020.100531_br0150","author":"Sample"},{"key":"10.1016\/j.jlamp.2020.100531_br0160","author":"Cremonini"},{"key":"10.1016\/j.jlamp.2020.100531_br0170","author":"Jamison"},{"key":"10.1016\/j.jlamp.2020.100531_br0180","author":"Cruz"},{"key":"10.1016\/j.jlamp.2020.100531_br0190","doi-asserted-by":"crossref","unstructured":"S. Ducasse, T. Hofmann, O. Nierstrasz, Openspaces: an object-oriented framework for reconfigurable coordination spaces, in: Porto and Roman [156], pp. 1\u201318.","DOI":"10.1007\/3-540-45263-X_1"},{"key":"10.1016\/j.jlamp.2020.100531_br0200","doi-asserted-by":"crossref","unstructured":"F. Achermann, S. Kneubuehl, O. Nierstrasz, Scripting coordination styles, in: Porto and Roman [156], pp. 19\u201335.","DOI":"10.1007\/3-540-45263-X_2"},{"key":"10.1016\/j.jlamp.2020.100531_br0210","doi-asserted-by":"crossref","unstructured":"X. Ao, N. Minsky, T.D. Nguyen, V. Ungureanu, Law-Governed Internet communities, in: Porto and Roman [156], pp. 133\u2013147.","DOI":"10.1007\/3-540-45263-X_9"},{"key":"10.1016\/j.jlamp.2020.100531_br0220","doi-asserted-by":"crossref","unstructured":"I. Merrick, A. Wood, Scoped coordination in open distributed systems, in: Porto and Roman [156], pp. 311\u2013316.","DOI":"10.1007\/3-540-45263-X_21"},{"key":"10.1016\/j.jlamp.2020.100531_br0230","author":"Arbab"},{"key":"10.1016\/j.jlamp.2020.100531_br0240","author":"Tolksdorf"},{"key":"10.1016\/j.jlamp.2020.100531_br0250","author":"Bettini"},{"issue":"5","key":"10.1016\/j.jlamp.2020.100531_br0260","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","article-title":"Klaim: a kernel language for agents interaction and mobility","volume":"24","author":"De Nicola","year":"1998","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.jlamp.2020.100531_br0270","author":"Fok"},{"key":"10.1016\/j.jlamp.2020.100531_br0280","doi-asserted-by":"crossref","unstructured":"S. Mostinckx, C. Scholliers, E. Philips, C. Herzeel, W. De Meuter, Fact spaces: coordination in the face of disconnection, in: Murphy and Vitek [158], pp. 268\u2013285.","DOI":"10.1007\/978-3-540-72794-1_15"},{"key":"10.1016\/j.jlamp.2020.100531_br0290","series-title":"Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '05","first-page":"31","article-title":"Ambient-oriented programming","author":"Dedecker","year":"2005"},{"key":"10.1016\/j.jlamp.2020.100531_br0300","doi-asserted-by":"crossref","unstructured":"E. Simperl, R. Krummenacher, L. Nixon, A coordination model for triplespace computing, in: Murphy and Vitek [158], pp. 1\u201318.","DOI":"10.1007\/978-3-540-72794-1_1"},{"key":"10.1016\/j.jlamp.2020.100531_br0310","series-title":"Intelligence in Communication Systems","first-page":"43","article-title":"Triple-space computing: semantic web services based on persistent publication of information","volume":"vol. 3283","author":"Fensel","year":"2004"},{"key":"10.1016\/j.jlamp.2020.100531_br0320","author":"Sen"},{"key":"10.1016\/j.jlamp.2020.100531_br0330","author":"Abreu"},{"key":"10.1016\/j.jlamp.2020.100531_br0340","series-title":"Computer Performance Evaluation Modelling Techniques and Tools","first-page":"353","article-title":"The PEPA workbench: a tool to support a process algebra-based approach to performance modelling","volume":"vol. 794","author":"Gilmore","year":"1994"},{"key":"10.1016\/j.jlamp.2020.100531_br0350","author":"Bettini"},{"key":"10.1016\/j.jlamp.2020.100531_br0360","series-title":"Global Computing","first-page":"179","article-title":"A software framework for rapid prototyping of run-time systems for mobile calculi","author":"Bettini","year":"2005"},{"key":"10.1016\/j.jlamp.2020.100531_br0370","author":"Tarau"},{"key":"10.1016\/j.jlamp.2020.100531_br0380","series-title":"Coordination Models and Languages","first-page":"61","article-title":"JErlang: Erlang with joins","volume":"vol. 6116","author":"Plociniczak","year":"2010"},{"key":"10.1016\/j.jlamp.2020.100531_br0390","series-title":"23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","first-page":"372","article-title":"The reflexive CHAM and the Join-calculus","author":"Fournet","year":"1996"},{"key":"10.1016\/j.jlamp.2020.100531_br0400","author":"Ng"},{"key":"10.1016\/j.jlamp.2020.100531_br0410","series-title":"Programming Languages and Systems","first-page":"122","article-title":"Language primitives and type discipline for structured communication-based programming","volume":"vol. 1381","author":"Honda","year":"1998"},{"key":"10.1016\/j.jlamp.2020.100531_br0420","author":"Rossi"},{"key":"10.1016\/j.jlamp.2020.100531_br0430","author":"Liptchinsky"},{"key":"10.1016\/j.jlamp.2020.100531_br0440","series-title":"Coordination Models and Languages","first-page":"211","article-title":"Interactive interaction constraints","volume":"vol. 7890","author":"Proen\u00e7a","year":"2013"},{"key":"10.1016\/j.jlamp.2020.100531_br0450","series-title":"Coordination Models and Languages","first-page":"83","article-title":"LINC: a compact yet powerful coordination environment","volume":"vol. 8459","author":"Louvel","year":"2014"},{"issue":"1","key":"10.1016\/j.jlamp.2020.100531_br0460","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2020.100531_br0470","author":"Andri\u0107"},{"key":"10.1016\/j.jlamp.2020.100531_br0480","series-title":"2002 ACM Symposium on Applied Computing (SAC 2002)","first-page":"373","article-title":"An infrastructure language for open nets","author":"Bettini","year":"2002"},{"key":"10.1016\/j.jlamp.2020.100531_br0490","author":"De Angelis"},{"key":"10.1016\/j.jlamp.2020.100531_br0500","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1016\/j.pmcj.2014.12.002","article-title":"Developing pervasive multi-agent systems with nature-inspired coordination","volume":"17","author":"Zambonelli","year":"2015","journal-title":"Pervasive Mob. Comput."},{"issue":"3","key":"10.1016\/j.jlamp.2020.100531_br0510","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1023\/A:1019263731139","article-title":"WCL: a co-ordination language for geographically distributed agents","volume":"1","author":"Rowstron","year":"1998","journal-title":"World Wide Web"},{"key":"10.1016\/j.jlamp.2020.100531_br0520","series-title":"Mobile Object Systems Towards the Programmable Internet","first-page":"213","article-title":"Jada: coordination and communication for Java agents","volume":"vol. 1222","author":"Ciancarini","year":"1997"},{"key":"10.1016\/j.jlamp.2020.100531_br0530","series-title":"Multiset Processing","first-page":"17","article-title":"Gamma and the chemical reaction model: fifteen years after","volume":"vol. 2235","author":"Ban\u0103tre","year":"2001"},{"key":"10.1016\/j.jlamp.2020.100531_br0540","series-title":"Coordination Models and Languages","first-page":"78","article-title":"Development tools for rule-based coordination programming in LINC","volume":"vol. 10319","author":"Louvel","year":"2017"},{"key":"10.1016\/j.jlamp.2020.100531_br0550","series-title":"Coordination Languages and Models","first-page":"220","article-title":"Coordinating mobile agents via blackboards and access rights","author":"De Nicola","year":"1997"},{"issue":"3","key":"10.1016\/j.jlamp.2020.100531_br0560","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/1151695.1151698","article-title":"LIME: a coordination model and middleware supporting mobility of hosts and agents","volume":"15","author":"Murphy","year":"2006","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.jlamp.2020.100531_br0570","series-title":"ECOOP 2008 \u2013 Object-Oriented Programming","first-page":"516","article-title":"Session-based distributed programming in Java","volume":"vol. 5142","author":"Hu","year":"2008"},{"key":"10.1016\/j.jlamp.2020.100531_br0580","series-title":"Bulk primitives in Linda run-time systems","author":"Rowstron","year":"1996"},{"issue":"3","key":"10.1016\/j.jlamp.2020.100531_br0590","first-page":"6","article-title":"Coordination mechanisms for the modelling and simulation of stochastic systems: the case of uniform primitives","volume":"IV","author":"Mariani","year":"2014","journal-title":"SCS M&S Mag."},{"issue":"3","key":"10.1016\/j.jlamp.2020.100531_br0600","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-6423(01)00011-9","article-title":"From tuple spaces to tuple centres","volume":"41","author":"Omicini","year":"2001","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br0610","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/j.entcs.2007.03.006","article-title":"Formal ReSpecT in the A&A perspective","volume":"175","author":"Omicini","year":"2007","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"4","key":"10.1016\/j.jlamp.2020.100531_br0620","first-page":"507","article-title":"Coordination as a service","volume":"73","author":"Viroli","year":"2006","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.jlamp.2020.100531_br0630","series-title":"Practical Aspects of Declarative Languages","first-page":"184","article-title":"tuProlog: a light-weight Prolog for Internet applications and infrastructures","volume":"vol. 1990","author":"Denti","year":"2001"},{"key":"10.1016\/j.jlamp.2020.100531_br0640","series-title":"Intelligent Distributed Computing VIII","first-page":"69","article-title":"Models of autonomy and coordination: integrating subjective & objective approaches in agent development frameworks","volume":"vol. 570","author":"Mariani","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br0650","series-title":"WOA 2016\u201317th Workshop \u201cfrom Objects to Agents\u201d","first-page":"91","article-title":"Multi-paradigm coordination for MAS: integrating heterogeneous coordination approaches in MAS technologies","volume":"vol. 1664","author":"Mariani","year":"2016"},{"key":"10.1016\/j.jlamp.2020.100531_br0660","series-title":"4th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-99)","first-page":"97","article-title":"JADE\u2013a FIPA-compliant agent framework","author":"Bellifemine","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br0670","series-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"Bordini","year":"2007"},{"issue":"3","key":"10.1016\/j.jlamp.2020.100531_br0680","doi-asserted-by":"crossref","first-page":"655","DOI":"10.2298\/CSIS180111031C","article-title":"ReSpecTX: programming interaction made easy","volume":"15","author":"Ciatto","year":"2018","journal-title":"Comput. Sci. Inf. Syst."},{"key":"10.1016\/j.jlamp.2020.100531_br0690","unstructured":"R. Calegari, E. Denti, Building Smart Spaces on the Home Manager platform, ALP Newsletter."},{"key":"10.1016\/j.jlamp.2020.100531_br0700","doi-asserted-by":"crossref","DOI":"10.1155\/2016\/9027457","article-title":"A multiagent system for dynamic data aggregation in medical research","author":"Dubovitskaya","year":"2016","journal-title":"BioMed Res. Int."},{"key":"10.1016\/j.jlamp.2020.100531_br0710","series-title":"The 28th International Conference on Computer Communications and Networks (ICCCN 2019)","article-title":"TuSoW: tuple spaces for edge computing","author":"Ciatto","year":"2019"},{"key":"10.1016\/j.jlamp.2020.100531_br0720","series-title":"Object-Based Models and Languages for Concurrent Systems","first-page":"125","article-title":"Law-governed Linda as a coordination model","volume":"vol. 924","author":"Minsky","year":"1994"},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br0730","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","article-title":"Modeling component connectors in Reo by constraint automata","volume":"61","author":"Baier","year":"2006","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"10.1016\/j.jlamp.2020.100531_br0740","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s11761-013-0147-1","article-title":"Orchestrating web services using Reo: from circuits and behaviors to automatically generated code","volume":"8","author":"Jongmans","year":"2014","journal-title":"Serv. Oriented Comput. Appl."},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br0750","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","article-title":"Reo + mCRL2: a framework for model-checking dataflow in service compositions","volume":"24","author":"Kokash","year":"2012","journal-title":"Form. Asp. Comput."},{"key":"10.1016\/j.jlamp.2020.100531_br0760","series-title":"27th Annual ACM Symposium on Applied Computing (SAC 2012)","first-page":"1510","article-title":"Dreams: a framework for distributed synchronous coordination","author":"Proen\u00e7a","year":"2012"},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br0770","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/5254.920597","article-title":"Agents and the semantic web","volume":"16","author":"Hendler","year":"2001","journal-title":"IEEE Intell. Syst."},{"key":"10.1016\/j.jlamp.2020.100531_br0780","author":"Bettini"},{"key":"10.1016\/j.jlamp.2020.100531_br0790","series-title":"Proceedings Seventh IEEE International Workshop on Enabling Technologies: Infrastucture for Collaborative Enterprises (WET ICE '98) (Cat. No. 98TB100253)","first-page":"110","article-title":"Interactive mobile agents in x-klaim","author":"Bettini","year":"1998"},{"key":"10.1016\/j.jlamp.2020.100531_br0800","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/S1571-0661(04)00317-2","article-title":"X-Klaim and Klava: programming mobile code","volume":"62","author":"Bettini","year":"2002","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2020.100531_br0810","series-title":"Coordination Models and Languages","first-page":"35","article-title":"Logic fragments: a coordination model based on logic inference","author":"De Angelis","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br0820","series-title":"Proceedings of the 2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops","first-page":"9","article-title":"Pervasive middleware goes social: the sapere approach","author":"Castelli","year":"2010"},{"key":"10.1016\/j.jlamp.2020.100531_br0830","series-title":"A logic-based coordination middleware for self-organising systems: distributed reasoning based on many-valued logics","author":"De Angelis","year":"2017"},{"key":"10.1016\/j.jlamp.2020.100531_br0840","series-title":"SASO","first-page":"201","article-title":"The one-sapere simulator: a prototyping tool for engineering self-organisation in pervasive environments","author":"Fernandez-Marquez","year":"2014"},{"key":"10.1016\/j.jlamp.2020.100531_br0850","series-title":"SIMUTools '09: Proceedings of the 2nd International Conference on Simulation Tools and Techniques","article-title":"The ONE simulator for DTN protocol evaluation","author":"Ker\u00e4nen","year":"2009"},{"key":"10.1016\/j.jlamp.2020.100531_br0860","series-title":"1999 International Conference on Software Engineering (ICSE 1999)","first-page":"368","article-title":"LIME: Linda meets mobility","author":"Picco","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br0870","series-title":"Workshop \u201cAgenti Intelligenti e Internet: Teorie, Strumenti e Applicazioni\u201d, 7th AI*IA Convention (AI*IA 2000)","first-page":"1","article-title":"Hybrid coordination models for handling information exchange among Internet agents","author":"Omicini","year":"2000"},{"issue":"15","key":"10.1016\/j.jlamp.2020.100531_br0880","doi-asserted-by":"crossref","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","article-title":"The Internet of things: a survey","volume":"54","author":"Atzori","year":"2010","journal-title":"Comput. Netw."},{"issue":"5","key":"10.1016\/j.jlamp.2020.100531_br0890","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MC.2015.152","article-title":"Toward the web of things: applying web technologies to the physical world","volume":"48","author":"Heuer","year":"2015","journal-title":"Computer"},{"key":"10.1016\/j.jlamp.2020.100531_br0900","series-title":"Inter-Cooperative Collective Intelligence: Techniques and Applications","first-page":"1","article-title":"Internet of intelligent things: bringing artificial intelligence into things and communication networks","volume":"vol. 495","author":"Ars\u00e9nio","year":"2014"},{"issue":"3\/4","key":"10.1016\/j.jlamp.2020.100531_br0910","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1142\/S0218843002000637","article-title":"Virtual enterprises and workflow management as agent coordination issues","volume":"11","author":"Ricci","year":"2002","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br0920","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1109\/TNSM.2016.2541171","article-title":"Situation-aware IoT service coordination using the event-driven SOA paradigm","volume":"13","author":"Cheng","year":"2016","journal-title":"IEEE Trans. Netw. Serv. Manag."},{"key":"10.1016\/j.jlamp.2020.100531_br0930","series-title":"Proceedings of the 2014 IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD)","first-page":"493","article-title":"Integration of agent-based and cloud computing for the smart objects-oriented IoT","author":"Fortino","year":"2014"},{"key":"10.1016\/j.jlamp.2020.100531_br0940","series-title":"2015 5th International Conference on the Internet of Things (IOT)","first-page":"155","article-title":"Developing IoT applications in the Fog: a distributed dataflow approach","author":"Giang","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br0950","series-title":"Proceedings of the 1998 ACM Symposium on Applied Computing","first-page":"169","article-title":"On the expressive power of a language for programming coordination media","author":"Denti","year":"1998"},{"key":"10.1016\/j.jlamp.2020.100531_br0960","series-title":"Proceedings of the 1999 ACM Symposium on Applied Computing","first-page":"183","article-title":"Tuple centres for the coordination of Internet agents","author":"Omicini","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br0970","series-title":"Proceedings of the 2000 ACM Symposium on Applied Computing - Volume 1","first-page":"181","article-title":"Xml dataspaces for mobile agent coordination","author":"Cabri","year":"2000"},{"key":"10.1016\/j.jlamp.2020.100531_br0980","series-title":"Mobile Agents","first-page":"237","article-title":"Reactive tuple spaces for mobile agent coordination","author":"Cabri","year":"1998"},{"key":"10.1016\/j.jlamp.2020.100531_br0990","series-title":"Proceedings of the 2003 ACM Symposium on Applied Computing","first-page":"360","article-title":"Coordination-based distributed constraint solving in dice","author":"Zoeteweij","year":"2003"},{"key":"10.1016\/j.jlamp.2020.100531_br1000","series-title":"Proceedings of the 2004 ACM Symposium on Applied Computing","first-page":"479","article-title":"Self-maintained distributed tuples for field-based coordination in dynamic networks","author":"Mamei","year":"2004"},{"key":"10.1016\/j.jlamp.2020.100531_br1010","series-title":"23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings","first-page":"342","article-title":"Tuples on the air: a middleware for context-aware computing in dynamic networks","author":"Mamei","year":"2003"},{"key":"10.1016\/j.jlamp.2020.100531_br1020","series-title":"Proceedings of the 2009 ACM Symposium on Applied Computing","first-page":"1353","article-title":"A framework for modelling and implementing self-organising coordination","author":"Viroli","year":"2009"},{"key":"10.1016\/j.jlamp.2020.100531_br1030","series-title":"Proceedings of the 2010 ACM Symposium on Applied Computing","first-page":"2037","article-title":"Coordination in open and dynamic environments with tucson semantic tuple centres","author":"Nardini","year":"2010"},{"key":"10.1016\/j.jlamp.2020.100531_br1040","series-title":"Proceedings of the 2011 ACM Symposium on Applied Computing","first-page":"885","article-title":"Programming coordination laws of artifacts in CArtAgO","author":"Sbaraglia","year":"2011"},{"key":"10.1016\/j.jlamp.2020.100531_br1050","series-title":"Multi-Agent Programming II: Languages, Platforms and Applications, Multiagent Systems, Artificial Societies, and Simulated Organizations","first-page":"259","article-title":"Environment programming in CArtAgO","author":"Ricci","year":"2009"},{"key":"10.1016\/j.jlamp.2020.100531_br1060","series-title":"Proceedings of the 27th Annual ACM Symposium on Applied Computing","first-page":"295","article-title":"Pervasive ecosystems: a coordination model based on semantic chemistry","author":"Viroli","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1070","series-title":"Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS 2011)","first-page":"667","article-title":"A chemical inspired simulation framework for pervasive services ecosystems","author":"Pianini","year":"2011"},{"key":"10.1016\/j.jlamp.2020.100531_br1080","series-title":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","first-page":"1369","article-title":"Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks","author":"Stevenson","year":"2013"},{"key":"10.1016\/j.jlamp.2020.100531_br1090","series-title":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","first-page":"1846","article-title":"Protelis: practical aggregate programming","author":"Pianini","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br1100","series-title":"Proceedings of the 27th Annual ACM Symposium on Applied Computing","first-page":"1510","article-title":"Dreams: a framework for distributed synchronous coordination","author":"Proen\u00e7a","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1110","series-title":"Proceedings of the 28th Annual ACM Symposium on Applied Computing","first-page":"1355","article-title":"A peer to peer agent coordination framework for IHE based cross-community health record exchange","author":"Urovi","year":"2013"},{"key":"10.1016\/j.jlamp.2020.100531_br1120","series-title":"Proceedings of the 29th Annual ACM Symposium on Applied Computing","first-page":"1247","article-title":"Quantitative analysis of Reo-based service coordination","author":"Oliveira","year":"2014"},{"key":"10.1016\/j.jlamp.2020.100531_br1130","series-title":"Coordination Models and Languages","first-page":"1","article-title":"Stochastic reasoning about channel-based component connectors","author":"Baier","year":"2006"},{"key":"10.1016\/j.jlamp.2020.100531_br1140","series-title":"Proceedings of the 1998 ACM Symposium on Applied Computing","first-page":"194","article-title":"Multilingual and multiparadigm integration of a tuple channel-based coordination model","author":"D\u00edaz","year":"1998"},{"key":"10.1016\/j.jlamp.2020.100531_br1150","series-title":"Proceedings of the 1999 ACM Symposium on Applied Computing","first-page":"146","article-title":"A coordination language for mixed task and data parallel programs","author":"Rauber","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br1160","series-title":"Proceedings of the 2002 ACM Symposium on Applied Computing","first-page":"336","article-title":"Coordination middleware for XML-centric applications","author":"Ciancarini","year":"2002"},{"key":"10.1016\/j.jlamp.2020.100531_br1170","series-title":"Proceedings of the 4th International Conference on Coordination Languages and Models","first-page":"36","article-title":"Coordination technology for workflows on the web: workspaces","author":"Tolksdorf","year":"2000"},{"issue":"1","key":"10.1016\/j.jlamp.2020.100531_br1180","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1015584805733","article-title":"XMIDDLE: a data-sharing middleware for mobile computing","volume":"21","author":"Mascolo","year":"2002","journal-title":"Wirel. Pers. Commun."},{"key":"10.1016\/j.jlamp.2020.100531_br1190","series-title":"Proceedings of the 2005 ACM Symposium on Applied Computing","first-page":"443","article-title":"Multi-coordination of mobile agents: a model and a component-based architecture","author":"Fortino","year":"2005"},{"key":"10.1016\/j.jlamp.2020.100531_br1200","series-title":"Proceedings of the 2009 ACM Symposium on Applied Computing","first-page":"1374","article-title":"Knowledge-based coordination with a reliable semantic subscription mechanism","author":"Murth","year":"2009"},{"key":"10.1016\/j.jlamp.2020.100531_br1210","series-title":"Proceedings of the 27th Annual ACM Symposium on Applied Computing","first-page":"1516","article-title":"Programming urban-area applications","author":"Harnie","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1220","series-title":"Totam: Scoped Tuples for the Ambient, vol. 19","author":"Scholliers","year":"2009"},{"key":"10.1016\/j.jlamp.2020.100531_br1230","series-title":"Proceedings of the 30th Annual ACM Symposium on Applied Computing","first-page":"1827","article-title":"Data-centric authorization and integrity control in a linda tuplespace","author":"Fongen","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br1240","series-title":"Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014","article-title":"On the \u201clocal-to-global\u201d issue in self-organisation: chemical reactions with custom kinetic rates","year":"2014"},{"key":"10.1016\/j.jlamp.2020.100531_br1250","series-title":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","first-page":"271","article-title":"Decentralized coordination of heterogeneous ensembles using Jadex","author":"Kosak","year":"2016"},{"key":"10.1016\/j.jlamp.2020.100531_br1260","series-title":"Jadex: A BDI Reasoning Engine","first-page":"149","author":"Pokahr","year":"2005"},{"key":"10.1016\/j.jlamp.2020.100531_br1270","series-title":"Intelligent Agents V: Agents Theories, Architectures, and Languages","first-page":"1","article-title":"The belief-desire-intention model of agency","author":"Georgeff","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br1280","series-title":"2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems","first-page":"179","article-title":"A framework for the coordination of multiple autonomic managers in cloud environments","author":"Oliveira","year":"2013"},{"key":"10.1016\/j.jlamp.2020.100531_br1290","series-title":"2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","first-page":"235","article-title":"Self-organising news management: the molecules of knowledge approach","author":"Mariani","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1300","series-title":"AI*IA 2015, Advances in Artificial Intelligence","first-page":"102","article-title":"Anticipatory coordination in socio-technical knowledge-intensive environments: behavioural implicit communication in MoK","volume":"vol. 9336","author":"Mariani","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br1310","series-title":"Coordination of Complex Sociotechnical Systems: Self-Organisation of Knowledge in MoK, Artificial Intelligence: Foundations, Theory, and Algorithms","author":"Mariani","year":"2016"},{"issue":"1","key":"10.1016\/j.jlamp.2020.100531_br1320","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jaci.2010010101","article-title":"Behavioral Implicit Communication (BIC): communicating with smart environments","volume":"2","author":"Castelfranchi","year":"2010","journal-title":"Int. J. Ambient Comp. Intell."},{"key":"10.1016\/j.jlamp.2020.100531_br1330","series-title":"2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems","first-page":"223","article-title":"Towards a coordination approach to adaptive pervasive service ecosystems","author":"Viroli","year":"2011"},{"key":"10.1016\/j.jlamp.2020.100531_br1340","series-title":"2011 Fifth IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops","first-page":"114","article-title":"A coordination approach to adaptive pervasive service ecosystems","author":"Viroli","year":"2011"},{"key":"10.1016\/j.jlamp.2020.100531_br1350","series-title":"2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop","first-page":"212","article-title":"Spatial coordination of pervasive systems through chemical-inspired tuple spaces","author":"Viroli","year":"2010"},{"key":"10.1016\/j.jlamp.2020.100531_br1360","series-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","first-page":"164","article-title":"On programming and policing autonomic computing systems","author":"Loreti","year":"2014"},{"issue":"2","key":"10.1016\/j.jlamp.2020.100531_br1370","doi-asserted-by":"crossref","first-page":"7:1","DOI":"10.1145\/2619998","article-title":"A formal approach to autonomic systems programming: the SCEL language","volume":"9","author":"De Nicola","year":"2014","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"10.1016\/j.jlamp.2020.100531_br1380","series-title":"Engineering Secure Software and Systems","first-page":"60","article-title":"Formalisation and implementation of the XACML access control mechanism","author":"Masi","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1390","series-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","first-page":"288","article-title":"GoAt: attribute-based interaction in Google go","author":"Abd Alrahman","year":"2018"},{"key":"10.1016\/j.jlamp.2020.100531_br1400","series-title":"JavaSpaces Principles, Patterns, and Practice","author":"Freeman","year":"1999"},{"issue":"5","key":"10.1016\/j.jlamp.2020.100531_br1410","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1109\/JIOT.2016.2579198","article-title":"Edge computing: vision and challenges","volume":"3","author":"Shi","year":"2016","journal-title":"IEEE Int. Things J."},{"key":"10.1016\/j.jlamp.2020.100531_br1420","doi-asserted-by":"crossref","unstructured":"G.A. Papadopoulos, Models and technologies for the coordination of Internet agents: a survey, in: Omicini et al. [144], Ch. 2, pp. 25\u201356.","DOI":"10.1007\/978-3-662-04401-8_2"},{"key":"10.1016\/j.jlamp.2020.100531_br1430","doi-asserted-by":"crossref","unstructured":"D. Rossi, G. Cabri, E. Denti, Tuple-based technologies for coordination, in: Omicini et al. [144], Ch. 4, pp. 83\u2013109.","DOI":"10.1007\/978-3-662-04401-8_4"},{"key":"10.1016\/j.jlamp.2020.100531_br1440","series-title":"Coordination of Internet Agents: Models, Technologies, and Applications","year":"2001"},{"key":"10.1016\/j.jlamp.2020.100531_br1450","unstructured":"G. Di Marzo Serugendo, N. Abdennadher, H. Ben Mahfoudh, F.L. De Angelis, R. Tomaylla, Spatial edge services, Global IoT Summit."},{"key":"10.1016\/j.jlamp.2020.100531_br1470","first-page":"6","article-title":"Digital twins - introduction to the special theme","volume":"115","author":"Weippl","year":"2018","journal-title":"ERCIM News"},{"key":"10.1016\/j.jlamp.2020.100531_br1480","series-title":"Coordination Languages and Models. 2nd International Conference COORDINATION '97 Berlin, Germany, September 1\u20133, 1997 Proceedings","first-page":"1","volume":"vol. 1282","year":"1997"},{"key":"10.1016\/j.jlamp.2020.100531_br1490","series-title":"Coordination Models and Languages. 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6\u20139, 2011. Proceedings","volume":"vol. 6721","year":"2011"},{"key":"10.1016\/j.jlamp.2020.100531_br1500","series-title":"Coordination Models and Languages. 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14\u201315, 2012. Proceedings","volume":"vol. 7274","year":"2012"},{"key":"10.1016\/j.jlamp.2020.100531_br1510","series-title":"Coordination Models and Languages. 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4\u20136, 2008. Proceedings","volume":"vol. 5052","year":"2008"},{"key":"10.1016\/j.jlamp.2020.100531_br1520","series-title":"Coordination Models and Languages. 17th International Conference","volume":"vol. 9037","year":"2015"},{"key":"10.1016\/j.jlamp.2020.100531_br1530","series-title":"Coordination Models and Languages. 5th International Conference, COORDINATION 2002, York, UK, April 8\u201311, 2002 Proceedings","volume":"vol. 2315","year":"2002"},{"key":"10.1016\/j.jlamp.2020.100531_br1540","series-title":"Coordination Languages and Models. 1st International Conference, COORDINATION '96, Cesena, Italy, April 15\u201317, 1996, Proceedings","volume":"vol. 1061","year":"1996"},{"key":"10.1016\/j.jlamp.2020.100531_br1550","series-title":"Coordination Languages and Models. 3rd International Conference, COORDINATION'99, Amsterdam, the Netherlands, April 26\u201328, 1999 Proceedings","volume":"vol. 1594","year":"1999"},{"key":"10.1016\/j.jlamp.2020.100531_br1560","series-title":"Coordination Languages and Models. 4th International Conference, COORDINATION 2000, Limassol, Cyprus, September 11\u201313, 2000 Proceedings","volume":"vol. 1906","year":"2000"},{"key":"10.1016\/j.jlamp.2020.100531_br1570","series-title":"Coordination Models and Languages. 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24\u201327, 2004 Proceedings","volume":"vol. 2949","year":"2004"},{"key":"10.1016\/j.jlamp.2020.100531_br1580","series-title":"Coordination Models and Languages. 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6\u20138, 2007. Proceedings","volume":"vol. 4467","year":"2007"}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S235222082030016X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S235222082030016X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T21:52:40Z","timestamp":1717365160000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S235222082030016X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":157,"alternative-id":["S235222082030016X"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2020.100531","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Twenty years of coordination technologies: COORDINATION contribution to the state of art","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2020.100531","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"100531"}}