Разработка и реализация инструментария аспектно-ориентированного программирования для академической версии. 
NET

На сегодняшний день наиболее распространена методология объектно-ориентированного программирования (ООП). Несмотря на эффективность подхода ООП, в настоящее время существуют проблемы, для решения которых необходимы новые методологии. В современном мире промышленное производство программного обеспечения достигло таких масштабов и такой сложности, что с каждым днем все труднее и дороже обходятся его разработка, поддержка, отладка, добавление новой функциональности, документирование, расширение и развитие. Причем сложность присуща большинству современных программных систем, и она обусловлена четырьмя основными причинами: сложностью реальной предметной области, из которой исходит заказ на разработкусложностью управления процессом разработкинеобходимостью обеспечить достаточную гибкость программынеудовлетворительными способами описания поведения больших дискретных систем [6].

Как ранее, в 1980;х — 1990;х гг., на смену процедурному подходу пришло объектно-ориентированное программирование (ООП), так и сейчас на смену объектно-ориентированной концепции постепенно приходят новые парадигмы, среди которых — рассматриваемое в работе аспектно-ориентированное программирование (АОП). АОП является развитием процедурного и объектно-ориентированного программирования. Данная методология призвана снизить время, стоимость и сложность разработки современного программного обеспечения (ПО). Следует отметить, что концепция АОП не заменяет подход ООП, а органично дополняет его [9, 14]. Появление новых методологий всегда способствовало развитию науки и индустрии программного обеспечения, так как любая новая концепция, любой новый подход — это решение проблем, являющихся предпосылками для ее появления. Сложность программных систем — на сегодняшний день ключевая проблема всей индустрии. Поэтому любая новая методология для решения этой задачи, в том числе АОП, является актуальным направлением научных исследований.

В чем суть концепции АОП? Программная система рассматривается как совокупность различных компонент, отвечающих за ту или иную функциональность. Некоторую функциональность можно реализовать путем создания некоего модуля или нескольких модулей. Под «модулем» понимается некая четко выраженная структурная единица программы — процедура, функция, метод, класс, структура данных, пакет. Но есть еще такое понятие, как сквозная функциональность (crosscutting concerns), которую невозможно эффективно реализовать вышеописанным образом, ее нельзя выделить в отдельные сущности, так как фрагменты ее реализации рассредоточены по коду всей программной системы [9, 12].

