Modeling formalisms for dynamic structure systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Abstract simulators for the DSDE formalism
Proceedings of the 30th conference on Winter simulation
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Theory of Modeling and Simulation
Theory of Modeling and Simulation
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Modeling and simulation of complex systems with Cell-DEVS
WSC '04 Proceedings of the 36th conference on Winter simulation
A hybrid agent-cellular space modeling approach for fire spread and suppression simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Introducing variable ports and multi-couplings for cell biological modeling in DEVS
Proceedings of the 38th conference on Winter simulation
An interface for agent-environment interaction
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Agent-based discrete-event hybrid space modeling approach for transportation evacuation simulation
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
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.