{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T16:41:18Z","timestamp":1740242478058,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540242864"},{"type":"electronic","value":"9783540305781"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-30578-1_10","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T18:09:29Z","timestamp":1278266969000},"page":"142-157","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Approach to Design and Reuse Agent and Multiagent Models"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Hilaire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Simonin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abder","family":"Koukam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Ferber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Behavior Based Robotics","author":"R. Arkin","year":"1998","unstructured":"Arkin, R.: Behavior Based Robotics. The MIT Press, Cambridge (1998)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bergenti, F., Poggi, A.: Exploiting UML in the Design of Multi-Agent Systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) Engineering Societies in the Agents\u2019 World (2000)","DOI":"10.1007\/3-540-44539-0_8"},{"key":"10_CR3","unstructured":"Chapelle, J., Simonin, O., Ferber, J.: How situated agents can learn to cooperate by monitoring their neighbors\u2019 satisfaction. In: 15th European Conference on Artificial Intelligence, Lyon, France, pp. 68\u201372 (2002)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"DeLoach, S.: Multiagent Systems Engineering: a Methodology and Language for Designing Agent Systems. In: Agent Oriented Information Systems 1999 (1999)","DOI":"10.21236\/ADA449860"},{"key":"10_CR5","unstructured":"Duke, R., King, P., Rose, G., Smith, G.: The Object-Z specification language. Technical report, Software Verification Research Center, Departement of Computer Science, University of Queensland, AUSTRALIA (1991)"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Demazeau, Y., Durfee, E., Jennings, N. (eds.) ICMAS 1998 (July 1998)","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Gruer, P., Hilaire, V., Koukam, A.: Heterogeneous formal specification based on object-z and state charts: semantics and verification. Journal of Systems and Software\u00a070(1) (2004)","DOI":"10.1016\/S0164-1212(02)00161-9"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Gruer, P., Hilaire, V., Koukam, A., Cetnarowicz, K.: A formal framework for multi-agent systems analysis and design. Expert Systems with Applications\u00a023 (2002)","DOI":"10.1016\/S0957-4174(02)00070-2"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel, D., Lachover, H., Naamad, A., Pnueli, A., Politi, M., Sherman, R., Shtull-Trauring, A., Trakhtenbrot, M.B.: Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering\u00a016(4), 403\u2013414 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48437-X_2","volume-title":"Multi-Agent System Engineering","author":"D.E. Herlea","year":"1999","unstructured":"Herlea, D.E., Jonker, C.M., Treur, J., Wijngaards, N.J.E.: Specification of Behavioural Requirements within Compositional Multi-agent System Design. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 8\u201327. Springer, Heidelberg (1999)"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/3-540-36559-1_5","volume-title":"Agent Technologies, Infrastructures, Tools, and Applications for E-Services","author":"V. Hilaire","year":"2003","unstructured":"Hilaire, V., Koukam, A., Gruer, P.: A mechanism for dynamic role playing. In: Kowalczyk, R., M\u00fcller, J.P., Tianfield, H., Unland, R. (eds.) NODe-WS 2002. LNCS (LNAI), vol.\u00a02592, pp. 36\u201348. Springer, Heidelberg (2003)"},{"key":"10_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., M\u00fcller, J.-P.: Formal specification and prototyping of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol.\u00a01972, p. 114. Springer, Heidelberg (2000)"},{"key":"10_CR14","unstructured":"Hilaire, V., Koukam, A., Simonin, O., Gruer, P.: Formal specification of role dynamics in agent organizations: Applications to the satisfaction-altruism model. In: Autonomous Agents and Multi-Agent Systems (2003) (submitted)"},{"key":"10_CR15","first-page":"254","volume-title":"Proceedings of the First International Conference on Multi-Agent Systems","author":"M. Luck","year":"1995","unstructured":"Luck, M., d\u2019Inverno, M.: A formal framework for agency and autonomy. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems, pp. 254\u2013260. AAAI Press, Menlo Park (1995)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Lucidarme, P., Simonin, O., Li\u00e9geois, A.: Implementation and evaluation of a satisfaction\/altruism based architecture for multi-robot systems. In: International Conference of Robotics and Automation (ICRA 2002), Washington, USA, pp. 1007\u20131012 (2002)","DOI":"10.1109\/ROBOT.2002.1013487"},{"key":"10_CR17","unstructured":"Luck, M., d\u2019Inverno, M.: A Formal Framework for Agency and Autonomy. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi-Agent Systems, pp. 254\u2013260 (1995)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1007\/3-540-59293-8_237","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Bjoerner, N., Browne, A., Chang, E.: STeP: The Stanford Temporal Prover. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, p. 793. Springer, Heidelberg (1995)"},{"key":"10_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)"},{"key":"10_CR20","unstructured":"Simonin, O., Ferber, J.: Modeling self satisfaction and altruism to handle action selection and reactive cooperation. In: 6th International Conference on the Simulation of Adaptive Behavior (SAB 2000), vol.\u00a02, pp. 314\u2013323 (2000)"},{"key":"10_CR21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-4-431-67919-6_4","volume-title":"DARS 4 Distributed Autonomous Robotic Systems","author":"O. Simonin","year":"2000","unstructured":"Simonin, O., Liegois, A., Rongier, P.: An architecture for reactive cooperation of mobile distributed robots. In: DARS 4 Distributed Autonomous Robotic Systems, Knoxville, TN, vol.\u00a04, pp. 35\u201344. Springer, Heidelberg (2000)"},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-30578-1_6","volume-title":"Agent-Oriented Software Engineering V","author":"J. Odell","year":"2005","unstructured":"Odell, J., Nodine, M., Levy, R.: A metamodel for agents, roles and groups. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 78\u201392. Springer, Heidelberg (2005)"},{"key":"10_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-30578-1_8","volume-title":"Agent-Oriented Software Engineering V","author":"E. Steegmans","year":"2005","unstructured":"Steegmans, E., Weyns, D., Holvoet, T., Berbers, Y.: Designing roles for situated agents. In: Odell, J.J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol.\u00a03382, pp. 109\u2013125. Springer, Heidelberg (2005)"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/301136.301165","volume-title":"Proceedings of the Third International Conference on Autonomous Agents (Agents 1999)","author":"M. Wooldridge","year":"1999","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: A methodology for agent-oriented analysis and design. In: Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), Seattle, WA, USA, pp. 69\u201376. ACM Press, New York (1999)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30578-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T16:14:43Z","timestamp":1740240883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30578-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540242864","9783540305781"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30578-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}