  Technology of formal quantitative estimation of the conformity of the
mathematical models to the available dataset is presented. Main purpose of the
technology is to make easier the model selection decision-making process for
the researcher. The technology is a combination of approaches from the areas of
data analysis, optimization and distributed computing including:
cross-validation and regularization methods, algebraic modelling in
optimization and methods of optimization, automatic discretization of
differential and integral equation, optimization REST-services. The technology
is illustrated by a demo case study. General mathematical formulation of the
method is presented. It is followed by description of the main aspects of
algorithmic and software implementation. Success story list of the presented
approach already is rather long. Nevertheless, domain of applicability and
important unresolved issues are discussed.
