Пример.

Пример.

Результатом этапа формализации и будет информационная модель.

Но прежде, чем говорить об окончании процесса моделирования, построенную модель необходимо проверить на непротиворечивость и проанализировать, насколько она адекватна объекту и цели моделирования.

Прочтите следующее шутливое описание ситуации: «Я ему как дам! Не успел подняться, он мне ещё раз. Я за ним! Оглядываюсь — догоняет. Ну, я через сугробы, через сугробы и в рожь...».

Не правда ли, сюжет большинства «крутых» боевиков построен по этой модели, хотя она полна противоречий.

Рассмотрите рис.3. Определите, в чём состоит противоречивость этой модели. Что говорит вам о бессмысленности этого рисунка? Как можно эту вашу догадку передать формально?

Рис.3