{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:09Z","timestamp":1737063609665,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432821"},{"type":"electronic","value":"9783540706571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-70657-7_5","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T06:00:57Z","timestamp":1180677657000},"page":"68-83","source":"Crossref","is-referenced-by-count":11,"title":["Extended Modeling Languages for Interaction Protocol Design"],"prefix":"10.1007","author":[{"given":"Jean-Luc","family":"Koning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc-Philippe","family":"Huget","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"B. Burmeister, A. Haddadi,and K. Sundermeyer.Generic,configurable,coop-eration protocols for multi-agent systems.In C. Castelfranchi and J.-P. Muller, editors,From Reaction to Cognition,volume 957 of Lecture notes in AI,pages 157\u201371,Berlin,Germany,1995.Springer Verlag.Appeared also in MAAMAW-93,Neuchatel.","DOI":"10.1007\/BFb0027062"},{"key":"5_CR2","unstructured":"B. Cox, J. Tygar,and M. Sirbu.Netbill security and transaction protocol.In Proceedings of the First USENIX Workshop in Electronic Commerce,july 1995."},{"key":"5_CR3","unstructured":"FIPA.Specification:Agent Communication Language.Foundation for Intelli-gent Physical Agents, http:\/\/www..pa.org\/spec\/.pa99spec.htm ,September 1999. Draft-2."},{"key":"5_CR4","unstructured":"G.J. Holzmann.Design and Validation of Computer Protocols.Prentice-Hall, 1991."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"G.J. Holzmann.The model checker spin.IEEE Transactions on Software Engineering,23(5),May 1997.","DOI":"10.1109\/32.588521"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"K. Jensen.Coloured Petri Nets.Basic Concepts,Analysis Methods and Practical Use,volume 1,Basic Concepts of Monographs in Theoretical Computer Science, chapter 6,Overview of Design\/CPN.Springer-Verlag,1992.ISBN:3\u2013540-60943-1.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"5_CR7","unstructured":"J.-L. Koning and M.-P. Huget.A component-based approach for modeling interac-tion protocols.In 10th European-Japanese Conference on Information Modelling and Knowledge Bases,Finland,May 2000."},{"key":"5_CR8","volume-title":"Information Modelling and Knowledge Bases XII","author":"J.-L. Koning","year":"2001","unstructured":"J.-L. Koning and M.-P. Huget.A semi-formal specification language dedicated to interaction protocols.In H. Kangassalo, H. Jaakkola,and E. Kawaguchi,editors, Information Modelling and Knowledge Bases XII,Frontiers in Artificial Intelligence and Applications.IOS Press, Amsterdam,2001."},{"key":"5_CR9","unstructured":"J.-L. Koning, M.-P. Huget, J. Wei,and X. Wang.Engineering electronic commerce interaction protocols.In Proceedings of Intelligent Agents,Web Technologies and Internet Commerce (IAWTIC 01),Las Vegas,NV,USA,July 2001."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"K. Kuwabara, T. Ishida,and N. Osato.AgenTalk:Describing multiagent coor-dination protocols with inheritance.In Seventh IEEE International Conference on Tools with Artificial Intelligence,pages 460\u201365,Herndon,Virginia,November 1995.","DOI":"10.1109\/TAI.1995.479841"},{"key":"5_CR11","unstructured":"J. Odell, H.V.D. Parunak, and B. Bauer.Extending uml for agents.In G. Wag-ner, Y. Lesperance,and E. Yu,editors,Proceedings of the Agent-Oriented Informa-tion Systems Workshop at the 17th National conference on Artificial Intelligence, Austin,Texas,july,3 2000.ICue Publishing."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"J. Odell, H.V.D. Parunak,and B. Bauer.Representing agent interaction protocols in uml.In P. Ciancarini and M. Wooldridge,editors,Proceedings of First Interna-tional Workshop on Agent-Oriented Software Engineering,Limerick,Ireland,june, 10 2000.Springer-Verlag.","DOI":"10.1007\/3-540-44564-1_8"},{"key":"5_CR13","series-title":"Lect Notes Comput Sci","volume-title":"Second International Work-shop on Agent-Oriented Software Engineering (AOSE-2001)","author":"H.V.D. Parunak","year":"2001","unstructured":"H.V.D. Parunak and J. Odell.Representing social structures in uml.In M. Wooldridge, G. Weiss,and P. Ciancarini,editors,Second International Work-shop on Agent-Oriented Software Engineering (AOSE-2001), LNCS, Montreal, Canada, May 2001. Springer-Verlag."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J. Searle.Speech Acts:An Essay in the Philosophy of Language.Cambridge Uni-versity Press,Cambridge,1969.","DOI":"10.1017\/CBO9781139173438"},{"key":"5_CR15","unstructured":"A.E.-F. Seghrouchni, S. Haddad,and H. Mazouzi.A formal study of interaction in multi-agent systems.In Modelling Autonomous Agents in Multi-Agent Worlds (MAAMAW),1999."},{"key":"5_CR16","unstructured":"M.P. Singh.Toward interaction oriented programming.Technical Report TR-96-15,North Carolina State University,May 1996."},{"key":"5_CR17","unstructured":"Systems.Agentbuilder,an integrated toolkit for constructing intelligent software agents.Technical report,Reticular Systems,1999."},{"key":"5_CR18","unstructured":"J.Wei, S.-C. Cheung,and X. Wang.Towards a methodology for formal design and analysis of agent interaction protocols:An investigation in electronic commerce. In International Software Engineering Symposium,Wuhan,Hubei,China.,March 2001."}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-70657-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:06:39Z","timestamp":1737061599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-70657-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432821","9783540706571"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-70657-7_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}