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

Edward Radosiński () and Łukasz Radosiński ()

Operations Research and Decisions, 2018, vol. 28, issue 3, 45-62

Abstract: 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.

Keywords: validation of OR computations; scientific tools of operations research; verification (search for similar items in EconPapers)
Date: 2018
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://ord.pwr.edu.pl/assets/papers_archive/1379%20-%20published.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:wut:journl:v:3:y:2018:p:45-62:id:1379

DOI: 10.5277/ord180304

Access Statistics for this article

More articles in Operations Research and Decisions from Wroclaw University of Science and Technology, Faculty of Management Contact information at EDIRC.
Bibliographic data for series maintained by Adam Kasperski ().