{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:25:35Z","timestamp":1737523535520,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007425"},{"type":"electronic","value":"9783540365594"}],"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\/3-540-36559-1_5","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:41:01Z","timestamp":1192891261000},"page":"36-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Mechanism for Dynamic Role Playing"],"prefix":"10.1007","author":[{"given":"V.","family":"Hilaire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Koukam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Gruer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"1","key":"5_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0950-5849(94)90007-8","volume":"36","author":"M. Ainsworth","year":"1994","unstructured":"M. Ainsworth, A. H. Cruickshank, P. J. L. Wallis, and L. J. Groves. Viewpoint specification and Z. Information and Software Technology, 36(1):43\u201351, 1994.","journal-title":"Information and Software Technology"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Federico Bergenti and Agostino Poggi. Exploiting uml in the design of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents\u2019 World, Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.","DOI":"10.1007\/3-540-44539-0_8"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843097000069","volume":"6","author":"F.M.T. Brazier","year":"1997","unstructured":"F.M.T. Brazier, B. Dunin Keplicz, N. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, 6:67\u201394, 1997.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"P. Bresciani and F. Sannicolo. Requirements analysis in tropos: A self referencing example. 2002. In this volume.","DOI":"10.1007\/3-540-36559-1_4"},{"key":"5_CR5","unstructured":"R. Campero, P. Gruer, V. Hilaire, and P. Rovarini. Modeling and simulation of agent-oriented systems: an approach based on object-z and the statecharts. In Christoph Urban, editor, Agent Based Simulation, 2000."},{"key":"5_CR6","unstructured":"Anne Collinot, Alexis Drogoul, and Philippe Benhamou. Agent oriented design of a soccer robot team. In Victor Lesser, editor, ICMAS. Springer Verlag, 1995."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Scoot DeLoach. Multiagent systems engineering: a methodology and language for designing agent systems. In Agent Oriented Information Systems\u2019 99, 1999.","DOI":"10.21236\/ADA449860"},{"key":"5_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/3-540-60271-2_136","volume-title":"Viewpoints and objects","author":"J. Derrick","year":"1995","unstructured":"J. Derrick, H. Bowman, and M. Steen. Viewpoints and objects. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, volume 967 of Lecture Notes in Computer Science, pages 449\u2013468, Limerick, September 1995. Springer-Verlag."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"M. d'Inverno, M. Fisher, A. Lomuscio, M. Luck, M. de Rijke, M. Ryan, and M. Wooldridge. Formalisms for multi-agent systems. Knowledge Engineering Review, 12(3), 1997.","DOI":"10.1017\/S0269888997003068"},{"key":"5_CR10","unstructured":"A. Drogoul and J. Zucker. Methodological issues for designing multi-agent systems with machine learning techniques: Capitalizing experiences from the robocup challenge, 1998."},{"key":"5_CR11","unstructured":"Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z specification language. Technical report, Software Verification Research Center, Departement of Computer Science, University of Queensland, AUSTRALIA, 1991."},{"key":"5_CR12","unstructured":"Jacques Ferber and Olivier Gutknecht. A meta-model for the analysis and design of organizations in multi-agent systems. In Y. Demazeau, E. Durfee, and N.R. Jennings, editors, ICMAS\u201998, july 1998."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"M. Fisher. if Z is the answer, what could the question possibly be? In Intelligent Agents III, number 1193 in Lecture Note of Artificial Intelligence, 1997.","DOI":"10.1007\/BFb0013576"},{"key":"5_CR14","unstructured":"P. Gruer, V. Hilaire, and Abder Koukam. approche multi-formalismes pour la sp\u00e9cification des syst\u00e9mes multi-agents. Technical report, UTBM-SeT, 2001. to appear in \u201cSyst\u00e9me Multi-Agents: des Th\u00e9ories Organisationnelles aux Applications Industrielles\u201d Herm\u00e9s."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"P. Gruer, V. Hilaire, Abder Koukam, and Krzysztof Cetnarowicz. A formal framework for multi-agent systems analysis and design. Expert Systems with Applications, 23, December 2002.","DOI":"10.1016\/S0957-4174(02)00070-2"},{"key":"5_CR16","unstructured":"Pablo Gruer, Vincent Hilaire, and Abder Koukam. an Approach to the Verification of Multi-Agent Systems. In International Conference on Multi Agent Systems. IEEE Computer Society Press, 2000."},{"key":"5_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46428-X_16","volume-title":"Fundamental Aspects of Software Engineering","author":"P. Gruer","year":"2000","unstructured":"Pablo Gruer, Vincent Hilaire, and Abder Koukam. Verification of Object-Z Specifications by using Transition Systems. In T. S. E. Maibaum, editor, Fundamental Aspects of Software Engineering, number 1783 in Lecture Notes in Computer Science. Springer Verlag, 2000."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Olivier Gutknecht and Jacques Ferber. The madkit agent platform architecture. In 1st Workshop on Infrastructure for Scalable Multi-Agent Systems, june 2000.","DOI":"10.1145\/336595.337048"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, June 1987.","journal-title":"Science of Computer Programming"},{"key":"5_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1007\/3-540-48437-X_2","volume-title":"Specification of behavioural requirements within compositional multi-agent system design","author":"D. E. Herlea","year":"1999","unstructured":"D. E. Herlea, C. M. Jonker, J. Treur, and N. J. E. Wijngaards. Specification of behavioural requirements within compositional multi-agent system design. Lecture Notes in Computer Science, 1647:8\u201327, 1999."},{"key":"5_CR21","unstructured":"V. Hilaire, T. Lissajoux, and A. Koukam. Towards an executable specification of Multi-Agent Systems. In Joaquim Filipe and Jos\u00e9 Cordeiro, editors, International Conference on Enterprise Information Systems\u201999. Kluwer Academic Publisher, 1999."},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Vincent Hilaire, Abder Koukam, Pablo Gruer, and Jean-Pierre M\u00fcller. Formal specification and prototyping of multi-agent systems. In Andrea Omicini, Robert Tolksdorf, and Franco Zambonelli, editors, Engineering Societies in the Agents\u2019 World, number 1972 in Lecture Notes in Artificial Intelligence. Springer Verlag, 2000.","DOI":"10.1007\/3-540-44539-0_9"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"M.P. Huget. Agent uml class diagrams revisited. 2002. In this volume.","DOI":"10.1007\/3-540-36559-1_6"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Carlos Iglesias, Mercedes Garrijo, and Jos\u00e9 Gonzalez. A survey of agent-oriented methodologies. In J\u00f6rg M\u00fcller, Munindar P. Singh, and Anand S. Rao, editors, Proceedings of the 5th International Workshop on Intelligent Agents V: Agent Theories, Architectures, and Languages (ATAL-98), volume 1555 of LNAI, pages 317\u2013330, Berlin, July 04-07 1999. Springer.","DOI":"10.1007\/3-540-49057-4_21"},{"issue":"2","key":"5_CR25","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/4434.846192","volume":"8","author":"E. A. Kendall","year":"2000","unstructured":"Elizabeth A. Kendall. Role modeling for agent system analysis, design, and implementation. IEEE Concurrency, 8(2):34\u201341, 2000.","journal-title":"IEEE Concurrency"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Elizabeth A. Kendall, P. V. Murali Krishna, C. B. Suresh, and Chira G. V. Pathak. An application framework for intelligent and mobile agents. ACM Computing Surveys, 32(1), 2000.","DOI":"10.1145\/351936.351956"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"T. Lissajoux, V. Hilaire, A. Koukam, and A. Caminada. Genetic Algorithms as Prototyping Tools for Multi-Agent Systems: Application to the Antenna Parameter Setting Problem. In S. Albayrak and F. J. Garijo, editors, Lecture Notes in Artificial Intelligence, number 1437 in LNAI. Springer Verlag, 1998.","DOI":"10.1007\/BFb0053941"},{"key":"5_CR28","unstructured":"Michael Luck and Mark d'Inverno. A formal framework for agency and autonomy. In Victor Lesser and Les Gasser, editors, Proceedings of the First International Conference on Multi-Agent Systems, pages 254\u2013260. AAAI Press, 1995."},{"key":"5_CR29","unstructured":"J. Odell, H. Parunak, and B. Bauer. Extending uml for agents. In Yves Lesperance E. Y. Gerd Wagner, editor, Information Systems Workshop at the 17th National conference on Artificial Intelligence, pages 3\u201317, 2000."},{"issue":"2","key":"5_CR30","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115\u2013152, 1995.","journal-title":"The Knowledge Engineering Review"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Proceedings of the Third International Conference on Autonomous Agents (Agents\u201999), pages 69\u201376, Seattle, WA, USA, 1999. ACM Press.","DOI":"10.1145\/301136.301165"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"E. Yu. Towards modelling and reasoning support for early-phase requirements engineering. In 3rd IEEE Int. Symp. on Requirements Engineering, pages 226\u2013235, 1997.","DOI":"10.1109\/ISRE.1997.566873"}],"container-title":["Lecture Notes in Computer Science","Agent Technologies, Infrastructures, Tools, and Applications for E-Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36559-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:56:41Z","timestamp":1737489401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36559-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007425","9783540365594"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-36559-1_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"14 March 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}