Рассматривается подход к построению действующих программных макетов управляющих многомашинных вычислительных комплексов (МВК) на основе технологии систем виртуальных машин. Суть подхода заключается в представлении МВК в форме совокупности параллельно работающих и взаимодействующих между собой виртуальных машин, организованных в достаточно мощной хост-машине. Цель построения макета – создание инструментальной среды для отладки и тестирования программного обеспечения МВК. Описываются принципы организации взаимодействия виртуальных машин в макете и параллелизма их работы в модельном времени.

В работе показано как поэтапно создать программу контроллера с помощью СД2С2 моделирования для оборудования с дискретным поведением. Кратко изложим суть этапов: • На первом этапе объект формализуется в виде коллекции независимых КА моделирующих неуправляемое поведение объекта, язык этих автоматов структурируется на управляемые и ожидаемые события. • На втором этапе создается спецификация, которая задается в виде последовательности команд на объект управления. • На третьем этапе проверяется совместимость модели объекта и спецификации, полученные данные являются основой для синтеза управляющего КА – супервизора. • На четвертом этапе осуществляется переход от алфавита системных событий к алфавиту целевой платформы ПЛК. • На пятом этапе супервизор переносится в ПЛК. Учет структурных особенностей технологического объекта позволяет на этапе верификации отказаться традиционной процедуры параллельной композиции, и задать спецификацию более компактно. Что в свою очередь позволяет гарантированно синтезировать программу ПЛК меньшими затратами.

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