Paper Info
Title
Divide and conquer: a four-fold docking experience of agent-based models
Abstract
Verification and validation (V&V) techniques are used in agent-based modeling (ABM) to determine whether the model is an accurate representation of the real system. Docking is a form of V&V that tries to align multiple simulation models. In a previous paper, we described the docking process of an ABM that simulates the life cycle of Anopheles gambiae. Results showed that the implementations were docked for adult but not for aquatic mosquito populations. In this paper, following the 'Divide and Conquer' paradigm, we compartmentalize the simulation world to prohibit the propagation of errors between compartments. Using four separate implementations that sprung from the same core model, we describe a series of docking experiments, analyze the results, and show how they lead to a successful dock. The complete four-fold docking encompasses verification between the four implementations, as well as validation against the core model with respect to these implementations.
Year
DOI
Venue
2010
10.1109/WSC.2010.5679130
Winter Simulation Conference
Keywords
Field
DocType
docking experience,simulation world,encompasses verification,multiple simulation model,docking experiment,accurate representation,previous paper,docking process,agent-based modeling,core model,anopheles gambiae,verification and validation,formal verification,simulation model,mathematical model,data models,software agents,computational modeling,divide and conquer,life cycle
DOCK,Data modeling,Verification and validation,Docking (dog),Computer science,Simulation,Software agent,Core model,Theoretical computer science,Divide and conquer algorithms,Formal verification
Conference
ISSN
ISBN
Citations 
0891-7736
978-1-4244-9864-2
4
PageRank 
References 
Authors
0.50
6
6
Name
Order
Citations
PageRank
S. M. Niaz Arifin11228.12
Gregory J. Davis2275.31
Steve Kurtz3102.71
James Gentile4243.72
Ying Zhou5394.81
Gregory R. Madey644149.83