{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:36:11Z","timestamp":1763202971555,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031790287"},{"type":"electronic","value":"9783031790294"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-79029-4_4","type":"book-chapter","created":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T22:25:49Z","timestamp":1738189549000},"page":"48-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Multi-level Semantics Formalism for Multi-Agent Microservices"],"prefix":"10.1007","author":[{"given":"Alison R.","family":"Panisson","sequence":"first","affiliation":[]},{"given":"Giovani P.","family":"Farias","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,1,30]]},"reference":[{"issue":"6","key":"4_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1109\/MIS.2006.117","volume":"21","author":"B Beckert","year":"2006","unstructured":"Beckert, B., et al.: Intelligent systems and formal methods in software engineering. IEEE Intell. Syst. 21(6), 71\u201381 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"4_CR2","unstructured":"Blanger, L., Junior, V., Jevinski, C.J., Panisson, A.R., Bordini, R.H.: Improving the performance of taxi service applications using multi-agent systems techniques. In: Encontro Nacional de Intelig\u00eancia Artificial e Computacional (ENIAC) (2017)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Boissier, O., Bordini, R.H., Hubner, J., Ricci, A.: Multi-agent oriented programming: programming multi-agent systems using JaCaMo (2020)","DOI":"10.1017\/S026988891800005X"},{"issue":"6","key":"4_CR4","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1016\/j.scico.2011.10.004","volume":"78","author":"O Boissier","year":"2013","unstructured":"Boissier, O., Bordini, R.H., H\u00fcbner, J.F., Ricci, A., Santi, A.: Multi-agent oriented programming with jacamo. Sci. Comput. Program. 78(6), 747\u2013761 (2013)","journal-title":"Sci. Comput. Program."},{"key":"4_CR5","volume-title":"Multi-Agent Programming: Languages","author":"RH Bordini","year":"2009","unstructured":"Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F.: Multi-Agent Programming: Languages, 1st edn. Tools and Applications. Springer Publishing Company, Incorporated (2009)","edition":"1"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agent. Multi-Agent Syst. 12(2), 239\u2013256 (2006)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)","DOI":"10.1002\/9780470061848"},{"key":"4_CR8","volume-title":"Intention, Plans, and Practical Reason","author":"M Bratman","year":"1987","unstructured":"Bratman, M., et al.: Intention, Plans, and Practical Reason, vol. 10. Harvard University Press Cambridge, MA (1987)"},{"key":"4_CR9","unstructured":"Collier, R.W., O\u2019Neill, E., Lillis, D., O\u2019Hare, G.M.: Mams: Multi-agent microservices. In: World Wide Web Conference (2019)"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Collier, R.W., Russell, S., Lillis, D.: Reflecting on agent programming with agentspeak (l). In: International Conference on Principles and Practice of Multi-Agent Systems, pp. 351\u2013366. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-25524-8_22","DOI":"10.1007\/978-3-319-25524-8_22"},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10506-015-9164-z","volume":"23","author":"AC Rocha Costa","year":"2015","unstructured":"Rocha Costa, A.C.: Situated legal systems and their operational semantics. Artif. Intell. Law 23(1), 43\u2013102 (2015). https:\/\/doi.org\/10.1007\/s10506-015-9164-z","journal-title":"Artif. Intell. Law"},{"key":"4_CR12","unstructured":"Costa, A.C.R., Dimuro, G.P.: Introducing social groups and group exchanges in the poporg model. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 2, pp. 1297\u20131298. International Foundation for Autonomous Agents and Multiagent Systems (2009)"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Dastani, M., Steunebrink, B.R.: Operational semantics for bdi modules in multi-agent programming. In: Computational Logic in Multi-Agent Systems, pp. 83\u2013101. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-16867-3_5","DOI":"10.1007\/978-3-642-16867-3_5"},{"key":"4_CR14","unstructured":"Dennis, L.A.: Agent infrastructure layer (ail): Design and operational semantics v1. Tech. rep., Technical Report ULCS-07-001, Department of Computer Science, University of Liverpool (2007)"},{"key":"4_CR15","doi-asserted-by":"publisher","unstructured":"Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A common semantic basis for bdi languages. In: Programming Multi-Agent Systems, pp. 124\u2013139. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-79043-3_8","DOI":"10.1007\/978-3-540-79043-3_8"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Dragoni, N., Lanese, I., Larsen, S.T., Mazzara, M., Mustafin, R., Safina, L.: Microservices: How to make your application scale. In: International Andrei Ershov Memorial Conference on Perspectives of System Informatics, pp. 95\u2013104. (2017)","DOI":"10.1007\/978-3-319-74313-4_8"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"682","DOI":"10.1007\/s10458-013-9238-9","volume":"28","author":"J Harland","year":"2014","unstructured":"Harland, J., Morley, D.N., Thangarajah, J., Yorke-Smith, N.: An operational semantics for the goal life-cycle in bdi agents. Auton. Agent. Multi-Agent Syst. 28(4), 682\u2013719 (2014)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B Horling","year":"2004","unstructured":"Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281\u2013316 (2004)","journal-title":"Knowl. Eng. Rev."},{"issue":"3\u20134","key":"4_CR19","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1504\/IJAOSE.2007.016266","volume":"1","author":"JF Hubner","year":"2007","unstructured":"Hubner, J.F., Sichman, J.S., Boissier, O.: Developing organised multiagent systems using the $$Moise^+$$ model: programming issues at the system and agent levels. Int. J. Agent-Oriented Softw. Eng. 1(3\u20134), 370\u2013395 (2007)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"issue":"9","key":"4_CR20","first-page":"929","volume":"16","author":"NG Leveson","year":"1990","unstructured":"Leveson, N.G.: Guest editor\u2019s introduction: formal methods in software engineering. IEEE Trans. Software Eng. 16(9), 929 (1990)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR21","unstructured":"Noriega, P.: Agent mediated auctions: the fishmarket metaphor. Institut d\u2019Investigaci\u00f3 en Intellig\u00e8ncia Artificial (1999)"},{"key":"4_CR22","unstructured":"Panisson, A.R., Ali, A., McBurney, P., Bordini, R.H.: Argumentation schemes for data access control. In: COMMA, pp. 361\u2013368 (2018)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Panisson, A.R., Bordini, R.H., Rocha, A.C.: An approach to the multi-level semantics of agent societies. In: Brazilian Conference on Intelligent Systems (2020)","DOI":"10.1007\/978-3-030-61380-8_1"},{"key":"4_CR24","unstructured":"Panisson, A.R., Bordini, R.H., da\u00a0Rocha\u00a0Costa, A.C.: Multi-level semantics with vertical integrity constraints. In: 22st European Conference on Artificial Intelligence (ECAI), pp. 1708 \u2013 1709 (2016)"},{"key":"4_CR25","unstructured":"Panisson, A.R., Meneguzzi, F., Fagundes, M., Vieira, R., Bordini, R.H.: Formal semantics of speech acts for argumentative dialogues. In: Thirteenth Int. Conf. on Autonomous Agents and Multiagent Systems, pp. 1437\u20131438 (2014)"},{"key":"4_CR26","unstructured":"Plotkin, G.D.: A structural approach to operational semantics (1981)"},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A Ricci","year":"2011","unstructured":"Ricci, A., Piunti, M., Viroli, M.: Environment programming in multi-agent systems: an artifact-based perspective. Auton. Agent. Multi-Agent Syst. 23(2), 158\u2013192 (2011)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"4_CR28","unstructured":"Richards, M.: Microservices vs. service-oriented architecture. O\u2019Reilly Media (2015)"},{"key":"4_CR29","unstructured":"van Riemsdijk, M.B., Hindriks, K.V., Jonker, C.M., Sierhuis, M.: Formalizing organizational constraints: A semantic approach. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1-Volume 1, pp. 823\u2013830. International Foundation for Autonomous Agents and Multiagent Systems (2010)"},{"issue":"4","key":"4_CR30","first-page":"33","volume":"4","author":"C Sierra","year":"2004","unstructured":"Sierra, C., Rodriguez-Aguilar, J.A., Noriega, P., Esteva, M., Arcos, J.L.: Engineering multi-agent systems as electronic institutions. Europ. J. Infor. Profess. 4(4), 33\u201339 (2004)","journal-title":"Europ. J. Infor. Profess."},{"issue":"1","key":"4_CR31","first-page":"221","volume":"29","author":"R Vieira","year":"2007","unstructured":"Vieira, R., Moreira, A., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. J. Artif. Int. Res. 29(1), 221\u2013267 (2007)","journal-title":"J. Artif. Int. Res."},{"key":"4_CR32","unstructured":"Vivanco, M.E., Garc\u00eda, C.S.: Electronic Institutions: from specification to development. Consell Superior d\u2019Investigacions Cient\u00edfiques, Institut d\u2019Investigaci\u00f3 en Intellig\u00e9ncia Artificial (2003)"},{"key":"4_CR33","unstructured":"Wooldridge, M.: An introduction to multiagent systems. John Wiley & Sons (2009)"},{"key":"4_CR34","unstructured":"Zimmermann, O.: Mircroservices tenets: Agile approach to service development and deployment. In: Proceedings of the Symposium\/Summer School on Service-Oriented Computing (2016)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-79029-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T22:25:58Z","timestamp":1738189558000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-79029-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031790287","9783031790294"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-79029-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"30 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BRACIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Conference on Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bel\u00e9m do Par\u00e1","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"34","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bracis2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}