Wright使用信息交换序列处理（CSP）的进程数对同一用户的不同端口的动态行为进行描述，通过连接器进行交互的不同用户，也采取使用CSP描述。
由于对行为进行了正规的描述，Wright会对端口/角色的兼容性，整体系统的一致性进行自动检查。
Wright是由卡内基梅隆大学的Robert J. Allen提出。
Wright
百科内容来自于：
$firstVoiceSent
- 来自原声例句