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

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

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

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

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