Составители:
107
обладает необходимыми средствами саморегулирования, чтобы обеспечивать
процесс проектирования.
Различные АСМ могут быть выражены различными языковыми средствами
(чертежи, схемы, алгоритмы, временные диаграммы и т.д.), и даже одна и та же
АСМ может быть выражена по-разному для разных проектов или групп
разработчиков. При этом для многих АСМ в настоящее
время существует
множество формальных и полуформальных способов описания и анализа
(например, для функциональной модели можно перечислить автоматные
модели, диаграммы потоков данных, диаграммы сообщений и т.д.).
2.3.4.2 Характеристические функции аспектных моделей, ортогональность
аспектов
Помимо самодостаточности отдельных АСМ необходимо обеспечить
независимость отдельных аспектов между собой. Для формализации
независимости АСМ необходимо определить операцию
получения А-модели из
ее АСМ.
Для каждого из аспектных проекторов определяется обратный аспектный
проектор – операция перевода элемента АСМ в аспектное пространство
целевой системы. Если рассмотреть некоторый аспект i, его АСМ a
i
, то
обратный аспектный проектор
1−
i
ρ
для аспектного проектора
i
ρ
определяется
следующим образом:
iiii
aa =
−
))((
1
ρρ
. (2.13)
Аспект i является независимым от аспекта j, если для аспектных
проекторов выполнено
0))((
1
=∀
−
jjij
aa
ρρ
. (2.14)
Аспекты являются ортогональными, если они взаимно независимы.
В процессе проектирования все аспекты ортогональны, если
Fii ≤
<
∀ 0:
i
a∀
Fjj
≤
<
∀ 0:
⎢
⎣
⎡
≠
=
=
−
ij
ija
a
i
iij
если ,0
если ,
))((
1
ρρ
. (2.15)
Примером такой операции может стать поэлементное прямое произведение
}000{)(
1
×××××=
−
KK aa
i
ρ
,
где a расположено на i-ой позиции.
Независимость отдельных аспектов может быть сформулирована как
отсутствие влияния аспектных пространств друг на друга. Другими словами,
при выборе аспектов процесса проектирования необходимо требовать их
ортогональность. Нужно заметить, что ортогональность аспектов должна
присутствовать не в рамках решаемой частной задачи или АСМ, а в рамках
именно аспектного
пространства процесса проектирования. Конкретные
множества точек, представляющие АСМ, могут и не иметь влияния друг на
Страницы
- « первая
- ‹ предыдущая
- …
- 106
- 107
- 108
- 109
- 110
- …
- следующая ›
- последняя »
