Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Simulation of multiple time-pressured agents
Proceedings of the 29th conference on Winter simulation
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Dynamic structures in modeling and simulation: a reflective approach
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
The Testability of Distributed Real-Time Systems
The Testability of Distributed Real-Time Systems
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Art of Software Testing
Designing agent collectives for systems with markovian dynamics
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Towards requirements-driven information systems engineering: the Tropos project
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
On Observing and Constraining Active Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Formal Specification and Prototyping of Multi-agent Systems
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Agents and Roles: Refinement in Alternating-Time Temporal Logic
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The Computational Complexity of Agent Design Problems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Proceedings of the 35th conference on Winter simulation: driving innovation
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
A Portable Programming Interface for Performance Evaluation on Modern Processors
International Journal of High Performance Computing Applications
PASSIM: a simulation-based process for the development of multi-agent systems
International Journal of Agent-Oriented Software Engineering
Distributed architectures for surrogate clustering in CDNs: a simulation-based analysis
Proceedings of the 4th edition of the UPGRADE-CN workshop on Use of P2P, GRID and agents for the development of content networks
Modeling and simulation of tests for agents
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Simulation in Agent-Oriented Software Engineering: The SODA case study
Science of Computer Programming
Hi-index | 0.00 |
The deployment of multi-agent systems demands for justified confidence into their functioning, both with respect to correctness of behaviour and with respect to timeliness thereof. Depending on the stage of the development process different mechanisms and abstractions are needed to facilitate the evaluation of interacting agents. We propose a modelling and simulation framework based on a discrete-event formalism for supporting the development process of multi-agent systems; from specification to implementation. The framework allows for the incremental refinement of agents and experimental set-ups while providing rigorous observation facilities. The benefit of using discrete-event modelling and simulation techniques for evaluating agents is illustrated using a simple example based on the Contract Net Protocol.