Abstract
In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation of a software development process which specifically includes a simulation phase which makes it possible the validation of a multi-agent system before its actual deployment and execution. The approach uses the Gaia methodology for the analysis and the design, the Agent UML and the Distilled StateCharts for the detailed design, the MAO Framework for the neutral-platform implementation of software agents, and a Java-based discrete-event simulation framework for the simulation. The proposed approach is exemplified by defining and simulating a multi-agent system concerning with an agent-mediated consumer-driven e-Marketplace which offers mobile agent-based services for searching and buying goods.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Bernon., C., Gleizes, M.P., Picard, G., Glize, P.: The Adelfe Methodology For an Intranet System Design. In: Proc. of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS), Toronto, Canada (2002)
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Interaction. In: Ciancarini, P., Wooldridge, M. (eds.) Agent-Oriented Software Engineering, pp. 91–103. Springer, Berlin (2001)
Cossentino, M., Burrafato, P., Lombardo, S., Sabatucci, L.: Introducing Pattern Reuse in the Design of Multi-Agent Systems. In: Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R. (eds.) NODe-WS 2002. LNCS (LNAI), vol. 2592, pp. 107–120. Springer, Berlin (2003)
Caire, G., Leal, F., Chainho, P., Evans, R., Garijo, F., Gomez, J., Pavon, J., Kearney, P., Stark, J., Massonet, P.: Agent Oriented Analysis using MESSAGE/UML. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, p. 119. Springer, Heidelberg (2002)
Dam, K.H., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: Proc. of the fifth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS), Melbourne, Australia (2003)
DeLoach, S.A., Wood, M., Sparkman, C.: Multiagent system engineering. International Journal of Software Engineering and Knowledge Engineering, 11(3), 231–258 (2001)
Floyd, S., Paxson, V.: Difficulties in simulating the Internet. IEEE/ACM Transations on Networking 9(4), 392–403 (2001)
Fortino, G., Russo, W., Zimeo, E.: A Framework for Design and Implementation of Mobile Active Objects. In: Proc. of IASTED Internationall Conference on Software Engineering and Applications (SEA), Marina del Rey, CA, pp. 635–640. Acta Press (2003)
Fortino, G., Russo, W.: A Statecharts Based Methodology for the Simulation of Mobile Agents. In: Proc. of the EUROSIS European Simulation and Modeling Conference (ESMC), Naples, Italy, pp. 77–82 (October 2003)
Fortino, G., Russo, W., Zimeo, E.: A Statecharts-based Software Development Process for Mobile Agents. Information and Software Technology (2004) (to appear)
Foundation of Intelligent and Physical Agents (FIPA), http://www.fipa.org
Garro, A., Turci, P., Huget, M.P.: Expressing Gaia Methodology using Spem. FIPA Methodology TC, working draft v. 1.0/04-03-15, http://fipa.org/activities/methodology.html
Griss, M., Letsinger, R.: Games at Work – Agent-Mediated E-Commerce Simulation. In: Proc. of ACM Autonomous Agents, Barcellona, Spain (June 2000)
Harel, D., Gery, E.: Executable Object Modelling with Statecharts. IEEE Computer 30(7), 31–42 (1997)
Kowalczyk, R., Ulieru, M., Unland, R.: Integrating Mobile and Intelligent Agents in Advanced e-Commerce: A Survey. In: Kowalczyk, R., Müller, J.P., Tianfield, H., Unland, R. (eds.) NODe-WS 2002. LNCS (LNAI), vol. 2592, pp. 295–313. Springer, Berlin (2003)
Lind, J.: Issues in Agent-Oriented Software Engineering. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 45–58. Springer, Berlin (2001)
Maes, P., Guttman, R.H., Moukas, A.: Agents that buy and sell: Transforming commerce as we know it. Communications of the ACM 42(3), 81–91 (1999)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 174–185. Springer, Heidelberg (2003)
Software Process Engineering Metamodel Specification, Version 1.0, formal/02-11-14. Object Management Group Inc. (November 2002)
Uhrmacher, A.M., Röhl, M., Kullick, B.: The Role of Reflection in Simulating and Testing Agents: An Exploration Based on the Simulation System James. Applied Artificial Intelligence 9-10, 795–811 (2002)
Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Wang, Y., Tan, K.-L., Ren, J.: A Study of Building Internet Marketplaces on the Basis of Mobile Agents for Parallel Processing. World Wide Web: Internet and Web Information Systems 5(1), 41–66 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fortino, G., Garro, A., Russo, W. (2004). From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds) Multiagent System Technologies. MATES 2004. Lecture Notes in Computer Science(), vol 3187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30082-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-30082-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23222-3
Online ISBN: 978-3-540-30082-3
eBook Packages: Springer Book Archive