Abstract
The aim of this paper is to define a non-ambiguous operational semantics for event-based multi-agent modeling and simulation, applied to complex systems. A number of features common to most multi-agent systems have been retained: 1) agent proactive as well as reactive behavior, 2) concurrency: events can arrive simultaneously to an agent, an environment or any simulated entity and the actual change only depends on the target according to the influence/reaction paradigm [1], 3) instantaneity: if reaction takes time, perception as well as information diffusion is instantaneous and should be processed separately, 4) structure dynamics: the interaction structure (who is talking to whom) changes over time, and the agents as well as any simulated entity may be created or destroyed in the course of the simulation.
For each of these features, a solution inspired by the work on \(\mathit{DEVS}\) (Discrete EVent Systems, [2]) is proposed. Proactive/reactive behavior is naturally taken into account by \(\mathit{DEVS}\). Concurrency is dealt with using \(/\!/\!\!-\!\!\mathit{DEVS}\) (in [2]), a variant of the pure \(\mathit{DEVS}\). Instantaneity is managed by distinguishing the physical events producing state transitions and the logical events realizing only perception and information diffusion. The structure dynamics is achieved by using a variant of ρ-\(\mathit{DEVS}\) (cf. [3]) where the expressiveness allows to manage hierarchical structures. The operational semantics is given as abstract algorithms and the expressive power of this formalism is illustrated on a simple example.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ferber, J., Müller, J.-P.: Influences and reaction: a model of situated multiagent systems. In: Tokoro, M. (ed.) Proceedings of 2nd International Conference on Multi-Agent Systems, Kyoto, Japan, pp. 72–79. AAAI, Menlo Park (1996)
Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modeling and Simulation. Academic Press, London (2000)
Uhrmacher, A.M., Himmelspach, J., Röhl, M., Ewald, R.: Introducing variable ports and multi-couplings for cell biological modeling in devs. In: WSC 2006: Proceedings of the 37th conference on Winter simulation, Winter Simulation Conference, pp. 832–840 (2006)
Müller, J.-P.: Emergence of collective behaviour and problem solving. In: Omicini, A., Petta, P., Pitt, J. (eds.) ESAW 2003. LNCS, vol. 3071. Springer, Heidelberg (2004)
Müller, J.-P., Ratzé, C., Gillet, F., Stoffel, K.: Modeling and simulating hierarchies using an agent-based approach. In: Zerger, ndre., Argent, R.M. (eds.) MODSIM 2005 International Congress on Modelling and Simulation, Melbourne, Australia (December 2005)
Ratzé, C., Müller, J.-P., Gillet, F., Stoffel, K.: Simulation modelling ecological hierarchies in constructive dynamical systems. Ecological complexity 4, 13–25 (2007)
Le Page, C., Bousquet, F., Bakam, I., Baron, C.: Cormas: A multiagnet simulation toolkit to model natural and social dynamics at multiple scales. In: The ecoogy of scales, Wageningen, Netherlands (June 2000)
Tatara, E., North, M.J., Howe, T.R., Collier, N.T., Vos, J.R.: An introduction to repast modeling by using a simple predator-prey example. In: Proceedings of Agent 2006 Conference on Social Agents: Results and Prospects, Argonne, USA (2006)
Ferber, J.: Les systèmes multi-agents, vers une intelligence collective. InterEdition (1995)
Barros, F.J.: Modeling formalisms for dynamic structure systems. ACM Trans. Model. Comput. Simul. 7(4), 501–515 (1997)
Uhrmacher, A.M.: Dynamic structures in modeling and simulation: a reflective approach. ACM Trans. Model. Comput. Simul. 11(2), 206–232 (2001)
Uhrmacher, A.M.: Simulation for agent-oriented software engineering. In: Lunceford, W.H., Page, E. (eds.) First International Conference on Grand Challenges, San Diago, California (2003)
Duboz, R., Versmisse, D., Quesnel, G., Muzzy, A., Ramat, E.: Specification of dynamic structure discrete event multiagent systems. In: Proceedings of Agent Directed Simulation (Spring Simulation Multiconference), Hunstville, Alabama, USA (April 2006)
Hu, X., Muzy, A., Ntaimo, L.: A hybrid agent-cellular space modeling approach for fire spread and suppression simulation. In: WSC 2005: Proceedings of the 37th conference on Winter simulation, Winter Simulation Conference, pp. 248–255 (2005)
Railsback, S.F., Lytinen, S.L., Jackson, S.K.: Agent-based simulation platforms: Review and development recommendations. Simulation 82(9), 609–623 (2006)
Barros, F.J.: Abstract simulators for the dsde formalism. In: Medeiros, D.J., Watson, E.F., Carson, J.S., Manivanan, M.S. (eds.) WSC 1998: Proceedings of the 30th conference on Winter simulation, Los Alamitos, CA, USA, pp. 407–412. IEEE Computer Society Press, Los Alamitos (1998)
Wainer, G.A.: Modeling and simulation of complex systems with cell-devs. In: Proceedings of the 2004 Winter Simulation Conference, Washington DC, USA (December 2004)
Müller, J.P.: The mimosa generic modeling and simulation platform: the case of multi-agent systems. In: Coelho, H., Espinasse, B. (eds.) 5th Workshop on Agent-Based Simulation, Lisbon, Portugal, SCS, pp. 77–86 (May 2004)
Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multi-agent systems. In: Proceedings ICMAS 1998, Paris, France (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Müller, JP. (2009). Towards a Formal Semantics of Event-Based Multi-agent Simulations. In: David, N., Sichman, J.S. (eds) Multi-Agent-Based Simulation IX. MABS 2008. Lecture Notes in Computer Science(), vol 5269. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01991-3_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-01991-3_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01990-6
Online ISBN: 978-3-642-01991-3
eBook Packages: Computer ScienceComputer Science (R0)