{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:43Z","timestamp":1725549883485},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290469"},{"type":"electronic","value":"9783540317319"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11559221_3","type":"book-chapter","created":{"date-parts":[[2005,10,1]],"date-time":"2005-10-01T06:36:05Z","timestamp":1128148565000},"page":"21-30","source":"Crossref","is-referenced-by-count":9,"title":["A Formal Framework for Interaction Protocol Engineering"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Alonso","sequence":"first","affiliation":[]},{"given":"Sonia","family":"Frutos","sequence":"additional","affiliation":[]},{"given":"Genoveva","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Soriano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"131","volume-title":"Autonomous Agents and Multi-Agent Systems","author":"C. Hanachi","year":"2004","unstructured":"Hanachi, C., Sibertin-blanc, C.: Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. In: Autonomous Agents and Multi-Agent Systems, vol.\u00a08, pp. 131\u2013164. Kluwer Academic Publishers, The Netherlands (2004)"},{"key":"3_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/3-540-45023-8_21","volume-title":"Multi-Agent Systems and Applications III","author":"J. Soriano","year":"2003","unstructured":"Soriano, J., Alonso, F., L\u00f3pez, G.: A Formal Specification Language for Agent Conversations. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 214\u2013225. Springer, Heidelberg (2003)"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/10722777_6","volume-title":"Issues in Agent Communication","author":"R. Eijk","year":"2000","unstructured":"Eijk, R., Boer, F., Hoek, W., Meyer, J.-C.: Operational Semantics for Agent Communication Languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol.\u00a01916, pp. 80\u201395. Springer, Heidelberg (2000)"},{"key":"3_CR4","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19. Aarhus University, Computer Science Department, Denmark (1981)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Issues in Agent Communication","year":"2000","unstructured":"Dignum, F.P.M., Greaves, M. (eds.): Issues in Agent Communication. LNCS, vol.\u00a01916. Springer, Heidelberg (2000)"},{"key":"3_CR6","volume-title":"Foundations of Illocutionary Logic","author":"J.R. Searle","year":"1985","unstructured":"Searle, J.R., Vanderveken, D.: Foundations of Illocutionary Logic. Cambridge University Press, Cambridge (1985)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Finin, T., et al.: Specification of the KQML agent-communication language. ARPA Knowledge Sharing Initiative, External Interfaces Working Group (1993)","DOI":"10.1145\/191246.191322"},{"key":"3_CR8","unstructured":"FIPA-Foundation for Intelligent Physical Agents: FIPA ACL Message Structure Specification. FIPA (2002), http:\/\/www.fipa.org\/specs\/fipa00061"},{"key":"3_CR9","unstructured":"Cost, R.S., et al.: Modeling agent conversations with CPN. In: Bradshaw, J. (ed.) Workshop on Specifying and Implementing Conversation Policies, pp. 59\u201366 (1999)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J. Odell","year":"2001","unstructured":"Odell, J., et al.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 121\u2013140. Springer, Heidelberg (2001)"},{"key":"3_CR11","unstructured":"FIPA-Foundation for Intelligent Physical Agents. FIPA Interaction protocol Library Specification. FIPA (2003), http:\/\/www.fipa.org\/specs\/fipa00025"},{"key":"3_CR12","volume-title":"European Perspective on Agent Mediated Electronic Commerce","author":"F. Dignum","year":"2000","unstructured":"Dignum, F.: From Messages to Protocols. In: Dignum, F., Sierra, C. (eds.) European Perspective on Agent Mediated Electronic Commerce. Springer, Heidelberg (2000)"},{"key":"3_CR13","first-page":"17","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995)","author":"M. Barbuceanu","year":"1995","unstructured":"Barbuceanu, M., Fox, M.S.: COOL: A Language for Describing Coordination in Multiagent Systems. In: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS 1995), pp. 17\u201324. AAAI Press, San Francisco (1995)"},{"key":"3_CR14","unstructured":"Galan, A., Baker, A.: Multi-agent communications in JAFMAS. In: Workshop on Specifying and Implementing Conversation Policies, Washington (1999)"},{"key":"3_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0031847","volume-title":"Agents Breaking Away","author":"M. d\u2019Inverno","year":"1996","unstructured":"d\u2019Inverno, M., Luck, M.: Formalising the Contract Net as a Goal-Directed System. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol.\u00a01038, pp. 72\u201385. Springer, Heidelberg (1996)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M., Kinny, D., Luck, M.: Interaction Protocols in Agentis. In: Proceedings of the International Conference on Multi-Agent Systems ICMAS 1988 (1998)","DOI":"10.1109\/ICMAS.1998.699039"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Kuwabara, K., et al.: AgenTalk: Describing multiagent coordination protocols with inheritance. In: Proceedings of the Seventh IEEE International Conference on Tools with Artificial Intelligence (ICTAI 1995), Herndon, Virginia (1995)","DOI":"10.1109\/TAI.1995.479841"},{"key":"3_CR18","first-page":"375","volume-title":"Software Agents","author":"J.M. Bradshaw","year":"1997","unstructured":"Bradshaw, J.M., et al.: Kaos: Toward an industrial-strength open agent architecture. In: Bradshaw, J.M. (ed.) Software Agents, pp. 375\u2013418. AAAI\/MIT Press, Cambridge (1997)"},{"key":"3_CR19","first-page":"584","volume-title":"Readings in Agents","author":"Y. Labrou","year":"1997","unstructured":"Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Huhns, M., et al. (eds.) Readings in Agents, pp. 584\u2013591. Morgan Kaufmann, San Francisco (1997)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11559221_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:49:12Z","timestamp":1605642552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11559221_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290469","9783540317319"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11559221_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}