{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:20:42Z","timestamp":1725531642060},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642016677"},{"type":"electronic","value":"9783642016684"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01668-4_10","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T16:52:45Z","timestamp":1241455965000},"page":"174-196","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Interaction Protocols as Modular and Reusable 1st Class Objects"],"prefix":"10.1007","author":[{"given":"Esteban","family":"Le\u00f3n-Soto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"ACM SIGPLAN Notices","first-page":"73","volume-title":"OOPSLA Companion","author":"M.P. Singh","year":"2004","unstructured":"Singh, M.P., Chopra, A.K., Desai, N.V., Mallya, A.U.: Protocols for Processes: Programming in the Large for Open Systems. In: OOPSLA Companion. ACM SIGPLAN Notices, vol.\u00a039, pp. 73\u201383. ACM, New York (2004)"},{"issue":"1","key":"10_CR2","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 Ontoloy for Commitments in Multiagent Systems. Artificial Intelligence and Law\u00a07(1), 97\u2013113 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","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, vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-32258-0_3","volume-title":"Agent Communication","author":"A.U. Mallya","year":"2005","unstructured":"Mallya, A.U., Singh, M.P.: A Semantic Approach for Designing Commitment Protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS, vol.\u00a03396, pp. 33\u201349. Springer, Heidelberg (2005)"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1021836202093","volume":"6","author":"R.M.V. Eijk","year":"2003","unstructured":"Eijk, R.M.V., Boer, F.S.D., Hoek, W.V.D., Meyer, J.J.C.: A verification framework for agent communication. Autonomous Agents and Multi-Agent Systems\u00a06(2), 185\u2013219 (2003)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-44972-0_15","volume-title":"Communication in Multiagent Systems","author":"P. McBurney","year":"2003","unstructured":"McBurney, P., Parsons, S.: Dialogue game protocols. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol.\u00a02650, pp. 269\u2013283. Springer, Heidelberg (2003)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/967900.967918","volume-title":"SAC 2004: Proceedings of the, ACM symposium on Applied computing","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: SAC 2004: Proceedings of the, ACM symposium on Applied computing, pp. 72\u201378. ACM, New York (2004)"},{"key":"10_CR9","unstructured":"McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Readings in nonmonotonic reasoning, 26\u201345 (1987)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-540-87654-0_11","volume-title":"Engineering Societies in the Agents World VIII","author":"T. Miller","year":"2008","unstructured":"Miller, T., Mcginnis, J.: Amongst first-class protocols. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS, vol.\u00a04995, pp. 208\u2013223. Springer, Heidelberg (2008)"},{"key":"10_CR11","unstructured":"FIPA: Foundation for Intelligent Physical Agents (2002), \n                    \n                      http:\/\/www.fipa.org"},{"issue":"12","key":"10_CR12","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1109\/TSE.2005.140","volume":"31","author":"N. Desai","year":"2005","unstructured":"Desai, N., Mallya, A.U., Chopra, A.K., Singh, M.P.: Interaction Protocols as Design Abstractions for Business Processes. Transactions on Software Engineering\u00a031(12), 1015\u20131027 (2005)","journal-title":"Transactions on Software Engineering"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36540-0_1","volume-title":"Agent-Oriented Software Engineering III","author":"A. Artikis","year":"2003","unstructured":"Artikis, A., Sergot, M., Pitt, J.: Specifying Electronic Societies with the Causal Calculator. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 1\u201315. Springer, Heidelberg (2003)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"416","DOI":"10.1007\/978-3-540-27775-0_29","volume-title":"Logic Programming","author":"D. Robertson","year":"2004","unstructured":"Robertson, D.: Multi-agent Coordination as Distributed Logic Programming. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 416\u2013430. Springer, Heidelberg (2004)"},{"issue":"3","key":"10_CR15","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1023\/A:1015586128739","volume":"11","author":"P. McBurney","year":"2002","unstructured":"McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. J. of Logic, Lang. and Inf.\u00a011(3), 315\u2013334 (2002)","journal-title":"J. of Logic, Lang. and Inf."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-540-30578-1_4","volume-title":"Agent-Oriented Software Engineering V","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Moldt, D.: Formal semantics for auml agent interaction protocol diagrams. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 47\u201361. Springer, Heidelberg (2005)"},{"key":"10_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-75524-1_14","volume-title":"Engineering Societies in the Agents World VII","author":"T. Miller","year":"2007","unstructured":"Miller, T., McBurney, P.: Using constraints and process algebra for specification of first-class agent interaction protocols. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 245\u2013264. Springer, Heidelberg (2007)"},{"key":"10_CR18","unstructured":"Miller, T., McBurney, P.: Annotation and matching of first-class agent interaction protocols. In: AAMAS 2008: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems, pp. 805\u2013812 (2008)"}],"container-title":["Lecture Notes in Business Information Processing","Agent-Based Technologies and Applications for Enterprise Interoperability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01668-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T01:23:05Z","timestamp":1552008185000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01668-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642016677","9783642016684"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01668-4_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}