{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T04:27:54Z","timestamp":1747196874837,"version":"3.40.5"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319144832"},{"type":"electronic","value":"9783319144849"}],"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-14484-9_20","type":"book-chapter","created":{"date-parts":[[2014,12,12]],"date-time":"2014-12-12T14:01:17Z","timestamp":1418392877000},"page":"388-405","source":"Crossref","is-referenced-by-count":9,"title":["Typing Multi-Agent Systems via Commitments"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Capuzzimati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D. Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring mass from multiparty global session types in jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol.\u00a07784, pp. 76\u201395. Springer, Heidelberg (2013)"},{"key":"20_CR2","series-title":"LNCS (LNAI)","first-page":"38","volume-title":"Post-Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013","author":"M. Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F.: 2COMM: A commitment-based MAS architecture. In: Cossentino, M., El Fallah Seghrouchni, A., Winikoff, M. (eds.) EMAS 2013. LNCS (LNAI), vol.\u00a08245, pp. 38\u201357. Springer, Heidelberg (2013)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F.: A Commitment-based Infrastructure for Programming Socio-Technical Systems. ACM Transactions on Internet Technology, Special Issue on Foundations of Social Computing (to appear, 2014)","DOI":"10.1145\/2677206"},{"key":"20_CR4","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F.: Reasoning about Social Relationships with Jason. In: Chopra, A., Verhagen, H. (eds.) Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, Held in Conjuction with AAMAS 2014, Paris, France (May 2014)"},{"key":"20_CR5","unstructured":"Baldoni, M., Baroglio, C., Chopra, A.K., Desai, N., Patti, V., Singh, M.P.: Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In: Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pp. 843\u2013850. IFAAMAS (2009)"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach. ACM Transactions on Intelligent Systems and Technology, Special Issue on Agent Communication\u00a04(2), 22:1\u201322:25 (2013)","DOI":"10.1145\/2438653.2438657"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11948148_28","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"M. Baldoni","year":"2006","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: A priori conformance verification for guaranteeing interoperability in open environments. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 339\u2013351. Springer, Heidelberg (2006)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Boella, G., van der Torre, L.: Interaction between Objects in powerjava. Journal of Object Technology, Special Issue OOPS Track at SAC 2006 6(2) (2007)","DOI":"10.5381\/jot.2007.6.2.a1"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: JADE - A Java Agent Development Framework. In: Bordini, R.H., Dastani, M., JDix, J., El Fallah-Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol.\u00a015, pp. 125\u2013147. Springer (2005)","DOI":"10.1007\/0-387-26350-0_5"},{"issue":"3","key":"20_CR10","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.knosys.2008.11.006","volume":"22","author":"J. Bentahar","year":"2009","unstructured":"Bentahar, J., Meyer, J.-J.C., Wan, W.: Model Checking Communicative Agent-based Systems. Knowledge-Based Systems\u00a022(3), 142\u2013159 (2009)","journal-title":"Knowledge-Based Systems"},{"issue":"6","key":"20_CR11","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. Science of Computer Programming\u00a078(6), 747\u2013761 (2013)","journal-title":"Science of Computer Programming"},{"key":"20_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in agentspeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 143\u2013164. Springer, Heidelberg (2006)"},{"key":"20_CR13","series-title":"2","first-page":"163","volume-title":"Contemporary Action Theory: Social Action","author":"C. Castelfranchi","year":"1997","unstructured":"Castelfranchi, C.: Principles of Individual Social Action. In: Holmstrom-Hintikka, G., Tuomela, R. (eds.) Contemporary Action Theory: Social Action. 2, pp. 163\u2013192. Kluwer, Dordrecht (1997)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-14843-9_2","volume-title":"Programming Multi-Agent Systems","author":"A.K. Chopra","year":"2010","unstructured":"Chopra, A.K., Singh, M.P.: Elements of a business-level architecture for multiagent systems. In: Braubach, L., Briot, J.-P., Thangarajah, J. (eds.) ProMAS 2009. LNCS, vol.\u00a05919, pp. 15\u201330. Springer, Heidelberg (2010)"},{"key":"20_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-49057-4_7","volume-title":"Intelligent Agents V. Agents Theories, Architectures, and Languages","author":"R. Conte","year":"1999","unstructured":"Conte, R., Castelfranchi, C., Dignum, F.: Autonomous norm acceptance. In: M\u00fcller, J.P., Rao, A.S., Singh, M.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 99\u2013112. Springer, Heidelberg (1999)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Margaria, I., Zacchi, M.: Toward isomorphism of intersection and union types. In: Graham-Lengrand, S., Paolini, L. (eds.) ITRS. EPTCS, vol.\u00a0121, pp. 58\u201380 (2013)","DOI":"10.4204\/EPTCS.121.5"},{"key":"20_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-05301-6_2","volume-title":"Knowledge Representation for Agents and Multi-Agent Systems","author":"M. Dastani","year":"2009","unstructured":"Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative Multi-agent Programs and Their Logics. In: Meyer, J.-J.C., Broersen, J. (eds.) KRAMAS 2008. LNCS (LNAI), vol.\u00a05605, pp. 16\u201331. Springer, Heidelberg (2009)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Grigore, C., Collier, R.: Supporting agent systems in the programming language. In: H\u00fcbner, J.F., Petit, J.-M., Suzuki, E. (eds.) Web Intelligence\/IAT Workshops, pp. 9\u201312. IEEE Computer Society (2011)","DOI":"10.1109\/WI-IAT.2011.174"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Grigore, C., Collier, R.W.: Af-raf: An agent-oriented programming language with algebraic data types. In: Lopes, C.V. (ed.) SPLASH Workshops, pp. 195\u2013200. ACM (2011)","DOI":"10.1145\/2095050.2095081"},{"key":"20_CR20","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., Lucas, A.: Intelligent agents - summary of an agent infrastructure. In: Proc. of the 5th International Conference on Autonomous Agents (2001)"},{"key":"20_CR21","first-page":"467","volume-title":"Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011","author":"E. Marengo","year":"2011","unstructured":"Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.K., Patti, V., Singh, M.P.: Commitments with Regulations: Reasoning about Safety and Control in REGULA. In: Tumer, K., Yolum, P., Sonenberg, L., Stone, P. (eds.) Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, vol.\u00a02, pp. 467\u2013474. IFAAMAS, Taipei (2011)"},{"key":"20_CR22","unstructured":"Nierstrasz, O., Tsichritzis, D. (eds.): Object-Oriented Software Composition, vol.\u00a06, pp. 99\u2013121. Prentice-Hall (1995)"},{"issue":"3","key":"20_CR23","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A. Omicini","year":"2008","unstructured":"Omicini, A., Ricci, A., Viroli, M.: Artifacts in the a&a meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems\u00a017(3), 432\u2013456 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"2","key":"20_CR24","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. Autonomous Agents and Multi-Agent Systems\u00a023(2), 158\u2013192 (2011)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Ricci, A., Santi, A.: From actors to agent-oriented programming abstractions in simpal. In: Leavens, G.T. (ed.) SPLASH, pp. 73\u201374. ACM (2012)","DOI":"10.1145\/2384716.2384745"},{"key":"20_CR26","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-38700-5_9","volume-title":"Programming Multi-Agent Systems","author":"A. Ricci","year":"2013","unstructured":"Ricci, A., Santi, A.: Typing Multi-agent Programs in simpAL. In: Dastani, M., H\u00fcbner, J.F., Logan, B. (eds.) ProMAS 2012. LNCS (LNAI), vol.\u00a07837, pp. 138\u2013157. Springer, Heidelberg (2013)"},{"key":"20_CR27","unstructured":"Santi, A., Ricci, A.: An eclipse-based ide for agent-oriented programming in simpal. In: Proc. of The Seventh Workshop of the Italian Eclipse Community (2012)"},{"issue":"1","key":"20_CR28","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"M.P. Singh","year":"1999","unstructured":"Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law\u00a07(1), 97\u2013113 (1999)","journal-title":"Artif. Intell. Law"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"\u0160i\u0161l\u00e1k, D., Reh\u00e1k, M., P\u011bchou\u010dek, M., Rollo, M., Pavl\u00ed\u010dek, D.: A-globe: Agent development platform with inaccessibility and mobility support. In: Software Agent-Based Applications, Platforms and Development Kits, pp. 21\u201346. Birkh\u00e4user Basel (2005)","DOI":"10.1007\/3-7643-7348-2_2"},{"key":"20_CR30","unstructured":"Telang, P.R., Singh, M.P.: Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach. In: IEEE Transactions on Services Computing, pp. 1\u201314 (2011)"},{"key":"20_CR31","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"ECOOP \u201988 European Conference on Object-Oriented Programming","author":"P. Wegner","year":"1988","unstructured":"Wegner, P., Zdonik, S.B.: Inheritance as an Incremental Modification Mechanism or What Like Is and Isnt Like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol.\u00a0322, pp. 55\u201377. Springer, Heidelberg (1988)"},{"issue":"1","key":"20_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10458-006-0012-0","volume":"14","author":"D. Weyns","year":"2007","unstructured":"Weyns, D., Omicini, A., Odell, J.: Environment as a first class abstraction in multiagent systems. Autonomous Agents and Multi-Agent Systems\u00a014(1), 5\u201330 (2007)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Yolum, p., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) Intelligent Agents VIII. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45448-9_17"},{"key":"20_CR34","unstructured":"Zapf, M., Geihs, K.: What type is it? a type system for mobile agents. In: 15th European Meeting on Cybernetics and Systems Research (EMCSR) (2000)"}],"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-319-14484-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T01:12:50Z","timestamp":1747185170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-14484-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319144832","9783319144849"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14484-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}