М я г к о в
ДЕКЛАРАТИВНОЕ И ИМПЕРАТИВНОЕ
ПРОГРАММИРОВАНИЕ В ИМИТАЦИОННОМ
МОДЕЛИРОВАНИИ СЛОЖНЫХ
МНОГОКОМПОНЕНТНЫХ СИСТЕМ
Изложены подходы к моделированию таких сложных систем, про
которые хорошо известно, из каких компонент они состоят, какие функции эти компоненты выполняют, по каким правилам взаимодействуют между собой. <...> Проблема моделирования, причем
весьма непростая, заключается в воспроизведении поведения и
оценке возможностей такой системы в целом. <...> Рассмотрены вопросы эффективности применения различных парадигм программирования для решения задачи синтеза многокомпонентной системы. <...> Е-mail: yury_brodsky@mail.ru
Ключевые слова: имитационное моделирование, сложные системы,
парадигмы программирования, поведение системы, объектно-ориентированное программирование, декларативное программирование. <...> Под императивным программированием понимают распространенный подход к написанию программ на языках программирования
типа FORTRAN, семейства С или Java, согласно которому программа
представляет собой последовательность инструкций-приказов, выполняемых на компьютере. <...> Использование императивного программирования позволяет описать последовательность действий, достаточную (на взгляд разработчика) для получения результата поставленной задачи. <...> При этом не предполагается, что результат заранее
известен, и скорее всего цель императивного программирования состоит в получении этого результата (например, численное решение
системы уравнений в частных производных или изучение поведения
сложной системы в имитационном эксперименте с ее моделью). <...> При декларативном программировании, наоборот, описывают,
каким должен быть известный заранее желаемый результат, например, статическая страничка HTML, документ в системе LaTeX или
DVD-проект в системе авторинга Scenarist. <...> При этом выбор последовательности действий, приводящей в системе декларативного про178
ISSN 1812-3368. <...> 2012
граммирования к описанному результату, как правило <...>