{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:27:00Z","timestamp":1742992020403,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030974565"},{"type":"electronic","value":"9783030974572"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-030-97457-2_17","type":"book-chapter","created":{"date-parts":[[2022,3,9]],"date-time":"2022-03-09T11:03:04Z","timestamp":1646823784000},"page":"292-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TPO: A Type System for the Architecture of Agent Societies"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7954-8420","authenticated-orcid":false,"given":"Ant\u00f4nio Carlos","family":"da Rocha Costa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,3,10]]},"reference":[{"key":"17_CR1","unstructured":"Cardelli, L.: Type systems. In: Tucker, A. (ed.) Computer Science Handbook. Chapman & Hall\/CRC, Boca Raton (1996). Chap. 97"},{"key":"17_CR2","unstructured":"Costa, A.C.R.: Proposal for a notion of modularity in multiagent systems. In: van Riemskijk, M.B., Dalpiaz, F., Dix, J. (eds.) Informal Proceedings of EMAS 2014. AAMAS, Paris (2014)"},{"key":"17_CR3","doi-asserted-by":"publisher","unstructured":"Costa, A.C.R.: Agent organizations and agent societies as interoperable modules for agent and conventional software systems (2017). https:\/\/doi.org\/10.13140\/RG.2.2.35919.69284, https:\/\/www.researchgate.net\/","DOI":"10.13140\/RG.2.2.35919.69284"},{"key":"17_CR4","unstructured":"Costa, A.C.R.: Two concepts of module, for agent societies and inter-societal agent systems. In: Informal Proceedings of the Workshop Engineering Multi-Agent Systems - EMAS@AAMAS2017, S\u00e3o Paulo, (2017)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15, 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"17_CR6","unstructured":"Costa, A.C.R.: TPO and SML - a societal type system and a society modeling language for agent societies. Technical report, Tutorial presented at WESAAC 2017, S\u00e3o Paulo (2017). http:\/\/wesaac.c3.furg.br, https:\/\/sites.google.com\/site\/foundationsofagentsocieties\/Papers\/2017"},{"key":"17_CR7","unstructured":"Demazeau, Y., Costa, A.C.R.: Populations and organizations in open multi-agent systems. In: 1st National Symposium on Parallel and Distributed Artificial Intelligence (PDAI 1996), Hyderabad, India (1996)"},{"key":"17_CR8","unstructured":"Costa, A.C.R., Demazeau, Y.: Toward a formal model of multi-agent systems with dynamic organizations. In: Proceedings of ICMAS 96\u20132nd International Conference on Mutiagent Systems, Kyoto, vol. 431. IEEE (1996)"},{"key":"17_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-16335-8","volume-title":"A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies","author":"ACR Costa","year":"2019","unstructured":"Costa, A.C.R.: A Variational Basis for the Regulation and Structuration Mechanisms of Agent Societies. Springer, Cham (2019)"},{"key":"17_CR10","volume-title":"Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo","author":"O Boissier","year":"2020","unstructured":"Boissier, O., Bordini, R.H., H\u00fcbner, J., Ricci, A.: Multi-Agent Oriented Programming: Programming Multi-Agent Systems Using JaCaMo. MIT Press, Cambridge (2020)"},{"key":"17_CR11","unstructured":"Costa, A.C.R.: Symbolic environments of agent societies. In: Alves, G.V., Lugo, G.G., Borges, A.P., Pantoja, C.E. (eds.) Anais do XIV Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCa\u00e7\u00f5es - WESAAC 2020, UFPR, Ponta Grossa (2020). http:\/\/dainf.pg.utfpr.edu.br\/wesaac2020"},{"key":"17_CR12","unstructured":"Costa, A.C.R.: Symbolic environments and the cultural aspects of augmented worlds (2016). https:\/\/www.researchgate.net\/"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Costa, A.C.R.: The cultural level of agent societies. In: WESAAC 2011\u20135o. Workshop-School of Agent Systems, their Environments, and Applications, Curitiba, Brazil (2011). (in Portuguese)","DOI":"10.1109\/WESAAC.2011.21"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/s10516-016-9293-3","volume":"27","author":"ACR Costa","year":"2015","unstructured":"Costa, A.C.R.: Situated ideological systems: A core formal concept, some computational notation, some applications. Axiomathes 27, 15\u201378 (2015)","journal-title":"Axiomathes"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Ferber, J., Gutknecht, O.: Aalaadin: a meta-model for the analysis and design of organizations in multi-agent systems. In: Demazeau, Y. (ed.) International Conference on Multi-Agent Systems - ICMAS 1998, pp. 128\u2013135. IEEE Press, Paris (1998)","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-540-24620-6_15","volume-title":"Agent-Oriented Software Engineering IV","author":"J Ferber","year":"2004","unstructured":"Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: an organizational view of multiagent systems. In: Giorgini, P., M\u00fcller, J., Odell, J. (eds.) Agent Oriented Software Engineering - AOSE IV, vol. 2935, pp. 214\u2013230. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24620-6_15"},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-32259-7_2","volume-title":"Environments for Multi-Agent Systems","author":"J Ferber","year":"2005","unstructured":"Ferber, J., Michel, F., Baez-Barranco, J.A.: Agre: integrating environments with organizations. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) Environments for Multi-Agent Systems, vol. 3374, pp.48\u201356. Springer, Cham (2005)"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Costa, A.C.R.: Ecosystems as agent societies, landscapes as multi-societal agent systems. In: Adamatti, D.F. (ed.) Multiagent Based Simulations Applied to Biological and Environmental Systems, pp. 25\u201343. IGI Global, Hershey (2017)","DOI":"10.4018\/978-1-5225-1756-6.ch002"},{"key":"17_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, London (2007)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1504\/IJAOSE.2007.016266","volume":"1","author":"JF H\u00fcbner","year":"2007","unstructured":"H\u00fcbner, J.F., Sichman, J.S., Boissier, O.: Developing organised multi-agent systems using the MOISE+ model: programming issues at the system and agent levels. International Journal of Agent-Oriented Software Engineering 1, 370\u2013395 (2007)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"17_CR21","unstructured":"Ricci, A., Viroli, M., Omicini, A.: CArtAgO: An infrastructure for engineering computational environments in MAS. In: Weyns, D., Parunak, H.V.D., Michel, F. (eds.) E4MAS2006 - 3rd International Workshop on Environments for Multi-Agent Systems, AAMAS, pp. 102\u2013119 (2006)"},{"key":"17_CR22","unstructured":"H\u00fcbner, J.F.: Um Modelo de Reorganiza\u00e7\u00e3o de Sistemas Multiagentes. Ph.D. Thesis, Escola Polit\u00e9cnica - USP, S\u00e3o Paulo (2003)"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/11678823_13","volume-title":"Programming Multi-Agent Systems","author":"A Ricci","year":"2006","unstructured":"Ricci, Alessandro, Viroli, Mirko, Omicini, Andrea: Programming MAS with Artifacts. In: Bordini, Rafael H.., Dastani, Mehdi M.., Dix, J\u00fcrgen., El Fallah Seghrouchni, Amal (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 206\u2013221. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11678823_13"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-04143-3_11","volume-title":"Multiagent System Technologies","author":"M Piunti","year":"2009","unstructured":"Piunti, M., Ricci, A., Boissier, O., H\u00fcbner, J.F.: Embodied Organisations in MAS Environments. In: Braubach, L., van der Hoek, W., Petta, P., Pokahr, A. (eds.) MATES 2009. LNCS (LNAI), vol. 5774, pp. 115\u2013127. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04143-3_11"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Ricci, A., Santi, A.: Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project. In: Videira, C., Fisher, K. (eds.) SPLASH Workshops, pp. 159\u2013170. ACM (2011)","DOI":"10.1145\/2095050.2095078"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-319-14484-9_20","volume-title":"Engineering Multi-Agent Systems","author":"M Baldoni","year":"2014","unstructured":"Baldoni, M., Baroglio, C., Capuzzima, F.: Typing multi-agent systems via commitments. In: Dalpiaz, F., DixM, J., van Riemsdijk, B. (eds.) Enginnering Multi-agent Systems - EMAS 2014, pp. 338\u2013405. Springer, Chalm (2014)"},{"issue":"3","key":"17_CR27","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s10458-018-9382-3","volume":"32","author":"M Baldoni","year":"2018","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R.: Type checking for protocol role enactments via commitments. Autonomous Agents and Multi-Agent Systems 32(3), 349\u2013386 (2018). https:\/\/doi.org\/10.1007\/s10458-018-9382-3","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Saugar, S., Serrano, J.M.: Programming social middlewares through social interaction types. In: MALLOW 2009 - Multi-Agent Logics, Languages, and Organisations Federated Workshops (2009)","DOI":"10.1007\/978-3-642-13338-1_6"}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-97457-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,19]],"date-time":"2024-09-19T23:53:13Z","timestamp":1726789993000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-97457-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030974565","9783030974572"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-97457-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"10 March 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/emas2021.in.tu-clausthal.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"74% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}