Вестник Кольского научного центра РАН. 2016, №3.

А. Я. Фридман организации квазипараллелизма в ИмМ достаточно удобен для описания сложной системы. Однако необходимость коммутации и обслуживания сигналов требует дополнительных затрат ресурсов машинного времени t’. За удобство описания и математическую строгость модели приходится расплачиваться дополнительным расходом t’, и это обстоятельство сдерживает использование указанного способа. Процессный способ организации квазипараллелизма применим, когда все функциональные действия ФДу компонентов реальной системы различны. Условия появления событий Су, приводящие к выполнению ФДу, также индивидуальны. Каждому компоненту K i нужна определенная последовательность выполнения ФДу. В любой момент времени в данном компоненте может выполняться только одно ФДу. При процессном подходе краткость описания активностей объединяется с эффективностью событийного представления имитации. Таким способом можно организовать имитацию любых сложных систем, но он особенно эффективен в случаях, когда требуется высокий уровень детализации выполнения ФДу при их аппроксимации с помощью АЛу, и сама ИмМ используется для поиска узких мест в системе. При этой постановке задачи моделирования очень важно соблюдение сходства структуры модели и объекта исследования, что обеспечивается процессным способом имитации. Реальную систему удобнее всего имитировать процессным способом, когда в один и тот же момент времени не может реализоваться более одного ФДу данного i-го компонента реальной системы. Тогда исследователю удобнее рассматривать функционирование компонентов модели K как единое целое. Всю ИмМ можно представить в виде набора описаний процессов, каждое из которых описывает один класс процессов, причем допустимы информационные и управляющие связи не только между K i , но даже между отдельными алгоритмами их функционирования. Поскольку такие требования к структуре ИмМ предъявляются в ССМ, в последней предпочтительно применять именно этот способ организации имитации, рассмотрим его подробнее. Принципы процессного способа организации квазипараллелизма На рисунке 1 представлена схема взаимодействия МУИ с моделью объекта, состоящей из описаний процессов. Алгоритм функционирования ИмМ формируется последовательным взаимодействием процессов и МУИ. В процессы объединяются связанные между собой активности, которые определяют функционирование одного и того же компонента модели K i . Таким образом, имеет место полное соответствие компонентов реальной системы и ее ИмМ. Каждый компонент объекта моделирования имитируется своим процессом. Переход от выполнения одной активности к другой активности того же процесса считают изменением его состояния и называют активизацией процесса. Обычно под состоянием процесса понимают номер (у) той активности, которая входит в состав i-го процесса и на которую МУИ передает управление при свершении события Су в K i. Изменения состояний объекта моделируются изменениями соответствующих состояний процессов и появлением событий Су. Вся ИмМ представляет собой набор процессов, реализованных на некотором языке моделирования. Процессы связаны с МУИ с помощью определенных операторов этого языка, по которым происходит обращение к МУИ при завершении активности данного процесса, означающее переход процесса в другое состояние. Отметим, что проверка выполнимости условий активизации процесса и появления событий Су осуществляются самим процессом. Будучи активизированным, выполнение процесса (некоторой его активности) может начаться немедленно либо задержаться до появления определенных условий или до изменения состояний других процессов. Процессы могут переходить в новые состояния как по своей инициативе, так и в результате действий, выполняемых активностями других процессов. В простейшем случае взаимодействия между активностями, из которых состоят процессы, нет, и все активности обращаются к МУИ с помощью операторов синхронизации WArT^i,) [3]. ВЕСТНИК Кольского научного центра РАН 3/2016(26) 131