{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:03Z","timestamp":1725564483848},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208266"},{"type":"electronic","value":"9783540246206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24620-6_10","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:29:07Z","timestamp":1283671747000},"page":"138-152","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Derivation of Agent Interaction Model from Generic Interaction Protocols"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ghislain","family":"Quenum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aur\u00e9lien","family":"Slodzian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Aknine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Deloach, S., Wood, M.: Developing multiagent systems with agenttool. In: Springer (ed.) Proceedings of the 7th International Workshop on Agent theories, architectures and languages (July 2001)","DOI":"10.1007\/3-540-44631-1_4"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Depke, R., Heckel, R., K\u00fcster, J.M.: Formal agent oriented modeling with uml and graph transformation. Science of Computer Programming (2001)","DOI":"10.1007\/3-540-44564-1_7"},{"key":"10_CR3","unstructured":"FIPA. Fipa interaction protocol library specification. Technical report, Foundation for Intelligent Physical Agents (2001)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Giunchiglia, F., Mylopoulos, J., Perini, A.: The tropos development methology: Processes, models and diagrams. In: Proceedings of the 1st International Joint Conference on Autonomous Agent and Multi-agents Systems (2002)","DOI":"10.1145\/544741.544748"},{"key":"10_CR5","unstructured":"Koning, J.L., Fran\u00e7ois, G., Demazeau, Y.: Formalization and pre-validation for interaction protocols in multi-agents systems. In: Proceedings of the 13th European Conference on Artificial Intelligence (1998)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Mazouzi, H., El Fallah Seghroughni, A., Haddad, S.: Open protocol design for complex interactions in multi-agent systems. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 517\u2013526 (2002)","DOI":"10.1145\/544862.544866"},{"key":"10_CR7","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., Parunak, V.D., Bauer, B.: 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":"10_CR8","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Proceedings of the 1st International Joint Conference on Autonomous Agent and Multi-agents Systems (July 2002)","DOI":"10.1145\/544741.544749"},{"issue":"12","key":"10_CR9","doi-asserted-by":"publisher","first-page":"1104","DOI":"10.1109\/TC.1980.1675516","volume":"29","author":"R.G. Smith","year":"1980","unstructured":"Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. IEEE Trans. On Computers\u00a029(12), 1104\u20131113 (1980)","journal-title":"IEEE Trans. On Computers"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Tadashige, I., Yudji, W., Makoto, O., Makoto, A.: Framework for the exchange and installation of protocols in a multi-agent system. In: Proceedings of the 5th International workshop on Cooperative Information Agents, pp. 211\u2013222 (2001)","DOI":"10.1007\/3-540-44799-7_23"},{"key":"10_CR11","unstructured":"Thomas, J., Pearce, A., Sterling, L.: Assembling agent oriented software engineering methodologies from features. In: Proceedings of the 1st International Joint Conference on Autonomous Agent and Multi-agents Systems (2002)"},{"key":"10_CR12","unstructured":"Wei, J., Cheung, S.C., Wang, X.: Towards a methodology for formal design and analysis of agent interaction protocol: An investigation in electronic commerce. In: International Software Engineering Symposium (March 2001)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24620-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:34:35Z","timestamp":1559568875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24620-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208266","9783540246206"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24620-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}