Целью этой магистерской диссертации является разработка процедуры автоматизированной миграции Java-программ на новый набор библиотек. Задача миграции (портирования) кода часто встречается в ÑÐ¾Ð²Ñ€ÐµÐ¼ÐµÐ½Ð½Ñ‹Ñ Ð¿Ñ€Ð¾Ð³Ñ€Ð°Ð¼Ð¼Ð½Ñ‹Ñ Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð°Ñ . Например, такая задача может возникнуть, когда проект Ð½ÐµÐ¾Ð±Ñ Ð¾Ð´Ð¸Ð¼Ð¾ перенести на новую библиотеку или на новую платформу. Ð’ данной работе представлена процедура автоматизированной миграции, основанная на семантическом Ð¿Ð¾Ð´Ñ Ð¾Ð´Ðµ. Для процедуры миграции была разработана метамодель библиотеки, использующая предложенный ранее формализм и предназначенная для описания библиотек на объектно-Ð¾Ñ€Ð¸ÐµÐ½Ñ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð½Ñ‹Ñ ÑÐ·Ñ‹ÐºÐ°Ñ . Процедура разбита на пять этапов, каждый этап подробно описан в тексте диссертации. Предложенная процедура реализована в прототипе инструмента миграции. Инструмент включает в себя модули извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и непосредственно миграции. Для инструмента был разработан язык описания библиотек. Прототип инструмента был протестирован как на Ð¸ÑÐºÑƒÑÑÑ‚Ð²ÐµÐ½Ð½Ñ‹Ñ Ð¿Ñ€Ð¸Ð¼ÐµÑ€Ð°Ñ , так и на существующем проекте. Результаты тестирования показали, что миграция кода может быть успешно автоматизирована, и разработанная процедура может использоваться для решения задачи миграции программного кода.