Чем отличаются формальная и экспериментальная модели информационных систем?

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

Формальная модель — это представление концептуальной модели с помощью одного или нескольких формальных языков. 5 На этапе создания формальной модели происходит объединение всех существенных характеристик объекта, описание которого заменяется формальной моделью. 3 Такая модель может быть выражена в виде чертежа, математической формулы или схемы. 3

Гипотетическая модель — это модель, при построении которой приходится выдвигать дополнительные предположения — гипотезы. 5 Основным критерием применимости такой модели является эксперимент. 5 При проведении эксперимента выявляется значительная часть существенных параметров и их влияние на эффективность системы. 2

Таким образом, формальная модель — это результат синтеза характеристик объекта, а гипотетическая модель — результат проведения эксперимента, в ходе которого выявляются важные параметры системы.