{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:03Z","timestamp":1777299543777,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540403852","type":"print"},{"value":"9783540449720","type":"electronic"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-44972-0_9","type":"book-chapter","created":{"date-parts":[[2011,1,6]],"date-time":"2011-01-06T22:23:50Z","timestamp":1294352630000},"page":"179-193","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Interaction Protocol Engineering"],"prefix":"10.1007","author":[{"given":"Marc-Philippe","family":"Huget","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Koning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,8,23]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Bauer, B., Muller, J.P., Odell, J.: An extension of UML by protocols for multiagent interaction. In: International Conference on MultiAgent Systems (ICMAS 2000), Boston, Massachussetts, July 10-12, pp. 207\u2013214 (2000)","DOI":"10.1109\/ICMAS.2000.858455"},{"key":"9_CR2","unstructured":"Chu, P.-Y.M.: Towards Automating Protocol Synthesis and Analysis. PhD thesis, Ohio State University (1989)"},{"key":"9_CR3","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"9_CR4","unstructured":"Cox, B., Tygar, J., Sirbu, M.: Netbill security and transaction protocol. In: Proceedings of the First USENIX Workshop in Electronic Commerce (July 1995)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(83)90015-2","volume":"20","author":"R. Davis","year":"1983","unstructured":"Davis, R., Smith, R.G.: Negotiation as a metaphor for distributed problemsolving. Artificial Intelligence\u00a020, 63\u2013109 (1983)","journal-title":"Artificial Intelligence"},{"key":"9_CR6","unstructured":"FIPA. Specification: Agent Communication Language. Foundation for Intelligent Physical Agents Draft-2 (September 1999), http:\/\/www.fipa.org\/spec\/fipa99spec.htm"},{"key":"9_CR7","unstructured":"FIPA. Specification. Foundation for Intelligent Physical Agents (2000), http:\/\/www.fipa.org\/repository\/fipa2000.html"},{"key":"9_CR8","unstructured":"Fisher, M., Wooldridge, M.: Specifying and executing protocols for cooperative action. In: International Working Conference on Cooperating Knowledge-Based Systems (CKBS 1994), Keele (1994)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Greaves, M., Holmback, H., Bradshaw, J.: What is a conversation policy? In: Autonomous Agents 1999 Special Workshop on Conversation Policies (1999)","DOI":"10.1007\/10722777_8"},{"key":"9_CR10","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"issue":"5","key":"9_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Transactions on Software Engineering\u00a023(5) (May 1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR12","unstructured":"Huget, M.-P.: Une ingnierie des protocoles d\u2019interaction pour les systmes multiagents. PhD thesis, Universit Paris 9 Dauphine (June 2001)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Huget, M.-P.: Design agent interaction as a service to agents. In: Huget, M.-P., Dignum, F., Koning, J.-L. (eds.) AAMAS Workshop on Agent Communication Languages and Conversation Policies (ACL2002), Bologna, Italy (July 2002)","DOI":"10.1007\/978-3-540-44972-0_11"},{"key":"9_CR14","unstructured":"Iglesias, C., Garrijo, M., Gonzales, J., Velasco, J.: Design of multi-agent system using mas-commonkads. In: Rao, A.S., Singh, M.P., M\u00fcller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol.\u00a01555, pp. 163\u2013176. Springer, Heidelberg (1999)"},{"key":"9_CR15","volume-title":"Handbook in Agent Technology","author":"N.R. Jennings","year":"2000","unstructured":"Jennings, N.R., Wooldridge, M.: Agent-oriented software engineering. In: Bradshaw, J. (ed.) Handbook in Agent Technology. MIT Press, Cambridge (2000)"},{"key":"9_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6","volume-title":"High-Level Petri Nets, Theory and Application","author":"K. Jensen","year":"1991","unstructured":"Jensen, K.: High-Level Petri Nets, Theory and Application. Springer, Heidelberg (1991)"},{"key":"9_CR17","volume-title":"Information Modelling and Knowledge Bases XII, Frontiers in Artificial Intelligence and Applications","author":"J.-L. Koning","year":"2001","unstructured":"Koning, J.-L., Huget, M.-P.: A semi-formal specification language dedicated to interaction protocols. In: Kangassalo, H., Jaakkola, H., Kawaguchi, E. (eds.) Information Modelling and Knowledge Bases XII, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2001)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-70657-7_5","volume-title":"Agent-Oriented Software Engineering II","author":"J.-L. Koning","year":"2002","unstructured":"Koning, J.-L., Huget, M.-P., Wei, J., Wang, X.: Extended modeling languages for interaction protocol design. In: Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, p. 68. Springer, Heidelberg (2002)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Kuwabara, K., Ishida, T., Osato, N.: AgenTalk: Describing multiagent coordination protocols with inheritance. In: Seventh IEEE International Conference on Tools with Artificial Intelligence, Herndon, Virginia, November 1995, pp. 460\u2013465 (1995)","DOI":"10.1109\/TAI.1995.479841"},{"key":"9_CR20","unstructured":"L\u00f6ffler, S., Serhrouchni, A.: Protocol design: from specification to implementation. In: 5th Open Workshop for High-Speed Networks (March 1996)"},{"key":"9_CR21","unstructured":"Narasimhan, M.: An object oriented framework for composing communication protocols. Master\u2019s thesis, Department of Computing and Information Sciences, Kansas State University, Manhattan, Kansas (January 1997)"},{"key":"9_CR22","unstructured":"Noriega, P.: Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autnoma de Barcelona (1998)"},{"key":"9_CR23","volume-title":"Proceedings of First International Workshop on Agent-Oriented Software Engineering","author":"J. Odell","year":"2000","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M. (eds.) Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, June 10. Springer, Heidelberg (2000)"},{"key":"9_CR24","volume-title":"Theory of Automata","author":"A. Salomaa","year":"1969","unstructured":"Salomaa, A.: Theory of Automata. Pergamon Press, Oxford (1969)"},{"key":"9_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech Acts: An Essay in the Philosophy of Language","author":"J. Searle","year":"1969","unstructured":"Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)"},{"key":"9_CR26","first-page":"257","volume-title":"Decentralized AI","author":"S.S. Sian","year":"1991","unstructured":"Sian, S.S.: Adaptation based on cooperative learning in multi-agent systems. In: Demazeau, Y., Mller, J.-P. (eds.) Decentralized AI, vol.\u00a0II, pp. 257\u2013272. Elsevier Science Publishers B.V., Amsterdam (1991)"},{"key":"9_CR27","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Advances in Artificial Intelligence - IBERAMIA 2002","author":"J.L. Tavares da Silva","year":"2002","unstructured":"Tavares da Silva, J.L., Demazeau, Y.: Distributed agenda management through decentralised vowels co-ordination approach. In: Garijo, F.J., Riquelme, J.-C., Toro, M. (eds.) IBERAMIA 2002. LNCS (LNAI), vol.\u00a02527. Springer, Heidelberg (2002)"},{"key":"9_CR28","volume-title":"Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL","author":"K.J. Turner","year":"1993","unstructured":"Turner, K.J.: Using Formal Description Techniques - An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons, Ltd, Chichester (1993)"},{"key":"9_CR29","unstructured":"Webber, C., Pesty, S.: A two-level multi-agent architecture for a distance learning environment. In: Costa, E.B. (ed.) ITS 2002\/Workshop on Architectures and Methodologies for Building Agent-based Learning Environments, pp. 26\u201338 (2002)"},{"issue":"3","key":"9_CR30","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03(3), 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Communication in Multiagent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-44972-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T13:37:43Z","timestamp":1740836263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-44972-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403852","9783540449720"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-44972-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"23 August 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}