Ну ты дал. Наверное, здорово на резался:-))
Моделирование - это процесс построения модели, проведения экспериментов с моделью, обработка результатов.
Моделирование бывает разных видов (Почитай хоть Советова или Анфилатова).
Если рассматривать математическое моделирование только: оно делится как минимум на аналитическое и имитационное.
Например - дифференциальное уравнение колебательного контура или физического маятника. Совсем программу строить и не требуется, если есть аналитическое решение. Другое дело численное решение задачи.
В нашем случае моделирование <> проектирование в любом случае.
Моделирование = системный анализ во многом, только более формализованное и опирающееся на количественные характеристики.
Говорят - системный анализ средство генерации альтернатив, моделирование средство оценивания альтернатив, но не единственное, поскольку не для каждой альтернативы удается выстроить имитационную модель, потому используют качественные методы оценивания.
Вообще моделирование моделированию рознь. Построенная модель должна быть адекватна как минимум.
Просто полагая в жизненом цикле стадию моделирования, мы полагаем построение различных видов моделей, главнымобразом информационных: функциональных, поведенческих, архитектурных, структурных, т.е. по большей степени описательных.
Естественно, что у реального объекта может быть бесконечное множество моделей, и бесконечное множество реализаций. Но СА считает, что для определенной цели может быть построена самая эффективная система (а модель и есть система). Однако не всегда это удается достичь: задача не детерминирована, имеет множество неопределенностей, которые не поддаются вероятностной оценки.
Часто имено с этой целью и вводят эксперименты с моделью.
А насчет правил, так я уже говорил. Есть карты ТАРО, сумеем договрится что какждая из них означает в нашем случае, и обо всех сочетаниях - создадим собственный метод формализации ТАРО-анализ :-))