Теоретико-категорный подход к проектированию программных системстатья
Статья опубликована в журнале из списка RSCI Web of Science
Информация о цитировании статьи получена из
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 8 января 2017 г.
Аннотация:Работа посвящена применению теории категорий для решения проблемы представления разнородных технологий программной инженерии в единой форме, удобной для их интеграции и координации в рамках общего цикла проектирования программных систем. Особое внимание уделяется современным технологиям, таким как разработка, управляемая моделями (model-driven engineering), и аспектно-ориентированное программирование (aspect-oriented programming). Построены универсальные теоретико-категорные семантические модели этих технологий. Предложен новый способ разделения ответственности (separation of concerns) путем экспликации аспектной структуры формальных моделей программ. Построены и исследованы формальные технологии проектирования технологий, образующие математический фундамент разработки, управляемой моделями.