Высокоуровневое проектирование встраиваемых систем. Часть 1. Платунов А.Е - 109 стр.

UptoLike

ВУЗ: 

Университет ИТМО | Санкт-Петербург

Составители: 

Рубрика: 

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

Страницы