Microsoft Word впвс book 2011 sev pa doc

A
AF
B
AF
A
PRJ
=
⇒
=
⊂
∀
⊂
∀
∈
∀
)
(
)
(
,
,
ρ
ρ
ρ
в общем случае не верно. 
А-модель позволяет разработчику отслеживать развитие различных 
аспектов проектируемой системы, учитывать эмпирическое влияние аспектов 
друг на друга, контролировать развитие проекта в целом и ВсС в частности. В 
каждый конкретный момент разработчик может выбрать “ведущий” аспект, 
который будет определять дальнейшее развитие проекта. 
Нельзя рассчитывать что, выделив некоторый набор точек зрения на 
целевую систему, для каждой из таких точек зрения разработчик будет способен 
с нуля создать всю технологию проектирования и разработать необходимые 
инструментальные средства. Выделяемые аспекты должны представлять собой 
относительно традиционные области деятельности разработчика, достаточно 
хорошо развитые на данный момент. Отличием процесса проектирования 
становится рассмотрение ВС и всего процесса целиком как элемента аспектного 
пространства, а не в рамках только некоторой частной проекции. 
Приведенные выше примеры аспектов позволяют говорить о 
самодостаточности АСМ. Самодостаточность АСМ следует понимать, как 
наличие у разработчика возможности провести полное проектирование 
системы, опираясь только на внутренние закономерности развития АСМ и 
характеристические функции аспекта [см. формулы (2.5), (2.6)]. Каждая из АСМ 

---

107 
обладает необходимыми средствами саморегулирования, чтобы обеспечивать 
процесс проектирования. 
Различные АСМ могут быть выражены различными языковыми средствами 
(чертежи, схемы, алгоритмы, временные диаграммы и т.д.), и даже одна и та же 
АСМ может быть выражена по-разному для разных проектов или групп 
разработчиков. При этом для многих АСМ в настоящее время существует 
множество формальных и полуформальных способов описания и анализа 
(например, для функциональной модели можно перечислить автоматные 
модели, диаграммы потоков данных, диаграммы сообщений и т.д.). 
2.3.4.2 Характеристические функции аспектных моделей, ортогональность 
аспектов 
Помимо самодостаточности отдельных АСМ необходимо обеспечить 
независимость отдельных аспектов между собой. Для формализации 
независимости АСМ необходимо определить операцию получения А-модели из 
ее АСМ. 
Для каждого из аспектных проекторов определяется обратный аспектный 
проектор – операция перевода элемента АСМ в аспектное пространство 
целевой системы. Если рассмотреть некоторый аспект i, его АСМ a
i
, то 
обратный аспектный проектор 
1
−
i
ρ
для аспектного проектора 
i
ρ определяется 
следующим образом: 
i
i
i
i
a
a
=
−
))
(
(
1
ρ
ρ
. (2.13) 
Аспект i является независимым от аспекта j, если для аспектных 
проекторов выполнено 
0
))
(
(
1
=
∀
−
j
j
i
j
a
a
ρ
ρ
. (2.14) 
Аспекты являются ортогональными, если они взаимно независимы. 
В процессе проектирования все аспекты ортогональны, если 
F
i
i
≤
<
∀ 0
:
i
a
∀
F
j
j
≤
<
∀ 0
:
⎢
⎣
⎡
≠
=
=
−
i
j
i
j
a
a
i
i
i
j
если
,
0
если
,
))
(
(
1
ρ
ρ
. (2.15) 
Примером такой операции может стать поэлементное прямое произведение 
}
0
0
0
{
)
(
1
×
×
×
×
×
=
−
K
K a
a
i
ρ
, 
где a расположено на i-ой позиции. 
Независимость отдельных аспектов может быть сформулирована как 
отсутствие влияния аспектных пространств друг на друга. Другими словами, 
при выборе аспектов процесса проектирования необходимо требовать их 
ортогональность. Нужно заметить, что ортогональность аспектов должна 
присутствовать не в рамках решаемой частной задачи или АСМ, а в рамках 
именно аспектного пространства процесса проектирования. Конкретные 
множества точек, представляющие АСМ, могут и не иметь влияния друг на 

---

108 
друга в некоторых частных случаях, хотя для другого случая данное влияние 
начнет проявляться. 
Для АСМ аспект определяет множество характеристических функций [см. 
формулу (2.6)]. Предлагается использовать условное обозначение (2.16) для 
записи метрик i-ого аспекта архитектурной модели 
))
(
(
)
(
A
A
i
i
i
ρ
χ
χ
=
. (2.16) 
Задача таких функций дать формальную оценку АСМ, установить ее 
непротиворечивость, убедиться, что характеристики модели не выходят за 
внешние ограничения и удовлетворяют требованиям, накладываемым на 
данный аспект системы. Ввиду независимости (ортогональности) аспектов, их 
характеристические функции также будут ортогональны, и непосредственно не 
будут зависеть от развития других АСМ. 
Это легко показать, пользуясь определением ортогональности аспектных 
проекторов [см. формулу (2.15)]. Продемонстрируем это свойство для 
независимого аспекта. 
Рассмотрим два аспекта проектного пространства i и j. Пусть имеются две 
базовых АСМ as
i
и as
j
. as
i
остается фиксированной, а as
j
развивается и 
изменяется. В результате развития as
j
получаем 
j
s
a ′
. А-модель системы А 
превращается в 
A ′
: 
)
(
)
(
A
A
i
i
′
=
χ
χ
. 
Другими словами эволюция аспекта не влияет на значения 
характеристических функций других независимых от него аспектов А-модели. 
Если в процессе проектирования аспекты были выбраны таким образом, 
что они все взаимно ортогональны, то значения характеристических функций 
изменяются только в связи с изменениями соответствующей им АСМ. Это 
важное свойство позволяет проводить независимое проектирование в рамках 
АСМ самостоятельно, а самодостаточность отдельных АСМ позволяет это 
осуществить на практике. 
Тем не менее, так как ортогональность аспектов достижима далеко не 
всегда, отметим следующее: 
• если аспект [в основном] ортогонален, то целесообразно выделение его в 
частный проект по внутреннему частному техническому заданию (ЧТЗ); 
• если аспект не ортогонален, то ЧТЗ аспекта может выступать как 
совокупность явно сформулированных ограничений, напоминаний, 
пожеланий (рекомендаций). 

---

109