Wright (ADL)
W architekturze oprogramowania Wright jest językiem opisu architektury opracowanym na Uniwersytecie Carnegie Mellon . Wright formalizuje architekturę oprogramowania pod względem pojęć, takich jak komponenty , złącza , role i porty . Dynamiczne zachowanie różnych portów poszczególnych komponentów jest opisane za pomocą Komunikujących się procesów sekwencyjnych (CSP) algebry procesów. Role, jakie mogą przyjmować różne komponenty współpracujące za pośrednictwem łącznika, są również opisane przy użyciu CSP. Ze względu na formalny charakter opisów zachowań można przeprowadzać automatyczne kontrole zgodności portów/roli oraz ogólnej spójności systemu.
Wright został opracowany głównie przez Roberta Allena i Davida Garlana .
- Allen, Robert J. (maj 1997). Formalne podejście do architektury oprogramowania (praca doktorska, CMU-CS-97-144 red.). Carnegie Mellon University.
Linki zewnętrzne