{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T18:49:39Z","timestamp":1672253379567},"reference-count":49,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2006,11,1]],"date-time":"2006-11-01T00:00:00Z","timestamp":1162339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":2450,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2006,11]]},"DOI":"10.1016\/j.scico.2005.07.014","type":"journal-article","created":{"date-parts":[[2006,7,19]],"date-time":"2006-07-19T14:30:22Z","timestamp":1153319422000},"page":"88-107","source":"Crossref","is-referenced-by-count":6,"title":["Agent Coordination Contexts for the formal specification and enactment of coordination and security policies"],"prefix":"10.1016","volume":"63","author":[{"given":"Andrea","family":"Omicini","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Ricci","sequence":"additional","affiliation":[]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.scico.2005.07.014_b1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1023\/B:AGNT.0000038028.66672.1e","article-title":"Challenges and research directions in agent-oriented software engineering","volume":"9","author":"Zambonelli","year":"2004","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/j.scico.2005.07.014_b2","series-title":"Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook","first-page":"273","article-title":"Coordination infrastructures in the engineering of multiagent systems","author":"Omicini","year":"2004"},{"key":"10.1016\/j.scico.2005.07.014_b3","series-title":"Process Coordination and Ubiquitous Computing","first-page":"187","article-title":"Towards a notion of agent coordination context","author":"Omicini","year":"2002"},{"key":"10.1016\/j.scico.2005.07.014_b4","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"issue":"1","key":"10.1016\/j.scico.2005.07.014_b5","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","article-title":"Algebra of communicating processes with abstraction","volume":"37","author":"Bergstra","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.scico.2005.07.014_b6","series-title":"Coordination of Internet Agents: Models, Technologies, and Applications","first-page":"25","article-title":"Models and technologies for the coordination of Internet agents: A survey","author":"Papadopoulos","year":"2001"},{"key":"10.1016\/j.scico.2005.07.014_b7","first-page":"329","article-title":"Coordination models and languages","volume":"46","author":"Papadopoulos","year":"1998","journal-title":"Advances in Computers (The Engineering of Large Systems)"},{"issue":"1","key":"10.1016\/j.scico.2005.07.014_b8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","article-title":"The interdisciplinary study of coordination","volume":"26","author":"Malone","year":"1994","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/j.scico.2005.07.014_b9","series-title":"Coordination of Internet Agents: Models, Technologies, and Applications","year":"2001"},{"issue":"1","key":"10.1016\/j.scico.2005.07.014_b10","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 Transactions on Programming Languages and Systems"},{"key":"10.1016\/j.scico.2005.07.014_b11","series-title":"JavaSpaces: Principles, Patterns, and Practice","author":"Freeman","year":"1999"},{"issue":"3 - Java Technology","key":"10.1016\/j.scico.2005.07.014_b12","article-title":"T spaces","volume":"37","author":"Wyckoff","year":"1998","journal-title":"IBM Journal of Research and Development"},{"issue":"1","key":"10.1016\/j.scico.2005.07.014_b13","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1002\/cpe.4330050103","article-title":"An overview of Manifold and its implementation","volume":"5","author":"Arbab","year":"1993","journal-title":"Concurrency: Practice and Experience"},{"key":"10.1016\/j.scico.2005.07.014_b14","series-title":"Coordination Languages and Models","first-page":"22","article-title":"Coordination through channel composition","volume":"vol. 2315","author":"Arbab","year":"2002"},{"issue":"3","key":"10.1016\/j.scico.2005.07.014_b15","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1023\/A:1010060322135","article-title":"Coordination for Internet application development","volume":"2","author":"Omicini","year":"1999","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"4","key":"10.1016\/j.scico.2005.07.014_b16","article-title":"MARS: A programmable coordination architecture for mobile agents","volume":"4","author":"Cabri","year":"2000","journal-title":"IEEE"},{"key":"10.1016\/j.scico.2005.07.014_b17","series-title":"Intelligent Information Agents: An AgentLink Perspective","first-page":"179","article-title":"Objective versus subjective coordination in the engineering of agent systems","volume":"vol. 2586","author":"Omicini","year":"2003"},{"key":"10.1016\/j.scico.2005.07.014_b18","series-title":"Objective Coordination in Multi-Agent System Engineering \u2014 Design and Implementation","volume":"vol. 2039","author":"Schumacher","year":"2001"},{"issue":"4","key":"10.1016\/j.scico.2005.07.014_b19","first-page":"507","article-title":"Coordination as a service","volume":"73","author":"Viroli","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/j.scico.2005.07.014_b20","series-title":"2nd International Joint Conference on Autonomous Agents and Multiagent Systems","first-page":"1090","article-title":"A preliminary taxonomy of multi-agent interactions","author":"Parunak","year":"2003"},{"issue":"1\u20132","key":"10.1016\/j.scico.2005.07.014_b21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1023\/A:1024176820874","article-title":"An automated teamwork infrastructure for heterogeneous software agents and humans","volume":"7","author":"Pynadath","year":"2003","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10.1016\/j.scico.2005.07.014_b22","series-title":"Engineering Societies in the Agents World III (3rd International Workshop, ESAW 2002, Madrid, Spain, 16\u201317 September 2002)","first-page":"96","article-title":"Activity theory as a framework for MAS coordination","volume":"vol. 2577","author":"Ricci","year":"2003"},{"key":"10.1016\/j.scico.2005.07.014_b23","series-title":"Multi-Agent Systems Engineering (9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW\u201999, Valencia, Spain, 30 June\u20132 July 1999)","first-page":"77","article-title":"Multi-agent systems on the Internet: Extending the scope of coordination towards security and topology","volume":"vol. 1647","author":"Cremonini","year":"1999"},{"issue":"2","key":"10.1016\/j.scico.2005.07.014_b24","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","article-title":"Role-based access control models","volume":"29","author":"Sandhu","year":"1996","journal-title":"IEEE Computer"},{"issue":"7","key":"10.1016\/j.scico.2005.07.014_b25","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/2.933502","article-title":"Scaling up agent coordination strategies","volume":"34","author":"Durfee","year":"2001","journal-title":"IEEE Computer"},{"key":"10.1016\/j.scico.2005.07.014_b26","series-title":"Multi-Agent Systems and Applications","first-page":"74","article-title":"Standardizing agent communication","volume":"vol. 2086","author":"Labrou","year":"2001"},{"issue":"2","key":"10.1016\/j.scico.2005.07.014_b27","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/4434.846192","article-title":"Role modelling for agent systems analysis, design and implementation","volume":"8","author":"Kendall","year":"2000","journal-title":"IEEE Concurrency"},{"issue":"3","key":"10.1016\/j.scico.2005.07.014_b28","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1142\/S0218194001000505","article-title":"Organisational rules as an abstraction for the analysis and design of multi-agent systems","volume":"11","author":"Zambonelli","year":"2001","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/j.scico.2005.07.014_b29","series-title":"Agent-Oriented Software Engineering IV (4th International Workshop, AOSE 2003, Melbourne, Australia, 15 July 2003)","first-page":"214","article-title":"From agents to organizations: An organizational view of multi-agent systems","volume":"vol. 2935","author":"Ferber","year":"2003"},{"issue":"2","key":"10.1016\/j.scico.2005.07.014_b30","first-page":"7","article-title":"Reasoning about organisation: Shaping the infrastructure","volume":"XVI","author":"Omicini","year":"2003","journal-title":"AI*IA Notizie"},{"issue":"3","key":"10.1016\/j.scico.2005.07.014_b31","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":"Science of Computer Programming"},{"key":"10.1016\/j.scico.2005.07.014_b32","unstructured":"R.T. Simon, M.E. Zurko, Separation of duty in role-based environments, in: IEEE Computer Security Foundations Workshop, 1997, pp. 183\u2013194"},{"issue":"12","key":"10.1016\/j.scico.2005.07.014_b33","doi-asserted-by":"crossref","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","article-title":"The contract net protocol: High-level communication and control in a distributed problem solver","volume":"C-29","author":"Smith","year":"1981","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/j.scico.2005.07.014_b34","series-title":"Cooperative Information Agents VI (6th International Workshop CIA 2002, Madrid, Spain, 18\u201320 September 2002, Proceedings)","first-page":"14","article-title":"Electronic institutions: Future trends and challenges","volume":"vol. 2246","author":"Noriega","year":"2002"},{"key":"10.1016\/j.scico.2005.07.014_b35","series-title":"Speech acts: An essay in the philosophy of language","author":"Searle","year":"1969"},{"key":"10.1016\/j.scico.2005.07.014_b36","unstructured":"G. Plotkin, A structural approach to operational semantics, Tech. Rep. DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark 1991"},{"key":"10.1016\/j.scico.2005.07.014_b37","series-title":"Handbook of Process Algebra","first-page":"3","article-title":"The linear time \u2014 branching time spectrum I. The semantics of concrete, sequential processes","author":"van Glabbeek","year":"2001"},{"key":"10.1016\/j.scico.2005.07.014_b38","author":"FIPA"},{"key":"10.1016\/j.scico.2005.07.014_b39","series-title":"Readings in Agents","first-page":"380","article-title":"Coordination without communication: Experimental validation of focal point techniques","author":"Fenster","year":"1997"},{"key":"10.1016\/j.scico.2005.07.014_b40","series-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","first-page":"250","article-title":"Multiagent system engineering: The coordination viewpoint","volume":"vol. 1757","author":"Ciancarini","year":"2000"},{"key":"10.1016\/j.scico.2005.07.014_b41","unstructured":"M. Viroli, A. Ricci, A. Omicini, A semantics for the interaction of agents with coordination artifacts, in: Trappl [49], pp. 564\u2013569"},{"key":"10.1016\/j.scico.2005.07.014_b42","series-title":"Coordination Languages and Models","first-page":"220","article-title":"Coordinating mobile agents via blackboards and access rights","volume":"vol. 1997","author":"De\u00a0Nicola","year":"1997"},{"issue":"5","key":"10.1016\/j.scico.2005.07.014_b43","article-title":"KLAIM: A kernel language for agent interaction and mobility","volume":"24","author":"De\u00a0Nicola","year":"1998","journal-title":"IEEE Transaction on Software Engineering"},{"key":"10.1016\/j.scico.2005.07.014_b44","series-title":"Coordination Languages and Models (3rd International Conference, COORDINATION\u201999, Amsterdam, The Netherlands, 26\u201328 April 1999, Proceedings)","first-page":"4","article-title":"A coordination model for agents based on secure spaces","volume":"vol. 1594","author":"Bryce","year":"1999"},{"issue":"4","key":"10.1016\/j.scico.2005.07.014_b45","first-page":"479","article-title":"Supporting secure coordination in SecSpaces","volume":"73","author":"Gorrieri","year":"2006","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/j.scico.2005.07.014_b46","unstructured":"A. Ricci, M. Viroli, A. Omicini, Agent coordination context: From theory to practice, in: Trappl [49], pp. 618\u2013623"},{"key":"10.1016\/j.scico.2005.07.014_b47","series-title":"Agent-Oriented Software Engineering II","first-page":"84","article-title":"A policy language for the management of distributed agents","volume":"vol. 2222","author":"Dulay","year":"2002"},{"issue":"3","key":"10.1016\/j.scico.2005.07.014_b48","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/352591.352592","article-title":"Law-governed interaction: A coordination and control mechanism for heterogeneous distributed systems","volume":"9","author":"Minsky","year":"2000","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"10.1016\/j.scico.2005.07.014_b49","unstructured":"R. Trappl (Ed.), Cybernetics and Systems 2004 (17th European Meeting on Cybernetics and Systems Research, EMCSR 2004, Vienna, Austria, 13\u201316 April 2004, Proceedings), Austrian Society for Cybernetic Studies, Vienna, Austria, 2004"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764230600102X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764230600102X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,15]],"date-time":"2019-01-15T01:50:46Z","timestamp":1547517046000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764230600102X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,11]]}},"alternative-id":["S016764230600102X"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2005.07.014","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2006,11]]}}}