{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:04:12Z","timestamp":1743041052683,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207143"},{"type":"electronic","value":"9783642207150"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20715-0_4","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T12:35:27Z","timestamp":1302266127000},"page":"60-77","source":"Crossref","is-referenced-by-count":8,"title":["Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"given":"Elisa","family":"Marengo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)","author":"M. Alberti","year":"2004","unstructured":"Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 2004, pp. 72\u201378. ACM, New York (2004)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O., Vardi, M.Y.: Alternating Refinement Relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"4_CR3","unstructured":"Astefanoaei, L., de Boer, F.S.: Model-checking Agent Refinement. In: Padgham, et al [29], pp. 705\u2013712"},{"key":"4_CR4","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: Sierra, et al [34], pp. 843\u2013850"},{"key":"4_CR5","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"137","volume-title":"Proc. of 19th European Conference on Artificial Intelligence (ECAI 2010)","author":"M. Baldoni","year":"2010","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Behavior-Oriented Commitment-based Protocols. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proc. of 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 2010. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 137\u2013142. IOS Press, Amsterdam (2010)"},{"key":"4_CR6","unstructured":"Baldoni, M., Baroglio, C., Marengo, E.: Constraints among Commitments: Regulative Specification of Interaction Protocols. In: Artikis, A., Bentahar, J., Chopra, A.K., Dignum, F. (eds.) Proc. of International Workshop on Agent Communication (AC 2010), held in conjuction with AAMAS 2010, Toronto, Canada, pp. 2\u201318 (May 2010)"},{"key":"4_CR7","unstructured":"Baldoni, M., Baroglio, C., Patti, V., Schifanella, C.: Conservative Re-use Ensuring Matches for Service Selection. In: Klugl, F., Padget, J. (eds.) Proc. of Sixth European Workshop on Multi-Agent Systems (EUMAS 2008), Bath, UK, Seneca Edizioni (December 2008)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Declarative Agent Languages and Technologies VII","year":"2010","unstructured":"Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.): DALT 2009. LNCS, vol.\u00a05948. Springer, Heidelberg (2010)"},{"key":"4_CR9","first-page":"255","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004)","author":"G. Boella","year":"2004","unstructured":"Boella, G., van der Torre, L.W.N.: Regulative and Constitutive Norms in Normative Multiagent Systems. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), Whistler, Canada, June 2004, pp. 255\u2013266. AAAI Press, Menlo Park (2004)"},{"issue":"3","key":"4_CR10","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1017\/S0960129509007658","volume":"19","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Zavattaro, G.: A Theory of Contracts for Strong Service Compliance. Mathematical Structures in Computer Science\u00a019(3), 601\u2013638 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"4_CR11","first-page":"41","volume-title":"Proceedings of the First International Conference on Multiagent Systems (ICMAS)","author":"C. Castelfranchi","year":"1995","unstructured":"Castelfranchi, C.: Commitments: From Individual Intentions to Groups and Organizations. In: Lesser, V.R., Gasser, L. (eds.) Proceedings of the First International Conference on Multiagent Systems (ICMAS), San Francisco, California, USA, June 1995, pp. 41\u201348. The MIT Press, Cambridge (1995)"},{"issue":"93","key":"4_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.2307\/2218059","volume":"23","author":"C. Cherry","year":"1973","unstructured":"Cherry, C.: Regulative Rules and Constitutive Rules. The Philosophical Quarterly\u00a023(93), 301\u2013315 (1973)","journal-title":"The Philosophical Quarterly"},{"key":"4_CR13","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-00328-8_13","volume-title":"Business Process Management Workshops","author":"F. Chesani","year":"2009","unstructured":"Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) Business Process Management Workshops. LNBIP, vol.\u00a017, pp. 134\u2013145. Springer, Heidelberg (2009)"},{"key":"4_CR14","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Verifying A-Priori the Composition of Declarative Specified Services. In: Baldoni, M., Baroglio, C., Bentahar, J., Boella, G., Cossentino, M., Dastani, M., Dunin-Keplicz, B., Fortino, G., Gleizes, M.P., Leite, J., Mascardi, V., Padget, J.A., Pav\u00f3n, J., Polleres, A., Fallah-Seghrouchni, A.E., Torroni, P., Verbrugge, R. (eds.) Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), Turin, Italy, September 2009. CEUR Workshop Proceedings, vol.\u00a0494. CEUR-WS.org (2009)"},{"key":"4_CR15","unstructured":"Chopra, A.K.: Commitment Alignment: Semantics, Patterns, and Decision Procedures for Distributed Computing. PhD thesis, North Carolina State University, Raleigh, NC (2009)"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-540-24608-4_11","volume-title":"Advances in Agent Communication","author":"A.K. Chopra","year":"2004","unstructured":"Chopra, A.K., Singh, M.P.: Nonmonotonic Commitment Machines. In: Dignum, F. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 183\u2013200. Springer, Heidelberg (2004)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"1345","DOI":"10.1145\/1160633.1160884","volume-title":"5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006)","author":"A.K. Chopra","year":"2006","unstructured":"Chopra, A.K., Singh, M.P.: Contextualizing Commitment Protocol. In: Nakashima, H., Wellman, M.P., Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 2006, pp. 1345\u20131352. ACM, New York (2006)"},{"key":"4_CR18","unstructured":"Chopra, A.K., Singh, M.P.: Constitutive interoperability. In: Padgham, et al [29], pp. 797\u2013804"},{"key":"4_CR19","unstructured":"Chopra, A.K., Singh, M.P.: Multiagent Commitment Alignment. In: Sierra, et al [34], pp. 937\u2013944"},{"key":"4_CR20","unstructured":"Cox, B., Doug Tygar, J., Sirbu, M.: NetBill Security and Transaction Protocol. In: First USENIX Workshop on Electronic Commerce (WOEC 1995), pp. 77\u201388 (July 1995)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Allen Emerson, E.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol.\u00a0B, pp. 995\u20131072. North-Holland Pub. Co.\/MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"4_CR22","unstructured":"Fornara, N.: Interaction and Communication among Autonomous Agents in Multiagent Systems. PhD thesis, Universit\u00e0 della Svizzera italiana, Facolt\u00e0 di Scienze della Comunicazione (December 2003)"},{"issue":"9-10","key":"4_CR23","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A Commitment-Based Approach To Agent Communication. Applied Artificial Intelligence\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.jal.2005.12.011","volume":"5","author":"L. Giordano","year":"2007","unstructured":"Giordano, L., Martelli, A., Schwind, C.: Specifying and Verifying Interaction Protocols in a Temporal Action Logic. Journal of Applied Logic\u00a05(2), 214\u2013234 (2007)","journal-title":"Journal of Applied Logic"},{"issue":"7","key":"4_CR25","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communication of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communication of the ACM"},{"key":"4_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-68143-4_10","volume-title":"Agent Communication II","author":"A.U. Mallya","year":"2006","unstructured":"Mallya, A.U., Singh, M.P.: Introducing Preferences into Commitment Protocols. In: Dignum, F., van Eijk, R.M., Flores, R.A. (eds.) AC 2005. LNCS (LNAI), vol.\u00a03859, pp. 136\u2013149. Springer, Heidelberg (2006)"},{"key":"4_CR27","series-title":"LNBIP","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach","author":"M. Montali","year":"2010","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach. LNBIP, vol.\u00a056. Springer, Heidelberg (2010)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographiess. ACM Transactions on the Web (TWEB) 4(1) (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"4_CR29","unstructured":"Padgham, L., Parkes, D.C., M\u00fcller, J.P., Parsons, S. (eds.): 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol.\u00a02. IFAAMAS (2008)"},{"key":"4_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"4_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45657-0_13","volume-title":"Computer Aided Verification","author":"S.K. Rajamani","year":"2002","unstructured":"Rajamani, S.K., Rehof, J.: Conformance Checking for Models of Asynchronous Message Passing Software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 166\u2013179. Springer, Heidelberg (2002)"},{"key":"4_CR32","series-title":"Series in Artificial Intelligence","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Series in Artificial Intelligence. Prentice-Hall, Englewood Cliffs (2003)","edition":"2"},{"key":"4_CR33","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts","author":"J. Searle","year":"1969","unstructured":"Searle, J.: Speech Acts. Cambridge University Press, Cambridge (1969)"},{"key":"4_CR34","unstructured":"Sierra, C., Castelfranchi, C., Decker, K.S., Sichman, J.S. (eds.): 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, vol.\u00a02. IFAAMAS (2009)"},{"issue":"1","key":"4_CR35","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. Artificial Intelligence and Law\u00a07(1), 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"4_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/10722777_3","volume-title":"Issues in Agent Communication","author":"M.P. Singh","year":"2000","unstructured":"Singh, M.P.: A Social Semantics for Agent Communication Languages. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 31\u201345. Springer, Heidelberg (2000)"},{"key":"4_CR37","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1145\/860575.860721","volume-title":"The Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003)","author":"M.P. Singh","year":"2003","unstructured":"Singh, M.P.: Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition. In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2003), Melbourne, Victoria, Australia, July 2003, pp. 907\u2013914. ACM, New York (2003)"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Singh, M.P., Chopra, A.K.: Correctness Properties for Multiagent Systems. In: Baldoni, et al [8], pp. 192\u2013207","DOI":"10.1007\/978-3-642-11355-0_12"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social Commitments in Time: Satisfied or Compensated. In: Baldoni, et al [8], pp. 228\u2013243","DOI":"10.1007\/978-3-642-11355-0_14"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"van Riemsdijk, M.B.: Cognitive Agent Programming, a Semantic Approach. PhD thesis, Dutch Research School for Information and Knowledge Systems, Utrecht University, the Netherlands (2006)","DOI":"10.1145\/1082473.1082793"},{"key":"4_CR41","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/11493402_12","volume-title":"Declarative Agent Languages and Technologies II","author":"M. Winikoff","year":"2005","unstructured":"Winikoff, M., Liu, W., Harland, J.: Enhancing Commitment Machines. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, P. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 198\u2013220. Springer, Heidelberg (2005)"},{"key":"4_CR42","volume-title":"An Introduction to MultiAgent Systems","author":"M.J. Wooldridge","year":"2002","unstructured":"Wooldridge, M.J.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)"},{"key":"4_CR43","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45448-9_17","volume-title":"Intelligent Agents VIII","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Commitment Machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"},{"key":"4_CR44","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Designing and Executing Protocols using the Event Calculus. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 27\u201328 (2001)","DOI":"10.1145\/375735.375822"},{"issue":"4","key":"4_CR45","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"A.M. Zaremski","year":"1997","unstructured":"Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a06(4), 333\u2013369 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20715-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T16:59:05Z","timestamp":1558544345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20715-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207143","9783642207150"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20715-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}