-
Wright
鎖定
- 中文名
- Wright
- 類 別
- 一種體系結構描述語言
- 開 發
- 卡耐基梅隆大學
- 應用場景
- 信息交換序列處理
Wright使用信息交換序列處理(CSP)的進程數對同一用户的不同端口的動態行為進行描述,通過連接器進行交互的不同用户,也採取使用CSP描述。
由於對行為進行了正規的描述,Wright會對端口/角色的兼容性,整體系統的一致性進行自動檢查。
Wright是由卡內基梅隆大學的Robert J. Allen提出。
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:9次歷史版本
- 最近更新: 双子syf666