Microsoft Word впвс book 2011 sev pa doc

2.3.4 Методы и средства аспектного анализа 
2.3.4.1 Аспектные проекторы и аспектные модели 
А-агрегаты могут иметь различную степень абстракции, представлять 
собой технические решения или конкретные вычислительные узлы, определять 
разное количество аспектов для описываемого элемента. Модель системы, 
выраженную в терминах А-агрегатов, будем называть архитектурной моделью 
(А-моделью) системы. Формально А-модель представляет собой множество А-
агрегатов: 
}
:
{
AF
aa
aa
Am
∈
=
. 
Как следует из определений А-агрегата и А-модели непосредственная 
работа с ней крайне затруднена. Разноплановость аспектов не позволяет 
построить развитую логику взаимодействия непосредственно между А-
агрегатами как атомарными сущностями в контексте А-модели. Кроме того, 
различные А-агрегаты могут содержать одни аспекты и не определять другие, 
что также не позволяет создать сложные правила взаимодействия между ними. 
В контексте А-модели логика взаимодействия А-агрегатов вырождается до 
уровней иерархического включения/подчинения и частного взаимодействия 
друг с другом, но уже в контексте отдельного аспекта. Если в А-модели между 
А-агрегатами существует взаимодействие, то, по сути, оно начинает 
проявляться между определенными (одноименными) аспектами этих А-
агрегатов. Перечень аспектов, в которых проявляется отношение между А-
агрегатами, называется аспектным спектром этого отношения. 
Каждый из аспектов проектирования определяет свой аспектный проектор 
[см. формулу (2.7)]. Аспектный проектор предназначен для выделения из А-
модели описания отдельного аспекта: 

---

106 
U
F
i
i
i
i
PRJ
O
AF
1
:
=
=
→
ρ
ρ
. 
Развитие А-модели происходит на уровне рассмотрения отдельных ее 
аспектов. Для этого А-модель системы проецируется в определенное аспектное 
пространство. При этом для всех А-агрегатов А-модели происходит 
абстрагирование от аспектов, кроме интересующего, и уничтожаются все 
отношения, в спектр которых не входит интересующий аспект. Получившаяся 
модель, отражающая конкретный аспект, называется аспектной моделью 
(АСМ). 
F
i
i
≤
≤
∀ 1
:
верны следующие утверждения: 
i
i
O
Am
⊂
)
(
ρ
и 
i
i
a
aa
=
)
(
ρ
, (2.9), 
(2.10) 
где a
i
является i-ым аспектом А-агрегата AA. Выражение (2.9) 
демонстрирует возможность выделения АСМ. Выражение (2.10) демонстрирует 
получение определенного аспекта А-агрегата. Важными свойствами аспектного 
проектора являются следующие свойства: 
)
(
)
(
,
,
B
A
B
A
AF
B
AF
A
PRJ
ρ
ρ
ρ
=
⇒
=
⊂
∀
⊂
∀
∈
∀
, (2.11) 
)
(
)
(
)
(
,
,
B
A
B
A
AF
B
AF
A
PRJ
ρ
ρ
ρ
ρ
U
U
=
⊂
∀
⊂
∀
∈
∀
. (2.12) 
Примечание. Утверждение 
B
A
B