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