Wright

體系結構描述語言

Wright是一種體系結構描述語言,由卡耐基梅隆大學開發的。

Wright從組件,連接器,角色和埠等概念入手界定了一種軟體架構。

基本介紹


Wright使用信息交換序列處理(CSP)的進程數對同一用戶的不同埠的動態行為進行描述,通過連接器進行交互的不同用戶,也採取使用CSP描述。
由於對行為進行了正規的描述,Wright會對埠/角色的兼容性,整體系統的一致性進行自動檢查。
Wright是由卡內基梅隆大學的Robert J. Allen提出。