Рассматривается проблема создания математических моделей класса СМО «системы массового обслуживания с дискретными стохастическими объектами и средствами обслуживания на базе методологии оптимального агрегирования. Также представлены новые информационные технологии разработки моделей функционирования и развития систем обслуживания. Поставлена и решена задача оптимального распределения средств обслуживания стохастических потоков объектов. Модели построены на базе методологии оптимального агрегирования, поэтому управление - оптимальное распределение средств обслуживания между объектами разных классов, - встроено в эти модели. Рассмотрены примеры решения задач оптимизации эффективности и живучести для компьютерных систем.