Методы формирования и выбора архитектурных решений специфицируемых вычислительных систем на основе инвариантных моделей поведениядиссертация