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