Wright

Wright使用信息交換序列處理（CSP）的進程數對同一用戶的不同埠的動態行為進行描述，通過連接器進行交互的不同用戶，也採取使用CSP描述。

由於對行為進行了正規的描述，Wright會對埠/角色的兼容性，整體系統的一致性進行自動檢查。

Wright是由卡內基梅隆大學的Robert J. Allen提出。