МОДЕЛЬНЫЙ СИНТЕЗ И МОДЕЛЬНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ: СКВОЗНАЯ ТЕХНОЛОГИЯ ОПИСАНИЯ, СИНТЕЗА И РЕАЛИЗАЦИИ МОДЕЛЕЙ КРУПНОМАСШТАБНЫХ СИСТЕМтезисы доклада