Райт (ADL) - Wright (ADL)

В программная архитектура, Райт является язык описания архитектуры разработан в Университет Карнеги Меллон. Райт формализует архитектуру программного обеспечения с помощью таких понятий, как составные части, разъемы, роли, и порты. Динамическое поведение различных портов отдельного компонента описывается с помощью Связь последовательных процессов (CSP) алгебра процессов. Роли, которые могут выполнять различные компоненты, взаимодействующие через соединитель, также описываются с помощью CSP. Из-за формального характера описаний поведения могут выполняться автоматические проверки совместимости портов / ролей и общей согласованности системы.

Райт был главным образом разработан Роберт Аллен и Дэвид Гарлан.

Рекомендации

  • Аллен, Роберт Дж. (Май 1997 г.). Формальный подход к архитектуре программного обеспечения (Кандидатская диссертация, под ред. CMU-CS-97-144). Университет Карнеги Меллон.

внешняя ссылка