RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 6, страницы 677–690 (Mi mais592)  

Семантически-ориентированная миграция Java-программ: опыт практического применения

А. О. Алексюк, В. М. Ицыксон

Санкт-Петербургский политехнический университет Петра Великого, ул. Политехническая, 29, г. Санкт-Петербург, 195251 Россия

Аннотация: Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый набор библиотек. Задача миграции (портирования) кода часто встречается в современных программных проектах. Например, такая задача может возникнуть, когда проект необходимо перенести на более безопасную или функциональную библиотеку, на новую платформу или на новую версию уже используемой в проекте библиотеки.
В данной работе представлена процедура автоматизированной миграции, основанная на семантическом подходе. Для процедуры миграции была разработана метамодель библиотеки, использующая предложенный ранее авторами формализм и предназначенная для описания библиотек на объектно-ориентированных языках. Формализм описывает поведение библиотек с помощью системы расширенных конечных автоматов (РКА). Процедура миграции разбита на пять шагов, каждый шаг подробно описан в тексте статьи. В процедуре используется алгоритм вычисления эквивалентной трассы на основе поиска в ширину, расширенный для решения задач миграции.
Предложенная процедура реализована в прототипе инструмента миграции. Инструмент включает в себя модули извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и непосредственно миграции. Для инструмента был разработан язык описания библиотек. Прототип инструмента был протестирован как на искусственных примерах, так и на существующем проекте. В статье подробно описаны проведенные эксперименты, отдельно отмечены сложности, возникающие в процессе миграции тестовых примеров, и то, как они решаются в предложенной процедуре. В качестве библиотек в экспериментах используются реализации протокола HTTP и библиотеки протоколирования. Результаты тестирования показали, что миграция кода может быть успешно автоматизирована с использованием разработанной процедуры.

Ключевые слова: программная библиотека, миграция программ, поведенческое описание, трансформация программ.

DOI: https://doi.org/10.18255/1818-1015-2017-6-677-690

Полный текст: PDF файл (620 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 004.416.3+004.4’242
Поступила в редакцию: 03.09.2017

Образец цитирования: А. О. Алексюк, В. М. Ицыксон, “Семантически-ориентированная миграция Java-программ: опыт практического применения”, Модел. и анализ информ. систем, 24:6 (2017), 677–690

Цитирование в формате AMSBIB
\RBibitem{AleIts17}
\by А.~О.~Алексюк, В.~М.~Ицыксон
\paper Семантически-ориентированная миграция Java-программ: опыт практического применения
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 6
\pages 677--690
\mathnet{http://mi.mathnet.ru/mais592}
\crossref{https://doi.org/10.18255/1818-1015-2017-6-677-690}
\elib{http://elibrary.ru/item.asp?id=30730608}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais592
  • http://mi.mathnet.ru/rus/mais/v24/i6/p677

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:75
    Полный текст:25
    Литература:11

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019