2018 | 28 | 3 | 45-62
Article title

Verification of a model as a scientific tool of operations research – a methodological approach

Title variants
Languages of publication
The aim of the research presented in this paper was to solve one of the fundamental problems of modelling and simulation, i.e., verification of a model as a scientific tool of operations research. To attack this problem, certain crucial issues in the philosophy of science (the demarcation problem, the principle of verifiability) must be redefined. In discussing the question of verification, a procedure (the so called RAD-VER procedure) for verifying a model of a microeconomic system, in our case – a firm, is formulated. It is assumed that verification is a ceaseless process of evaluating a model’s scientificity from the standpoints of deductive reasoning, coherency and empiricism. Verification has been divided into two stages: the verification of the assumptions underlying the model of a firm and the verification of the simulator.
Physical description
  • Faculty of Computer Science and Management, Wrocław University of Science and Technology, ul. Łukasiewicza 5, 50-370 Wrocław, Poland
  • Faculty of Chemistry, Wrocław University of Science and Technology, ul. Norwida 4/6, 50-373 Wrocław, Poland
  • ACKOFF R.A., Concept of Corporate Planning, Wiley, New York 1970.
  • BLAUG M., The methodology of Economics or How Economists Explain, Cambridge University Press, 1992.
  • BOULDING K.E., Beyond Economics: Essays on Society, Religion and Ethics, University of Michigan Press, 1968.
  • CHATTOE E., Why are we simulating anyway? Some answers from economics, [In:] K.G. Troitzsch, U. Mueller, N. Gilbert, J.E. Doran (Eds.), Social Science Microsimulation, Springer-Verlag, 1966.
  • CZERWIŃSKI Z., Economic Dilemmas, PWE, Warsaw 1992 (in Polish).
  • DERY R., LANDRY M., BANVILLE C., Revisiting the issue of model validation in OR. An epistemological view, Eur. J. Oper. Res., 1993, 66 (2), 168–183.
  • DURST P.J., ANDERSON D.T., BETHEL C.L., A historical review of the development of verification and validation theories for simulation models, Int. J. Model. Sim. Sci. Comp., 2017, 8 (2), 172–189.
  • DYBKAER R., Verification versus validation. A terminological comparison, Accr. Qual. Assur., 1980, 16 (2), 105–108.
  • EINSTEIN A., Out of My Later Years, Philosophical Library, New York 1950.
  • FEYERABEND P., Against Method. Outline of an Anarchistic Theory of Knowledge, Verso, London 1980.
  • FORD F.N., BRADBARD D.A., COX J.F., LEDBETTER W.N., Simulation in corporate decision making. Then and now, Simulation, 1987, 49 (6), 272–286.
  • FORRESTER J., Industrial Dynamics, MIT Press, Cambridge 1961.
  • FORRESTER J.W., SENGE M., Tests for building confidence in system dynamics models, TIMS Studies in Operations Research, 1980, 209–228.
  • GEORGESCU-ROEGEN N., The Entropy Law and the Economic Process, Harvard University Press, Cambridge 1971.
  • GODFREY-SMITH P., Theory and Reality. An Introduction to the Philosophy of Science, University of Chicago Press, Chicago 2003.
  • HARDING S., Can Theories Be Refuted? Essays on the Duhem–Quine Thesis, Springer Science and Business Media, Berlin 1976.
  • HELLER M., ŻYCIŃSKI J., The Cosmos and Philosophy, PTT, Krakow 1986 (in Polish).
  • IJEOMA S.I., ANDERSSON J., WALL A., Correctness criteria for models’ validation. A philosophical perspective,, 2001 (accessed on 10.10.2018).
  • JANOVÁ J., Crop planning optimization model. The validation and verification processes, Central Eur. J. Oper. Res., 2012, 20, 451–462.
  • KIRKHAM R.L., Theories of Truth. A Critical Introduction, MIT Press, Cambridge 1992.
  • KLEINDORFER G., O’NEILL L., GANESHAN R., Validation in simulation. Various positions in the philosophy of science, Oper. Res., 1998, 8, 1087–1099.
  • KLEIJNEN J.P.C., An overview of the design and analysis of simulation experiments for sensitivity analysis, Eur. J. Oper. Res., 2005, 164 (2), 287–300.
  • KOBRINSKIJ N.E., The Fundamentals of Economic Cybernetics, Izdatelstvo Èkonomika, Moscow 1975.
  • KORNAI J., Anti-Equilibrium: On Economic Systems Theory and the Tasks of Research, M. Kelley Pubs., New York 1990.
  • LAKATOS I., Falsification and the methodology of research programmes, [In:] I. Lakatos, J. Musgrave (Eds.), Criticism and the Growth of Knowledge, Cambridge University Press, 1974.
  • LANDRY M., ORAL M., In search of a valid view of model validation for operations research, Eur. J. Oper. Res., 1993, 66 (2), 165–178.
  • LAW A.M., KELTON W.D., Simulation Modeling and Analysis, McGraw-Hill, 1991.
  • MAGEE B., Popper, Frank Cass Publ., London 1974.
  • MAYER T., Truth versus Precision in Economics, E. Elgar, London 1993.
  • MURRAY-SMITH D.J., Concepts of simulation model testing, verification and validation, [In:] Testing and Validation of Computer Simulation Models: Principles, Methods and Applications, Book Series: Simulation Foundations Methods and Applications, Springer, Berlin 2015, 19–33.
  • NAGEL E., The Structure of Science. Problems in the Logic of Scientific Explanation, Harcourt and Brace, 1961.
  • NAYLOR T.H., FINGER J.M., Verification of computer simulation models, Oper. Res., 1967, 14 (2), 1392–1401.
  • POPPER K., Objective Knowledge. An Evolutionary Approach, Clarendon Press, London 1972.
  • POPPER K., The Logic of Scientific Discovery, Routledge, London 2002.
  • OPPER K., Unended Quest. An Intellectual Autobiography, Open Court Publishing Co., Oxford 1976.
  • REICHENBACH H., The Rise of Scientific Philosophy, University of California Press, Oakland 1951.
  • RICHARDS I., On the incompatibility of two conjectures concerning primes, Bull. Amer. Math. Soc., 1980, 80, 419–439.
  • ROBINSON J., Economic Heresies. Some Old-fashioned Questions in Economic Theory, MacMillan, London 1971.
  • ROSSER J.B., YOHE J.M., SCHOENFELD L., Rigorous computation and the zeros of the Riemann zeta--functions, [In:] Information Processing 68, North Holland, 1969.
  • RUSSELL B., History of Western Philosophy and its Connection with Political and Social Circumstances from the Earliest Times to the Present Day, Allen and Unwin, London 1948.
  • SAMUELSON A., The Collected Scientific Papers of Paul A. Samuelson, J.E. Stiglitz (Ed.), MIT Press, Cambridge 1966.
  • SARGENT R.G., Verification and validation of simulation models, Proc. 1998 Winter Simulation Conference, D.I. Medeiros (Ed.), IEEE, 1998.
  • SARGENT R.G., Verification and validation of simulation models, J. Sim., 2013, 7 (1) 12–24.
  • SCHOEFFLER S., The Failures of Economics. A Diagnostic Study, Harvard University Press, Cambridge 1955.
  • TARSKI A., The semantic conception of truth, Phil. Phen. Res., 1944, 4, 341–376.
  • WANG Z., LEHMANN A., A framework for verification and validation of simulation models and applications, Asiasim Book series: Communications in Computer and Information Science, 2007, 5, 237–239.
  • WEINWURM E.H., Limitations of the scientific method in operations research, Manage. Sci., 1957, 3 (3), 225–233.
  • ZEIGLER B., Theory of Modelling and Simulation, Wiley, New York 1976.
  • ŻURAWICKI S., Political Economics and Mathematics. Methodological Problems), PWE, Warsaw 1980.
Document Type
Publication order reference
YADDA identifier
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.