модели строятся на основе гипотез, приближений, упрощений
в основном чисто на здравом смысле
вся суть заключается в том, чтобы подобрать модель более удачно, более точную чем предшественники.

чем точнее опишешь реальный процесс, тем точнее окажется модель и тем тяжелее и более громоздкой она будет. Перегнешь палку и модель окажется не решаемой.

Матмодели строятся на основе выделения значимых свойств объекта, исходя из цели моделирования. Верификация модели происходит с помощью модельных экспериментов, результаты которых должны быть получены с заданной точностью.

Добавлено через 8 минут
Ждите PavelAR. Он наверняка может что-то подсказать в этой области.
В основе работы любой компьютерной программы и расчёта её производительности так или иначе лежат математические алгоритмы. "Чистой" computer science без математической основы не бывает.

Вот за это «формализовать» степень и дают...

Все верно, только само это выделение значимых свойств объекта делается субъективно-объективными методами, происходящими в голове разработчика

Но в соответствии с целью моделирования в любом случае. Это и есть формализация. В мат. модели начальные условия представляются в виде математических параметров либо более сложных математических объектов или зависимостей.
Правда? Давайте тогда я что-нибудь формализую и дайте мне уже степень :D Надоело писать простыни текста, анализировать, синтезировать, классифицировать, схематизировать, выдвигать различные гипотезы и проверять их...

В http://ru.arxiv.org/ посмотрите работы следующего автора:
Bob Diertens

и вот этого: David Griffioen

Кроме того, обзор, который оказался полезным мне, присоединил (архив на самом деле rar, я zip не использую, а форум иначе не позволяет).

Как формализуете - приходите. Посмотрим на соответствие 05.13.01 или 05.13.18. Но, извините, технические науки.

если бы был универсальный алгоритм формализации, то досрочно бы настала эра роботов :)
а пока эта привилегия остается за человеком

Yura, ну да, цель-то ставит человек...

Мне кажется, формализация интересна в т.ч. и сама по себе. Я вот в процессе формализации еще раз взглянул на свою работу под другим углом, а раньше смотрел только с практической точки зрения. Обнаружил интересные аналогии с релационными моделями. Значит, можно позаимствовать часть формализации от туда. :-) Но все еще интересно как можно научить себя строить модели в computer science и формализовать? Может быть есть что-нибудь на эту тему?

Добавлено через 34 секунды
Спасибо, действительно хороший и интересный обзор!

Добавлено через 17 минут
На ум сразу приходит пример с ТРИЗ, хотя это и не алгоритм, а грубо говоря набор советов, и совсем не про формализацию. Что касается формализации то нужен также не алгоритм, а какая-нибудь работа (если зарубежная - еще лучше, т.к. местами может быть проще с терминами), где обучали бы формализации в computer science.