Базовая схема формализации системы моделирования MICIC4

• Date: 2005
• Main Author: Левчук, В.Д.
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2005
• Subjects: Прикладне програмне забезпечення
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1323
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Базовая схема формализации системы моделирования MICIC4 / В.Д. Левчук// Проблеми програмування. — 2005. — N 1.— С. 85–96. — Бібліогр.: 9 назв. — рос.

Рассматривается базовая схема формализации, лежащая в основе системы моделирования 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.