{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:25:05Z","timestamp":1725492305095},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540404507"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-45023-8_21","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T04:19:23Z","timestamp":1191730763000},"page":"214-225","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Specification Language for Agent Conversations"],"prefix":"10.1007","author":[{"given":"Javier","family":"Soriano","sequence":"first","affiliation":[]},{"given":"Fernando","family":"Alonso","sequence":"additional","affiliation":[]},{"given":"Genoveva","family":"L\u00f3pez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","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, England (1985)"},{"unstructured":"ARPA KSI. Specification of the KQML agent-communication language. ARPA Knowledge Sharing Initiative, External Interfaces Working Group (1993)","key":"21_CR2"},{"unstructured":"FIPA-Foundation for Intelligent Physical Agents: FIPA ACL Message Structure Specification. http:\/\/www..pa.org\/specs\/.pa00061 , FIPA (2002)","key":"21_CR3"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"21_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Communication and Cooperation in Agent Systems: A Pragmatic Theory","author":"A. Haddadi","year":"1996","unstructured":"Haddadi, A.: Communication and Cooperation in Agent Systems: A Pragmatic Theory. volume 1056 of LNCS. Springer Verlag, Heidelberg, Germany (1996)"},{"unstructured":"Cost, R. S. et al. Modeling agent conversation with colored Petri Nets. In J. Bradshaw, editor, Autonomous Agents\u201999, Workshop on Conversation Policies, May(1999)","key":"21_CR6"},{"unstructured":"Turner K. J.: Using Formal Description Techniques. An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons, Ltd (1993)","key":"21_CR7"},{"doi-asserted-by":"crossref","unstructured":"McBurney, P., Parsons, S., and Wooldridge, M. Desiderata for Agent Argumentation Protocols. In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS02), Bologna, Italy, (2002)","key":"21_CR8","DOI":"10.1145\/544741.544836"},{"unstructured":"Odell J. et al. Representing agent interaction protocols in UML. In P. Ciancarini and M. Wooldridge, editors, Proceedings of Fist International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, (2000)","key":"21_CR9"},{"unstructured":"FIPA-Foundation for Intelligent Physical Agents. FIPA Interaction protocol Library Specification. http:\/\/www..pa.org\/specs\/.pa00025 , FIPA, (2001)","key":"21_CR10"},{"unstructured":"Fisher, M and Wooldridge, M.: Specifying and Executing Protocols for Cooperative Action. In International Working Conference on Cooperating Knowledge-Based Systems, Keele, 1994","key":"21_CR11"},{"doi-asserted-by":"crossref","unstructured":"Dignum, F.: FLBC: From Messages to Protocols. In F. Dignum and C. Sierra, editors, European Perspective on Agent Mediated Electronic Commerce. Springer Verlag (2000)","key":"21_CR12","DOI":"10.1007\/3-540-44682-6"},{"key":"21_CR13","volume-title":"ICMAS-95","author":"M. Barbuceanu","year":"1995","unstructured":"Barbuceanu, M and Fox M. S.: COOL: A Language for Describing Coordination in Multiagent System. In ICMAS-95, San Francisco, USA, AAAI Press (1995)"},{"unstructured":"FIPA-Foundation for Intelligent Physical Agents. FIPA Contract Net Interaction protocol Specification. http:\/\/www..pa.org\/specs\/.pa00025\/XC00025E.html , FIPA (2001)","key":"21_CR14"},{"unstructured":"Genesereth, M. and Fikes, R.: Knowledge Exchange Format, version 3.0 reference manual. Technical report, Computer Science Department, Stanford University (1992)","key":"21_CR15"},{"key":"21_CR16","volume-title":"Morgan Kaufmann Series in Data Management Systems","author":"N.A. Lynch","year":"1994","unstructured":"Lynch N.A. et al.: Atomic Transactions. In, N. A. Lynch and A. Fekete, editors, Morgan Kaufmann Series in Data Management Systems, Morgan Kaufmann Publishers, San Mateo (1994)"},{"unstructured":"Galan, A. and Baker, A.: Multi-agent communications in JAFMAS. In Working Notes of the Workshop on Specifying and Implementing Conversation Policies, Washington (1999)","key":"21_CR17"},{"doi-asserted-by":"crossref","unstructured":"d\u2019Inverno, M. and Luck, M.: Formalising the Contract Net as a Goal-Directed System. In W.V. de Velde and J. Perram, editors, MAAMAW 96. LNAI 1038. Springer-Verlag (1996)","key":"21_CR18","DOI":"10.1007\/BFb0031847"},{"unstructured":"d\u2019Inverno, M., Kinny, D. and Luck, M.: Interaction Protocols in Agentis. In Proceedings of the International Conference on Multi-Agent Systems ICMAS\u201998 (1998)","key":"21_CR19"},{"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\u201995), Herndon, Virginia (1995)","key":"21_CR20"},{"unstructured":"Bradshaw, J.M. et al.: Kaos: Toward an industrial-strength open agent architecture. In Jeffrey M. Bradshaw, editor, Software Agents. AAAI\/MIT Press (1997)","key":"21_CR21"},{"unstructured":"Labrou, Y. and Finin, T.: Semantics and conversations for an agent communication language. In Michael Huhns and Munindar Singh, editors, Readings in Agents. Morgan Kaufmann, 1997","key":"21_CR22"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45023-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:31Z","timestamp":1619573311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45023-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540404507"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45023-8_21","relation":{},"subject":[]}}