Примерами сквозной функциональности может служить протоколирование (logging), добавление новых конструкций в некоторый язык программирования (например, параметризованных типов (generics) в язык С# 1.0), обработка ошибок, реализация подсистемы безопасности. Рассмотрим более подробно пример с добавлением какой-либо новой конструкции в реализуемый некоторым компилятором язык программирования. Все фазы компиляции — лексический анализ, синтаксический анализ, семантический анализ, оптимизацию, генерацию кода — необходимо будет обновить, чтобы добавить новую конструкцию. Это означает, что, помимо новой совокупности модулей, которые будут реализованы в компиляторе, в уже существующий код потребуется внести изменения — будут добавлены новые фрагменты, такие как определения данных, различные вызовы функций, методов и т. д.

Практически в любой современной программной системе (например, связанной с финансовыми операциями) требуется работа с базами данных, обеспечение безопасного доступа и т. д. В этом случае функциональность ведения журнала событий, целостности транзакций, авторизации, безопасности, производительности и т. д. является сквозной, т. е. пронизывает всю систему [Рис. 1].

Рис. 1. Практически любая современная система реализована примерно подобным образом.

Реализация подобной сквозной функциональности без использования методологии АОП приведет к непонятному, рассредоточенному и запутанному коду, в котором абсолютно не связанные функциональности будут реализованы в одном модуле, повысит вероятность появления ошибок и некорректной работы системы в целом, что увеличит время и расходы на разработку. По оценкам специалистов [99], около 70% времени в проектах тратится на сопровождение и внесение изменений в готовый программный код. Поэтому важность методологии АОП и подобных трансформационных подходов в ближайшей перспективе очевидна. Профессор Э. Дейкстра в своей работе [97] утверждал: «Способ управления сложными системами был известен еще в древности — divide et impera (разделяй и властвуй)». АОП предлагает сквозную функциональность выделять в специализированные модули — аспекты и реализовывать отдельно от бизнес-логики [Рис.2].

Ill.

Рис. 2. Суть подхода АОП.

Данная диссертационная работа выполнена в рамках проекта, поддержанного программой Microsoft Research [93], по разработке и реализации инструментария аспектно-ориентированного программирования Aspect.NET для академической версии Microsoft .NET — платформы Shared Source Common Language Infrastructure (SSCLI) / Rotor 2.0, распространяемой Microsoft на условиях лицензии Microsoft Shared Source. В настоящее время, в силу ряда проанализированных в диссертации причин, до проведения исследований данной диссертационной работы отсутствовали инструменты АОП-разработки для академической платформы SSCLI/Rotor, несмотря на растущую популярность АОП-подхода к разработке ПО. Разработанная в диссертации система AspectRotor является первым инструментом АОП для академической версии .NET.

Основные цели диссертационной работы:

1. Исследование и классификация существующих подходов к разработке программных комплексов и инструментариев, поддерживающих методологию аспектно-ориентированного программирования (АОП), анализ особенностей, преимуществ и недостатков.

2. Разработка и теоретическое обоснование методов реализации инструментария аспектно-ориентированного программирования с учетом специфики целевой платформы — академической версии .NET (SSCLI/Rotor).

3. Разработка и реализация программного инструмента AspectRotor на основе разработанных методов га duH|.

С>

Диссертационная работа состоит из введения, трех глав, заключения, списка литературы. Работа содержит 110 страниц, 9 рисунков, 1 таблицу, список литературы из 102 наименований.

Основные результаты диссертации опубликованы в работах [1−5]. В работах [1, 4, 5] Сафонову В. О. принадлежат общие постановки задач, а Муханову P.C. — разработка и реализация методов и принципов решения данных задач, разработка примеров и программного комплекса. В работе [3] соискателю принадлежит описание основных принципов при разработке первой версии инструментария аспектно-ориентированного программирования для академической версии .NET. В публикации [5] соискателю принадлежит описание особенностей реализации и методов применения библиотеки QT при разработке инструментария. В статье [2] соискателем описывается разработанный комплекс методов реализации инструментария аспектно-ориентированного программирования с учетом специфики целевой платформы — академической версии .NET (SSCLI/Rotor). В публикации [4] соискатель описывает вторую версию инструментария аспектно-ориентированного программирования, а также приводит ряд наглядных примеров использования аспектов. В работе [1] соискателю принадлежит описание механизмов практического применения второй версии инструментария аспектно-ориентированного программирования с рассмотрением разработанных аспектов. Работа [1] опубликована в журнале из списка ВАК.

Заключение

.

Парадигма АОП до сих пор находится в стадии научных исследований, несмотря на свою очевидную перспективность и теоретическую обоснованность. Основные причины — недостаточная поддержка существующими инструментами АОП традиционных процессов разработки программного обеспеченияотсутствие длительного опыта использования данной концепции, сдерживающего начало широкого использования этой методологии в промышленных разработках.

Инструментарий аспектно-ориентированного программирования, разработанный Р. Мухановым, позволил впервые предложить использование АОП при разработках для академической версии .NET — платформы SSCLI/Rotor, способствует более широкому использованию и распространению АОП, не ограничиваясь лишь платформами Java и (коммерческой) Microsoft.NET. Таким образом, это позволит сделать еще один шаг для накопления индустрией ПО опыта в создании программных систем с использованием методологии АОП, что, безусловно, будет усиливать ее дальнейшее развитие и активное применение.

В диссертационной работе получены следующие основные результаты:

1. Исследованы и классифицированы существующие подходы к разработке программных комплексов и инструментариев, поддерживающих методологию аспектно-ориентированного программирования (АОП), проанализированы особенности, преимущества и недостатки.

2. Разработаны и теоретически обоснованы методы реализации инструментария аспектно-ориентированного программирования с учетом специфики целевой платформы — академической версии .NET (SSCLI/Rotor).

3. Разработан и реализован программный инструмент АвресЖл^ог на основе разработанных методов.

Апробация и публикации автора по теме диссертации.

Работа дважды заняла 1-е место на межвузовском конкурсе-конференции студентов, аспирантов и молодых ученых Северо-Запада «Технологии Microsoft в теории и практике программирования» в 2008 и 2010 годах.