{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:37:17Z","timestamp":1768559837958,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540253402","type":"print"},{"value":"9783540321286","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32128-6_3","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T19:51:34Z","timestamp":1278273094000},"page":"29-42","source":"Crossref","is-referenced-by-count":3,"title":["Specifying DIMA Multi-agents Models Using Maude"],"prefix":"10.1007","author":[{"given":"Noura","family":"Boudiaf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farid","family":"Mokhati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Badri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linda","family":"Badri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Amyot, D., Logrippo, L., Burh, R.J.A.: Sp\u00e9cification et Conception de Syst\u00e8mes Communicants: une Approche Rigoureuse Bas\u00e9e sur des Sc\u00e9narios d\u2019Usage. In: Leduc, G. (ed.) CFIP 1997, Ing\u00e9nierie des protocoles, Li\u00e8ge, Belgium, Herm\u00e8s, pp. 159\u2013174 (1997)"},{"key":"3_CR2","unstructured":"Andriamasinoro, F., Courdier, R.: Un Mod\u00e8le Dynamique de Comportement Agent \u00e0 Base de Besoins. In: Journ\u00e9es Francophones sur l\u2019IAD et les SMAs (JFIADSMA 2001), Montr\u00e9al, Qu\u00e9bec, Canada (2001)"},{"key":"3_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/3-540-45484-5_10","volume-title":"Formal Approaches to Agent-Based Systems","author":"I. Bakam","year":"2001","unstructured":"Bakam, I., Kordon, F., Le Page, C., Bousquet, F.: Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of a Hunting Management System. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol.\u00a01871, p. 123. Springer, Heidelberg (2001)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","first-page":"11","volume-title":"How to specify Non Determinism and True Concurrency with Algebraic Term Nets","author":"M. Bettaz","year":"1993","unstructured":"Bettaz, M., Maouche, M.: How to specify Non Determinism and True Concurrency with Algebraic Term Nets. LNCS, vol.\u00a0655, pp. 11\u201330. Springer, Berlin (1993)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bussmann, S., Demazeau, Y.: An agent model combining reactive and cognitive capabilities. In: Proc. of IEEE International conference on intelligent Robots and Systems - IROS\u2019S 1994, Munchen (1994)","DOI":"10.1109\/IROS.1994.407576"},{"key":"3_CR6","unstructured":"Chaoui, A., Bouzenada, M.: G-ECATNets: An Object Petri Net-Based Framework for the Modular Design of Complex Information Systems. In: ISIICT 2001 (2001)"},{"key":"3_CR7","unstructured":"Cost, R., et al.: Modeling Agent Conversations with colored Petri Nets. In: Working Notes of the Workshop on Specifing and Implementing Conversation Policies, Autonomous Agents 1999, Seattle, Washington (1999)"},{"key":"3_CR8","unstructured":"Ferguson, I.A.: On supporting rational behavior in real time multi-agent domains. In: Proc. of AAAI Full Symposium on Rational Agency: concepts, theories, models and applications, Cambridge, MA, pp. 61\u201365 (November 1995)"},{"key":"3_CR9","unstructured":"Franchesquin, N., Espinasse, B.: Analyse multi-agents de la gestion hydraulique de la camangue: consid\u00e9rations m\u00e9thodologiques. In: Communication soumise \u00e0 JFIADSMA 2000, Saint Etienne, October 2-4 (2000)"},{"key":"3_CR10","unstructured":"Guessoum, Z.: Un Environnement Op\u00e9rationnel de Conception et de R\u00e9alisation de Syst\u00e8mes Multi-agents. Th\u00e8se de l\u2019Universit\u00e9 Paris 6, LAFORIA (1996)"},{"key":"3_CR11","unstructured":"Guessoum, Z., Briot, J.-P., Dojat, M.: Des objets concurrents aux agents autonomes. In: Quinqueton, J., Thomas, M.C., Trousse, B. (eds.) JFIADSMA 1997, Herm\u00e8s, pp. 93\u2013106 (1997)"},{"key":"3_CR12","unstructured":"Guessoum, Z.: Mod\u00e8les et Archit\u00e9ctures d\u2019Agents et de Syst\u00e8mes Multi-Agents Adaptatifs. Dossier d\u2019habilitation \u00e0 diriger des recherches de l\u2019Universit\u00e9 Pierre et Marie Curie (2003)"},{"key":"3_CR13","unstructured":"Clavel, M., et al.: Maude: Specification and Programming in Rewriting Logic. Internal report, SRI International (1999)"},{"key":"3_CR14","unstructured":"McCombs, T.: Maude 2.0 Primer, Version 1.0. Internal report, SRI International (2003)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/BFb0039072","volume-title":"CONCUR \u201990","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J.: Rewriting as a unified model of concurrency. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 384\u2013400. Springer, Heidelberg (1990)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Meseguer, J.: A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In: Agha, G., Wegner, P., Yonezawa, A. (eds.) Research Directions in Object-Based Concurrency. MIT Press, Cambridge (1992)","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"3_CR17","unstructured":"Muller, J.-P., Pischel, M.: Modeling reactive behavior in vertically layered agents architectures. In: Proc of ECAI 1994, Amsterdam, NL, pp. 709\u2013713 (1994)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent Interaction protocol In UML. In: Conf\u00e9rence AAAI Agents 2000, Barcelone (2000)","DOI":"10.1007\/3-540-44564-1_8"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent Oriented Software Enginering","author":"J. Odell","year":"2001","unstructured":"Odell, J., Parunak, H.V.D., Bauer, B.: Representing agent Interaction protocol In UML. In: Ciancarini, P., Wooldridge, M. (eds.) Agent Oriented Software Enginering, pp. 121\u2013140. Springer, Berlin (2001)"},{"key":"3_CR20","unstructured":"Paurobally, S., Cunningham, J.: Achieving Common Interaction Protocols in Open Agent Environments. In: 2nd international workshop on Challenges in Open Agent Environments, AAMAS 2003, Melbourne, Australia (2003)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings CISM School Udine 1993","author":"G. Saake","year":"1993","unstructured":"Saake, G., Hartman, T., Junglaus, R., Ehrich, H.-D.: Object-Oriented Design of Information Systems: Troll language Features. In: Proceedings CISM School Udine 1993. LNCS, Springer, Heidelberg (1993)"},{"key":"3_CR22","unstructured":"Tranvouez, E., Espinasse, B.: Protocoles de coop\u00e9ration pour le r\u00e9ordonnancement d\u2019atelier. In: Gleizes, J.-P., Marcenac, P. (eds.) Actes des journ\u00e9es francophones d\u2019IAD et SMAs (JFIADSMA 1999) \u00e0 Saint-Gilles, \u00eele de la R\u00e9union, Herm\u00e8s (November 1999)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32128-6_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T00:47:40Z","timestamp":1711586860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32128-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253402","9783540321286"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32128-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}