SysML（系統建模語言）中的需求圖定義了七種主要的關系來描述需求之間的關聯。這些關系幫助構建了需求的邏輯框架，提供了需求管理的系統性方法。以下是這七種關系的簡要描述：

1. 包含（Containment）：
   • 用于表示需求之間的層級關系，例如頂層需求與下層需求的關系。
   • 類似于目錄結構，表示一個需求可以包含其他需求。
2. 派生（DeriveReq）：
   • 表示需求的衍生關系，可以是從粗略需求細化而形成的衍生需求，或者從功能需求向性能需求的過渡。
   • 展示了需求之間的父子關系，即一個需求如何由另一個更廣泛或更抽象的需求產生。
3. 滿足（Satisfy）：
   • 表示模型中的某些系統塊（如組件、功能等）對某個需求的滿足關系。
   • 展示了需求如何被系統中的具體元素所實現或滿足。
4. 驗證（Verify）：
   • 表示測試案例（Testcase）與需求的驗證關系。
   • 說明了如何通過測試來驗證系統是否滿足特定的需求。
5. 細化（Refine）：
   • 表示需求的細化或具體化，常常是一個需求的概括和細化說明。
   • 展示了如何從更抽象或更廣泛的需求中細化出更具體或更詳細的需求。
6. 跟蹤（Trace）：
   • 表示用例和需求間的互相驗證和追溯關系。
   • 提供了從需求到用例（或其他系統元素）的跟蹤路徑，幫助確保所有需求都得到適當的實現和測試。
7. 復制（Copy）：
   • 在SysML中較少使用，但它表示需求之間的復制關系。
   • 當某個需求需要在多個地方出現時，可以使用復制關系來避免重復定義。

這些關系在需求圖中通過特定的符號和箭頭來表示，從而構建了一個清晰、易于理解的需求結構。通過使用這些關系，建模者可以創建出層次分明、易于管理的需求模型，為系統的設計和開發提供堅實的基礎。