Райт (АДЛ)
 | Эта статья нуждается в дополнительных цитатах для проверки . ( октябрь 2010 г. ) |
В архитектуре программного обеспечения Wright — это язык описания архитектуры, разработанный в Университете Карнеги-Меллон . Райт формализует архитектуру программного обеспечения с помощью таких понятий, как компоненты , соединители , роли и порты . Динамическое поведение различных портов отдельного компонента описывается с помощью алгебры процессов взаимодействующих последовательных процессов (CSP). Роли, которые могут выполнять различные компоненты, взаимодействующие через коннектор, также описываются с помощью CSP. Благодаря формальному характеру описаний поведения могут выполняться автоматические проверки совместимости портов/ролей и общей согласованности системы.
Райт был разработан Робертом Алленом и Дэвидом Гарланом .
Ссылки
[ редактировать ]- Аллен, Роберт Дж. (май 1997 г.). Формальный подход к архитектуре программного обеспечения (кандидатская диссертация, изд. CMU-CS-97-144). Университет Карнеги-Меллон.
Внешние ссылки
[ редактировать ] | Эта программной инженерии, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |