Рассматривается базовая схема формализации, лежащая в основе системы моделирования MICIC4, в которой реализован транзактный способ имитации. Полная функциональность MICIC4 обеспечивается программируемым интерфейсом, который по своей сути близок к понятию "процесс". Определены базовые элементы и их свойства, статическая иерархическая структура и потоковая граф-схема имитационной модели, особенности реализации управляющей программы моделирования, графическое отображение механизмов обслуживания. Приводится методика формализации сложной системы согласно предложенной базовой схемы.
Розглядається базова схема формалізації, що лежить в основі системи моделювання MICIC4, в якій закладено транзактний спосіб імітації. Повна функціональність MICIC4 забезпечена програмованим інтерфейсом, який за своєю суттю є близьким до поняття «процес». Сформульовані базові елементи i властивості, статична ієрархічна структура i потокова граф-схема імітаційної моделі, особливості реалізації керуючої програми моделювання, графічне відображення механізмів обслуговування. Приведена методика формалізації складної системи відповідно до запропонованої базової схеми.
The base scheme of a formalization for the simulation engine MICIC4 to be controlled on the transaction way of a modeling is considered in the article. The full performance of MICIC4 is ensured by a programmed interface to be closed to the notion «process». The base elements and their features, a static hierarchal structure and flow graphs of a simulation model, details of the organization of a simulation control program are defined. The algorithm of a complex system formalization accordingly to the offered base scheme is given in conclusions.