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