Составители:
106
U
F
i
i
ii
PRJ
OAF
1
:
=
=
→
ρ
ρ
.
Развитие А-модели происходит на уровне рассмотрения отдельных ее
аспектов. Для этого А-модель системы проецируется в определенное аспектное
пространство. При этом для всех А-агрегатов А-модели происходит
абстрагирование от аспектов, кроме интересующего, и уничтожаются все
отношения, в спектр которых не входит интересующий аспект. Получившаяся
модель, отражающая конкретный аспект,
называется аспектной моделью
(АСМ).
Fii ≤≤∀ 1:
верны следующие утверждения:
ii
OAm ⊂)(
ρ
и
ii
aaa
=
)(
ρ
, (2.9), (2.10)
где a
i
является i-ым аспектом А-агрегата AA. Выражение (2.9)
демонстрирует возможность выделения АСМ. Выражение (2.10) демонстрирует
получение определенного аспекта А-агрегата. Важными свойствами аспектного
проектора являются следующие свойства:
)()( ,, BABAAFBAFAPRJ
ρ
ρ
ρ
=
⇒
=
⊂
∀
⊂∀∈∀
, (2.11)
)()()( ,, BABAAFBAFAPRJ
ρ
ρ
ρ
ρ
UU
=
⊂
∀
⊂∀∈∀
. (2.12)
Примечание. Утверждение
BABAAFBAFAPRJ =⇒
=
⊂
∀
⊂∀∈∀ )()( ,,
ρ
ρ
ρ
в общем случае не верно.
А-модель позволяет разработчику отслеживать развитие различных
аспектов проектируемой системы, учитывать эмпирическое влияние аспектов
друг на друга, контролировать развитие проекта в целом и ВсС в частности. В
каждый конкретный момент разработчик может выбрать “ведущий” аспект,
который будет определять дальнейшее развитие проекта.
Нельзя рассчитывать что, выделив
некоторый набор точек зрения на
целевую систему, для каждой из таких точек зрения разработчик будет способен
с нуля создать всю технологию проектирования и разработать необходимые
инструментальные средства. Выделяемые аспекты должны представлять собой
относительно традиционные области деятельности разработчика, достаточно
хорошо развитые на данный момент. Отличием процесса проектирования
становится рассмотрение ВС и всего
процесса целиком как элемента аспектного
пространства, а не в рамках только некоторой частной проекции.
Приведенные выше примеры аспектов позволяют говорить о
самодостаточности АСМ. Самодостаточность АСМ следует понимать, как
наличие у разработчика возможности провести полное проектирование
системы, опираясь только на внутренние закономерности развития АСМ и
характеристические функции аспекта [см. формулы (2.5), (2.6)]. Каждая
из АСМ
Страницы
- « первая
- ‹ предыдущая
- …
- 105
- 106
- 107
- 108
- 109
- …
- следующая ›
- последняя »
