1.9. Описание концептуальной модели.
На этом подэтапе по строения концептуальной модели Мк проводится ее описание абстрактных терминах и понятиях с использованием типовых математических схем, т. е. реализуется переход к математической мо дели системы, окончательно принимаются гипотезы и предположения, обосновывается выбор процедур аппроксимации реальных процессов при построении модели. Таким образом, этот подэтап позволяет перейти ко второму этапу моделирования (см. рис. 1.2) так как после выполнения этого подэтапа остается только проверить достоверность модели и оформить техническую документацию, что особенно важно, если на разных этапах моделирования работа выполняется разными исполнителями или коллективами разработчиков.
Поясним сказанное о концептуальной модели иллюстраций на рассматриваемом примере моделирования фрагмента СПД. Структурная схема модели процесса взаимодействия двух узлов коммутации (УК1 и УК2) через дискретный канал связи (ДКС) в символике Q-схем показана на рис. 5, где обозначено: И — источник; К — канал; Н — накопитель. С использованием введенных представлений и обозначений опишем процесс функционирования фрагмента СПД. Поступление пакетов данных в моделируемый фрагмент СПД на входы имитируется источниками И1 и И2. Пакеты буферируются накопителями Н4 и Н2, т е. ожидают освобождения каналов в УК1 и УК2 соответственно. После обслу- живания каналами К1 и К3, т. е. после обработки ЦП УК1 и УК2 соответственно, пакеты поступают в выходные накопители Н1 и Н3 этих узлов. Далее, в порядке очереди, копии пакетов обслуживаются каналами К2 и К4, имитирующими процесс передачи по ДКС. При приеме копии пакета без ошибки, т. е. их поступлении в Н2 и Н4, формируется подтверждение приема, которое в виде короткого пакета поступает в соответствующий выходной для данного узла накопитель Н1 и НЗ для передачи на другой УК, т е. снова реализуется обслуживание каналами К2 и К4. После подтверждения в узле-источнике правильного приема уничтожается пакет, хранящийся в Н1 и Н2. Выходам соответствуют точки 3 и 4 на структурной схеме модели процесса взаимодействия двух узлов коммутации СПД.
Рис. 5 Структурная схема модели взаимодействия двух узлов коммутации
1.10. Проверка достоверности концептуальной модели.
После того как концептуальная модель М описана, необходимо проверить достоверность некоторых концепций модели и затем перейти к следующему этапу моделирования. Проверка достоверности концептуальной модели является достаточно сложной задачей, так как такая модель описывается в абстрактных понятиях. Одним из методов проверки ее является применение обратных операций, что позволяет проанализировать модель, вернуться к принятым аппроксимациям и, наконец, рассмотреть реально процессы, протекающие в моделируемой системе. Такой метод проверки достоверности концептуальной модели должен включать следующие процедуры: проверку замысла модели; проверку достоверности исходной информации, повторное рассмотрение постановки за- дачи моделирования; анализ принятых аппроксимаций; исследование гипотез и предположений. Только после тщательной про- верки концептуальной модели следует переходить ко второму этапу моделирования, т.е к этапу машинной реализации модели.
Для моделируемого в рассматриваемом примере процесса функционирования фрагмента СПД предположим, что в результате всех проведенных проверок концептуальная модель в терминах Q-схем задана правильно и можно переходить после составления соответствующей технической документации к этапу машинной реализации.