Рефакторинг объектно-ориентированных программ на основе теории LP-структур
Ключевые слова:
рефакторинг, ООП, иерархия типов, LP-структуры, автоматизация, инструментальные средства разработки
Аннотация
Рассматриваются вопросы автоматизации рефакторинга программ, составленных на основе парадигмы объектно-ориентированного программирования. В целях формализации рефакторинга используется теория LP-структур, предоставляющая эффективные алгебраические модели для различных систем в информатике. LP-структуры на решетке типов позволяют, по меньшей мере, формализовать проведение рефакторинга методом подъема общих атрибутов и проведение оптимизации иерархии типов. В статье обсуждаются границы применимости данного подхода, а также предлагается способ обобщения LP-структур на решетке типов с целью их использования для проведения рефакторинга более широкого класса программных систем.
Скачивания
Данные скачивания пока не доступны.
Литература
1. Фаулер, М. Рефакторинг: улучшение существующего кода / М. Фаулер. – Пер. с англ. – СПб. : Символ-Плюс, 2003. – 432 с.
2. Mens, T. A survey of software refactoring / T. Mens, T. Tourwe // Software Engineering IEEE Transactions. – 2005. – Vol. 30. – P. 126–139.
3. Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга / С. Д. Махортов // Программирование. – 2009. – Т. 35, No 4. – C. 5–14.
4. Godin, R. Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development / R. Godin, P. Valtchev // Formal Concept Analysis / еds. B. Ganter, G. Stumme, R. Wille // Lecture Notes In Com-puter Science. – Springer Berlin/Heidelberg. – 2005. – Vol. 3626. – P. 304–323.
5. Kosowski, A. Classical coloring of graphs / Adrian Kosowski, Krzysztof Manuszewski // Contemporary Mathematics. – 2004. – Vol. 352. – P. 1–19.
2. Mens, T. A survey of software refactoring / T. Mens, T. Tourwe // Software Engineering IEEE Transactions. – 2005. – Vol. 30. – P. 126–139.
3. Махортов, С. Д. LP-структуры на решетках типов и некоторые задачи рефакторинга / С. Д. Махортов // Программирование. – 2009. – Т. 35, No 4. – C. 5–14.
4. Godin, R. Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development / R. Godin, P. Valtchev // Formal Concept Analysis / еds. B. Ganter, G. Stumme, R. Wille // Lecture Notes In Com-puter Science. – Springer Berlin/Heidelberg. – 2005. – Vol. 3626. – P. 304–323.
5. Kosowski, A. Classical coloring of graphs / Adrian Kosowski, Krzysztof Manuszewski // Contemporary Mathematics. – 2004. – Vol. 352. – P. 1–19.
Опубликован
2019-03-25
Как цитировать
Махортов, С. Д., & Ногих, А. А. (2019). Рефакторинг объектно-ориентированных программ на основе теории LP-структур. Вестник ВГУ. Серия: Системный анализ и информационные технологии, (2), 75-83. https://doi.org/10.17308/sait.2019.2/1291
Выпуск
Раздел
Современные технологии разработки программного обеспечения
- Авторы сохраняют за собой авторские права и предоставляют журналу право первой публикации работы, которая по истечении 6 месяцев после публикации автоматически лицензируется на условиях Creative Commons Attribution License , которая позволяет другим распространять данную работу с обязательным сохранением ссылок на авторов оригинальной работы и оригинальную публикацию в этом журнале.
- Авторы имеют право размещать их работу в сети Интернет (например в институтском хранилище или персональном сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению и большему количеству ссылок на данную работу (См. The Effect of Open Access).
