Формализованное изображение концептуальной модели

Под формализацией понимают такое описание модели, которое предусматривает применение математических методов исследования, т.е. при завершении этого этапа разрабатывается логико-математическое описание моделируемой системы с учетом динамики её функционирования. Таким образом, формализация — это отображение системы или процесса в точных понятиях. Части модели, которые можно описать в математическом виде, представляют как аналитические зависимости. Другие части модели представляют собой детальное словесное описание или алгоритм их функционирования.

Для задания концептуальной структуры могут использоваться формальные математические модели, такие как сети Петри, стохастические сети СМО, потоковые диаграммы и т.д. Следует отметить, что уже на этом этапе на выбор структуры может существенно влиять выбор программных средств реализации имитационной модели.

Выбор средств реализации имитационной модели

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

Программная реализация имитационной модели может быть создана с помощью:

- алгоритмических языков общего назначения;

- специальных языков моделирования;

- пакетов прикладных программ для моделирования;

- средств автоматизации программирования имитационных моделей;

- диалоговых и визуальных систем моделирования;

- интеллектуальных систем моделирования.