歡迎來到這份關於系統建模語言（SysML）的全面指南。無論您是系統工程師、軟體架構師，還是剛進入複雜系統設計領域的學生，理解行為建模都是至關重要的。本教學專注於兩種最重要的圖表類型：互動圖與狀態機圖。我們將探討它們的目的、結構，以及如何從零開始構建這些圖表，而無需依賴特定的專有工具。
SysML 與行為建模入門 🚀
系統建模語言是一種適用於系統工程應用的通用建模語言。它基於統一建模語言（UML），但針對系統工程更廣泛的範疇進行了調整。雖然 UML 主要著重於軟體，SysML 則整合了結構、行為、需求與約束。
行為建模是 SysML 的核心組成部分。它描述系統如何隨著時間推移對刺激做出反應。在 SysML 中，有兩種主要方式來表示行為：
- 互動圖： 聚焦於物件之間訊息傳遞的時間流程。
- 狀態機圖： 聚焦於單一物件的生命周期及其對事件的反應方式。
理解何時使用每種類型，是有效建模的第一步。互動圖適用於涉及多個參與者的複雜序列。狀態機圖則非常適合用來定義特定組件的內部邏輯。
理解互動圖 💬
互動圖描述物件之間訊息交換的過程。它們具有時間性，表示事件以特定順序發生。在 SysML 中，主要的互動圖包括區塊定義圖（BDD）環境與內部區塊圖（IBD）環境，但具體的行為視圖通常為時序圖或通訊圖。
在本教學中，我們將專注於互動的順序，通常以時序圖的形式呈現。
互動圖的關鍵元件
- 生命線： 垂直線，代表物件在時間上的存在。
- 訊息： 箭頭，表示生命線之間資訊或命令的傳遞流程。
- 活動條： 生命線上的矩形方塊，顯示物件正在積極執行動作的時間點。
- 合併片段： 定義訊息序列處理方式的方框（例如：迴圈、選項）。
何時使用互動圖
| 情境 | 圖表類型 |
|---|---|
| 系統啟動並將資料傳送至資料庫 | 互動圖 |
| 處理模組中的特定錯誤狀態 | 狀態機圖 |
| 多個子系統同時通訊 | 互動圖 |
| 定義單一感測器的生命周期 | 狀態機圖 |
逐步指南：建立你的第一個互動圖 📝
讓我們為一個通用系統建立一個簡單的互動圖。想像一個系統，其中使用者請求資料，控制器處理它，而儲存單元則儲存它。
步驟 1：定義參與者（生命線）
首先，識別涉及的物件。在 SysML 中，這些通常以「模組」表示。以我們的例子為例：
- 使用者介面模組： 請求的進入點。
- 控制器模組： 邏輯處理器。
- 儲存模組： 資料倉儲。
為每個模組畫一條垂直線。將線的頂端標示為模組名稱。這就是你的生命線。
步驟 2：定義訊息
訊息代表互動。它們從發送者的生命線流向接收者的生命線。
- 請求資料：從使用者介面畫一個箭頭指向控制器。標示為「請求資料」。
- 處理資料：從控制器畫一個箭頭指向儲存模組。標示為「取得記錄」。
- 回傳結果：從儲存模組畫一條虛線箭頭返回控制器。標示為「資料回應」。
- 顯示：從控制器畫一條虛線箭頭返回使用者介面。標示為「顯示結果」。
步驟 3：新增激活條
激活條表示物件執行動作的期間。在物件處於活動狀態的生命線上放置一個細長的矩形。
- 在控制器生命線上放置一個激活條，從「請求資料」到達時開始。
- 在儲存模組生命線上放置一個激活條，從「取得記錄」到達時開始。
- 將控制器的激活條延長，直到「顯示結果」發送為止。
步驟 4：以時間進行細化
互動圖是與時間相關的。請確保訊息垂直排列。圖表的頂部代表最早時間，底部代表最晚時間。如果兩個訊息同時發生，它們應處於相同的水平位置。
深入探討：狀態機圖表 ⚙️
雖然互動圖顯示物件之間如何溝通，但狀態機圖表則顯示物件如何運作。它們描述物件可能處於的不同狀態，以及這些狀態之間的轉移。
狀態機的核心概念
- 狀態： 物件生命週期中的一種條件，在此期間物件滿足某種條件、執行某項活動，或等待某個事件。
- 轉移： 從一個狀態移動到另一個狀態。這是由事件觸發的。
- 事件： 在特定時間點發生的某件事，會觸發狀態轉移。
- 保護條件： 一個布林表達式，必須為真才能發生轉移。
- 初始狀態： 狀態機的起始點（通常是一個實心黑圓圈）。
- 終止狀態： 狀態機的結束點（通常是一個帶有圓環的黑圓圈）。
為什麼要使用狀態機？
狀態機對於具有明確運作模式的系統至關重要。例如，一個電池供電的裝置可能具有「充電中」、「放電中」和「睡眠中」等狀態。裝置的行為會根據其所處的狀態而改變。
逐步說明：建構狀態機圖表 🛠️
讓我們為一個通用的「電源管理系統」建構一個狀態機。
步驟 1：定義狀態
識別出不同的運作模式。針對我們的電源系統：
- 關閉： 系統已斷電。
- 待機： 系統已準備就緒，但未完全啟動。
- 啟用： 系統正在執行其主要功能。
- 警報： 存在錯誤或警告狀況。
為每個狀態繪製一個圓角矩形，並將名稱寫在內部。
步驟 2：定義轉移
轉移連接狀態。它們以箭頭表示。將箭頭標記為觸發變化的事件。
- 關機至待機：事件：「開機」。
- 待機至執行：事件：「啟動任務」。
- 執行至待機：事件：「暫停任務」。
- 執行至警報：事件：「偵測到錯誤」。
- 警報至待機：事件：「重置系統」。
步驟 3：新增初始狀態與終止狀態
每個狀態機都必須從某個地方開始。繪製一個實心黑色圓圈，並用箭頭連接到「待機」狀態（假設系統啟動時進入待機狀態）。將此轉移標記為「啟動」。
定義終止狀態。如果系統完全關機，則將一個狀態連接到帶有圓環的黑色圓圈。將其標記為「關機」。
步驟 4：納入保護條件
並非所有轉移都應自動發生。有時必須滿足某個條件。例如，從「待機」轉移到「執行」可能需要檢查電池電量。
- 為「待機至執行」轉移新增一個保護條件。
- 標記為：[電池電量 > 20%]。
- 如果電池電量不足，此轉移無法發生，系統將保持在待機狀態。
步驟 5：新增進入與離開動作
在進入或離開某個狀態時，可以執行動作。
- 進入動作：在進入狀態的瞬間立即執行的動作。使用「entry / [動作]」的表示法。
- 離開動作：在離開狀態的瞬間立即執行的動作。使用「exit / [動作]」的表示法。
例如，在「執行」狀態中：
- 進入：「初始化感測器」。
- 離開：「儲存設定」。
整合行為與結構 🔄
狀態機與互動圖表並非獨立存在，必須與系統的結構相連結。在SysML中，這種連結是透過內部方塊圖（IBD）與順序圖來實現的。
將狀態機與方塊連結
要讓狀態機圖表描述特定方塊：
- 在您的方塊定義圖中建立一個方塊。
- 建立一個狀態機圖表。
- 使用「行為需求」或「狀態機」關係，將圖表與方塊關聯起來。
- 這確保當您建模「電源管理系統」方塊時，狀態機會定義其內部邏輯。
將互動圖表與狀態機連結
互動圖表中的訊息通常會觸發狀態機的轉移。
- 如果互動圖表顯示訊息「啟動任務」抵達控制器，
- 控制器的狀態機應具備由「啟動任務」觸發的轉移。
- 這創造出一個無縫的模型，其中外部通訊驅動內部邏輯。
常見挑戰與解決方案 🛑
建模複雜系統可能導致模糊不清。以下是建立SysML圖表時常見的問題及其解決方法。
問題1：狀態過多
問題：狀態機變成一團亂的箭頭，根本無法閱讀。
- 解決方案：使用複合狀態。將相關狀態聚集在一個較大的方框中。例如，將所有「錯誤」狀態歸類於稱為「故障處理」的父狀態之下。
問題2：循環依賴
問題：狀態A需要狀態B，而狀態B又需要狀態A，形成一個永遠無法解決的循環。
- 解決方案：檢視邏輯。確保有明確的進入點與明確的退出條件。使用保護條件來打破可能的無限循環。
問題3：訊息語義不清
問題：在互動圖表中，訊息實際上做什麼並不明確。
- 解決方案：在需求中定義訊息。確保訊息名稱與方塊介面中定義的操作相符。
問題4：時間衝突
問題：訊息到達的速度快於系統在互動圖表中能處理的速度。
- 解決方案： 向結構中添加緩衝區或隊列。在互動圖中使用獨立的生命線來表示這些緩衝區。
驗證您的模型 ✅
繪製完圖表後，必須進行驗證。驗證確保模型準確地反映了系統需求。
一致性檢查
- 名稱一致性： 確保互動圖中的模塊名稱與狀態機中的模塊名稱一致。
- 事件一致性： 確保互動圖中的每個事件在狀態機中都有對應的觸發條件。
- 狀態完整性： 確保每個狀態都有明確的退出路徑，除非它是終止狀態。
可追溯性
將每個圖表元素與需求連結起來。這使您能夠驗證模型是否滿足設計意圖。
- 將「開機」事件追溯至需求「系統必須對電源按鈕作出回應」。
- 將「警報」狀態追溯至需求「系統必須報告嚴重錯誤」。
模擬與分析
先進的建模環境允許您模擬這些圖表。
- 追蹤執行： 跟隨訊息在互動圖中的傳遞路徑。
- 狀態覆蓋率： 執行模擬以確保狀態機中的所有狀態均可達。
- 死鎖檢測： 檢查是否存在系統無法繼續前進的狀態。
建模實務總結 📚
建立SysML圖表是一項隨著練習而提升的技能。透過掌握互動圖與狀態機圖，您將具備清晰可視化複雜系統行為的能力。請記住，保持模型簡潔、一致且可追溯至需求。
- 從小處著手： 在整合整個系統之前，先建模單一組件。
- 迭代： 隨著需求的演變，不斷優化您的圖表。
- 協作： 將圖表作為與利益相關者溝通的工具。
透過這些基礎步驟，您現在已具備為您的工程專案建立穩健行為模型的能力。隨著系統變得越來越複雜，請繼續探索SysML的更深入功能。