{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T15:21:20Z","timestamp":1773760880138,"version":"3.50.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319120263","type":"print"},{"value":"9783319120270","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12027-0_45","type":"book-chapter","created":{"date-parts":[[2014,11,14]],"date-time":"2014-11-14T22:22:51Z","timestamp":1416003771000},"page":"560-571","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Institutional Environments: A Framework for the Development of Open Multiagent Systems"],"prefix":"10.1007","author":[{"given":"Marcos","family":"de Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enyo","family":"Gol\u00e7alves","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Purvis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,12]]},"reference":[{"key":"45_CR1","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis, Methods and Pratical Use. In: EATCS Monographs on Theoretical Computer Science, vol. I (1992)"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/10722777_12","volume-title":"Issues in Agent Communication","author":"R Cost","year":"2000","unstructured":"Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using Coloured Petri Nets for Conversation Modelling. In: Dignum, F.P., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 178\u2013192. Springer, Heidelberg (2000)"},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Operational specification of a commitment-based agent communication language. In: First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 536\u2013542 (2002)","DOI":"10.1145\/860575.860659"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44539-0_1","volume-title":"Engineering Societies in the Agents World","author":"C Castelfranchi","year":"2000","unstructured":"Castelfranchi, C.: Engineering Social Order. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 1\u201318. Springer, Heidelberg (2000)"},{"key":"45_CR5","series-title":"Social Beliefs for Social Order","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1159-5","volume-title":"Reputation in Artificial Societies","author":"R Conte","year":"2002","unstructured":"Conte, R., Paolucci, M.: Reputation in Artificial Societies. Social Beliefs for Social Order. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"45_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-00443-8_14","volume-title":"Coordination, Organizations, Institutions and Norms in Agent Systems IV","author":"S Cranefield","year":"2009","unstructured":"Cranefield, S., Winikoff, M.: Verifying Social Expectations by Model Checking Truncated Paths. In: H\u00fcbner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN@AAMAS 2008. LNCS, vol. 5428, pp. 204\u2013219. Springer, Heidelberg (2009)"},{"key":"45_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-45187-7_17","volume-title":"CONCUR 2003 - Concurrency Theory","author":"N Markey","year":"2003","unstructured":"Markey, N., Schnoebelen, P.: Model Checking a Path. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 251\u2013265. Springer, Heidelberg (2003)"},{"key":"45_CR8","unstructured":"FIPA, FIPA ACL Message Structure Specification (SC00061) (2002)"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"H\u00fcbner, J., Boissier, O., Kitio, R., Ricci, A.: Instrumenting multi-agent organisations with organisational artifacts and agents Giving the organisational power back to the agents. In: Autonomous Agents and Multi-Agent Systems Conference (AAMAS), pp. 369\u2013400 (2010)","DOI":"10.1007\/s10458-009-9084-y"},{"key":"45_CR10","unstructured":"Esteva, M.: Electronic Institutions: from specification to development (2003)"},{"key":"45_CR11","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.A., Rosell, B., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), New York, pp. 236\u2013243 (2004)"},{"key":"45_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-75524-1_5","volume-title":"Engineering Societies in the Agents World VII","author":"O Boissier","year":"2007","unstructured":"Boissier, O., H\u00fcbner, J.F., Sichman, J.S.: Organization oriented programming: from closed to open organizations. In: O\u2019Hare, G.M., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 86\u2013105. Springer, Heidelberg (2007)"},{"issue":"3","key":"45_CR13","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/352591.352592","volume":"9","author":"N Minsky","year":"2000","unstructured":"Minsky, N., Ungureanu, V.: Law-Governed Interaction: a Coordination and Control Mechanism for Heterogeneous Distributed Systems. ACM Transactions on Software Engeneering and Methodology 9(3), 273\u2013305 (2000)","journal-title":"ACM Transactions on Software Engeneering and Methodology"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Nowostawski, M., Purvis, M., Cranefield, S.: OPAL - A Multi-level Infractructure for Agent-Oriented Development. In: International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 88\u201389 (2002)","DOI":"10.1145\/544741.544763"},{"key":"45_CR15","unstructured":"Nowostawski, M., Fern, J.: Manual (2009)"},{"issue":"1","key":"45_CR16","first-page":"4","volume":"180","author":"V Furtado","year":"2010","unstructured":"Furtado, V., et al.: Collective intelligence in law enforcement \u2013 The WikiCrimes system. Information Sciences - Informatics and Computer Science Intelligent System Applications 180(1), 4\u201317 (2010)","journal-title":"Information Sciences - Informatics and Computer Science Intelligent System Applications"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence -- IBERAMIA 2014"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12027-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T18:29:05Z","timestamp":1747160945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-12027-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319120263","9783319120270"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12027-0_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}