Home // SIMUL 2011, The Third International Conference on Advances in System Simulation // View article
Authors:
Pau Fonseca i Casas
Keywords: simulation hypotheses; validation; verification; formal languages.
Abstract:
Defining a simulation model implies the use of different knowledge of the system we are going to model. Often, this knowledge is not complete or lacks in the needed detail in order to fully explain the behavior and the structure of the system. In that case, different hypotheses must be used in order to constrain the reality, or allow the needed complete and unambiguous definition of the model. However, all the hypotheses used do not lie in the same category. In this paper, we propose taxonomy for the hypotheses used in a simulation model in order to detect, previously to any implementation or model definition the possible lacks in the model construction.
Pages: 114 to 119
Copyright: Copyright (c) IARIA, 2011
Publication date: October 23, 2011
Published in: conference
ISSN: 2308-4537
ISBN: 978-1-61208-169-4
Location: Barcelona, Spain
Dates: from October 23, 2011 to October 29, 2011