Проблемы статического и динамического анализа архитектурных моделейтезисы доклада